- -2. Which is smaller: c or s?
s
Let p = 404 - 5159/13. Is 7 bigger than p?
False
Let c = 618038 + -231146381/374. Let s = c - -10/17. Is s <= 1?
True
Let i = -67465/39 - -1730. Let u = 1451/11622 - i. Let y = u + -2969/3278. Do y and -1 have different values?
True
Let g = 272037/8345 - -2/1669. Which is greater: g or 32?
g
Suppose 118 = -3*t - 107. Which is smaller: -77 or t?
-77
Let d be (-4200)/(-78) - 12/(-78). Which is greater: d or 55?
55
Let l = 30176/1287 - 211/9. Which is bigger: 0 or l?
l
Let c = -0.1 + 0.6. Let d = 0.633 - 0.033. Let o = c - d. Which is smaller: o or -0.07?
o
Let q(l) = -l - 23. Suppose -17 = 4*d - 3*d. Let o be q(d). Which is smaller: -16/3 or o?
o
Let j = -161418/7 + 22854. Let w = j - -205. Let s be 3/3*(-3 + 2). Which is smaller: w or s?
s
Suppose -4*u - 2*b = -0*b - 634, 0 = u + b - 159. Let r be (92/(-12))/(364/u). Let a = -1/182 + r. Which is greater: a or -2?
-2
Let o = -1/1677 - -7271/6708. Is o greater than or equal to 1?
True
Suppose 86*x = 80*x - 84. Is x <= -115/8?
False
Let q = -6/5 + 52/35. Do q and 22/9 have the same value?
False
Let d = 0 + 5. Suppose -2*m - 2*q = -5 - d, 8 = m + 2*q. Suppose n = -m*n + 18. Is n >= 5?
True
Let a = -21.4 - -14.32. Let v = a + 0.08. Let b = v + 6. Which is bigger: b or 6?
6
Let f be ((-3)/60)/((-5)/(-4750946)). Let d = f - -47511. Let x = d + -1/25. Which is smaller: -0.8 or x?
-0.8
Let y be (-10)/(-8)*3950/(-375). Which is smaller: -13 or y?
y
Let a be ((-38)/((-6)/(-3)))/(-1). Let y = 18 - a. Let d be -6 + 3 + 3 - y. Which is smaller: d or -1/6?
-1/6
Let n be (2 - 8/(-4)) + 104. Suppose -2*q + 48 = -n. Which is greater: q or 77?
q
Let x be (15/(-12))/(2/8). Let s be 1 - x/(-150)*22. Does 1 = s?
False
Suppose -435 = -14*c + 755. Is c at least 86?
False
Let q be ((-2)/12)/(1/3). Let z(i) = -3*i + 16. Let y be z(6). Is q greater than or equal to y?
True
Let b be 6/(-4) + -11 + 2156/152. Is 2 less than b?
False
Let d = -192 - -114. Let s = d + 58. Which is bigger: -1/2 or s?
-1/2
Let m = -49 - -55. Suppose 4*k + 4 = m*k, -3*d = 2*k - 22. Suppose j + 3*x = -0*j + 12, -2*x + 10 = j. Is d greater than j?
False
Let i = -158 - -139. Let m = -18.5 - i. Which is smaller: m or 5?
m
Let k = -29 + 31. Let n = k + -1.6. Which is smaller: 3 or n?
n
Suppose 23*w + 88 = -2074. Are -375/4 and w non-equal?
True
Let d = -15746/9177 - -2/1311. Let t be 1*-6 - (29 - 18). Let k be 159/(-51) + (-2)/t. Which is smaller: k or d?
k
Let n = 23 + -7. Let i(t) = t**2 - 16*t - 4. Let d be i(n). Do -1 and d have the same value?
False
Let d(a) = a - 1. Let m be d(1). Let x be 528/770 + (-8)/60*3. Is m >= x?
False
Let i be (0 - -1) + 19/(-21). Let k = -249/7 - -106/3. Let f = i + k. Is 1 less than f?
False
Let b = -0.83 + -0.07. Let f = b - -4.9. Which is greater: -0.1 or f?
f
Suppose -4*i = j - 17, 7*i = -5*j + 4*i + 34. Suppose j*p + 96 = 3*a, -2*a = 2*a + 12. Are p and -21 non-equal?
False
Let u be (-3870)/(-989) - (1 - -3). Suppose w - 2*n - 3 = 0, -2*w + 4 = -4*w - n. Which is smaller: u or w?
w
Suppose -2*y - 1 = r, -12 = -5*r + 5*y - 2. Let v be (-27700)/(-64) + 1 + 1. Let h = v + -435. Which is greater: h or r?
r
Let b = 52 - 14. Let g = b - 45. Is g > 1?
False
Suppose -23*s - 16*s + 3627 = 0. Which is smaller: s or 99?
s
Suppose 2*u = z + 9, 3*z - 2*u - u = -15. Let s = 32.794 + -8.794. Which is greater: s or z?
s
Suppose 20 - 17 = -3*d. Let b be (-60)/50 - (d + 1). Is b greater than or equal to -0.04?
False
Let u be ((-4)/(-2))/((-7)/(-14)). Suppose 11 = -2*h - 5*n, 4*n + 1 = -u*h - 3. Let w be (40/(-50))/(h/(-20)). Is w >= 7?
True
Let w = 377 + -208. Let c = w + -849/5. Let z = 0 + -2. Is z bigger than c?
False
Suppose -2*v + 107 = -3*i, 3*v - 3*i + 144 = 300. Which is smaller: v or 60?
v
Let l = 2/487 + -3415/1461. Which is greater: l or -19?
l
Let i = -8.7813 - 0.1687. Which is bigger: -1/3 or i?
-1/3
Let b = -38 + 51. Let t = b + -12.9. Are t and -15 equal?
False
Let o = 451 - 487. Is o < 0?
True
Let m = 31 + -30. Which is smaller: 270 or m?
m
Suppose -6*g + 9*g = 15. Suppose 198 = 3*c + 5*b, -g*c + 0*b = -5*b - 330. Let j be 12/15*c/12. Which is greater: j or 0.1?
j
Let p = 103565/53 - 1954. Are -1 and p nonequal?
True
Let n(p) = -2*p**2 - 15*p - 4. Let x(z) = -z**2 - 7*z - 2. Let v(b) = -4*n(b) + 9*x(b). Let t be v(-2). Which is bigger: 2/7 or t?
2/7
Let q(n) = -13*n - 97. Let t be q(-6). Which is bigger: -200/11 or t?
-200/11
Let q = -112 - -110. Let i = -1754 - -128038/73. Let s = i + -203/292. Is s not equal to q?
True
Suppose 2*s + 18 = 4*s. Suppose -s*i + 8*i = -17. Which is bigger: 18 or i?
18
Let g(q) = -q**3 + 13*q**2 + 13*q + 12. Let p be g(14). Let o = -4 + -77. Let x be 6*-4*(-3)/o. Which is greater: p or x?
x
Let p(u) = u - 18. Let n(o) = -o + 26. Let r be n(11). Let i be p(r). Which is greater: i or -12/7?
-12/7
Let l(z) = -5*z - 2. Let c(m) = -9*m - 4. Let b(v) = 3*c(v) - 5*l(v). Let g be b(-1). Let x(j) = -j**3 + 5*j**2 - 2. Let u be x(5). Which is bigger: g or u?
g
Let i(p) = 43*p**2 + 38*p**2 - 7 - 84*p**2 + p**3. Let a be i(3). Which is smaller: -5 or a?
a
Suppose -4*s - 5*u - 8 = 23, -2*u = -s + 2. Let r be (-3)/(-4)*(s/6)/2. Which is smaller: r or -26?
-26
Suppose -3*h + 389 + 943 = 0. Let p = 294 - h. Let k = 1651/11 + p. Is k <= 0?
False
Let m = 223953754/44709 + -35064/7. Which is bigger: m or 1?
1
Let k = -16 - -15.969. Let v = -31.031 - k. Let i = v - -48. Is 1/3 at least i?
False
Let b = 0.025 + -5.125. Is b != -0.1?
True
Suppose 3*j + 4*v - 22 + 2 = 0, 0 = 3*v - 15. Let w(s) = -s**2 + 3. Let y be w(-6). Let q be ((-4)/y)/4*3. Which is greater: q or j?
q
Let r = -6 + 13. Suppose 0 = -5*l + 2 + 43. Let h be l/(-6)*(3 + -7). Which is bigger: r or h?
r
Let s(z) = 3*z + 27. Let b be s(-19). Let j be ((-164)/b)/2 - 3. Which is bigger: j or -3?
j
Let r(n) = n**3 - 5*n**2 - n - 31. Let x be r(6). Which is smaller: x or -1/45?
x
Let l = 3402/5 - 680. Which is greater: 476 or l?
476
Let s = 0.1 - 0. Let f(o) = o + 3. Let c be f(-5). Let v be c/2*(-3)/6. Is s greater than v?
False
Let t = 1.8 - 1.4. Let c = 0.6 + t. Suppose -12 = -i - s, 1 - 5 = -3*i + 5*s. Is c greater than or equal to i?
False
Let i = 5 + 3. Suppose 0 = -5*v + 2*h + i, 4*v + 5*h - 10 - 3 = 0. Let p be v + (135/(-12))/5. Is p bigger than 0.5?
False
Let m = -3.5 + -14.5. Let x = 48 - 66. Let z = x - m. Which is greater: 1 or z?
1
Let m = -48 - -21. Let c be (-2)/(3/m*3). Which is greater: c or 5?
c
Let q = -716 + 721. Is -5 bigger than q?
False
Let k = -6 + 2. Let l(d) = -d**2 - 14*d + 8. Let i be l(-14). Let r = i + k. Is r <= 4?
True
Let n(h) = h**3 + 10*h**2 + 3*h - 27. Let f be n(-8). Are f and 73 non-equal?
True
Let n = -3.17 + 0.17. Which is smaller: 0.33 or n?
n
Suppose 0 = 4*x + m + 287, -2*x = -6*x - 4*m - 284. Which is smaller: x or -73?
-73
Suppose 0 = -7*n + 28 - 0. Suppose -n*d - 3 = -o - 0*o, 6 = 4*d + 2*o. Which is bigger: -2/7 or d?
d
Let h = 26 - 25.7. Let k = -3.8 - -4. Let t = k - h. Is 16 <= t?
False
Let f = 25061 - 124783/5. Let q = 104 - f. Is -1 at most as big as q?
True
Let u = 2629/420 + -5/84. Which is greater: u or 5?
u
Suppose 32*j = -8100 - 2236. Is -323 at most as big as j?
True
Let r = 204 + -494. Which is bigger: r or -581/2?
r
Let z = -30 - -35. Suppose 0*r = -z*r + 15. Which is bigger: 0 or r?
r
Suppose -q - 22 = -3*r, -5*q - 4*r = 53 - 0. Which is greater: -19 or q?
q
Let v = -817/2639 - -9/377. Let n = 0.034 - -75.966. Which is bigger: n or v?
n
Suppose -4*q = -4*l - 52, 7*l - 4*l = 4*q - 34. Which is smaller: l or 0.2?
l
Let t(s) = 35*s**3 - s**2 + 1. Let w be t(-1). Let y be (-2)/7*-1*(-7)/w. Are y and -1 equal?
False
Suppose 5*t + 25 = 0, -4*i + t + 11 = -i. Let z = i + 2. Suppose -z*v = -5*a + 22, 2*v = 5*a - 3*v - 20. Is a less than 7?
True
Let n be ((-6)/(-63))/(33/(-3542)). Is -9 greater than or equal to n?
True
Suppose r + 0 = 4. Suppose 2*l - 45 = -5*w, r*w - 36 = -0*w + 5*l. Let b be (-2)/(-12) - (-66)/w. Is b at most as big as 9?
True
Let n be (138/(-12))/(6/4 - 1). Is -5/2 smaller than n?
False
Let l = -18 + 32. Suppose 5*i = l - 4. Suppose q + 4*u - 8 = 0, 0*u = -5*q + 2*u + 18. Is i equal to q?
False
Let u be 24/189 - (-8)/(-36). Suppose 4*c - 5*c - 43 = 0. Let i = c - -42. Is i at least as big as u?
False
Let a(s) = 4*s. Let u be a(1). Suppose -2