se o = 3*s - 2*o - 42, 1 = o. Suppose -4*v = -3*z + s, 0 = 2*z - 2 - 8. Suppose 2*i - 2 = -v*i. Is 2 greater than i?
True
Let a = 15.6 + -18. Let k = -2.38 - a. Which is smaller: 2 or k?
k
Suppose 3*u + 804 = 2061. Which is bigger: 417 or u?
u
Let z = -25.24 - -25. Let a = 51 - 51.34. Let j = z - a. Is j not equal to 10?
True
Let k = -138 + 102. Let w be 10*(-9)/15*6. Is w < k?
False
Let a(p) = -p**2 - 2*p - 1. Let t be a(-2). Let j = t - -2. Let x = 0.042 + 1.958. Which is bigger: x or j?
x
Let m(j) = -2*j**2 + j - 1. Let w be m(1). Let f(b) = -15*b - 33. Let l be f(-3). Let s be (l/21)/((-8)/28). Is s equal to w?
True
Let s = -210 + 303. Which is bigger: 3/7 or s?
s
Let z be (-411)/(-12) - 1/4. Let l = -21 + z. Is 13 less than or equal to l?
True
Let d = -882 + 6164/7. Suppose 2*y + 3*i - 10 = 0, -2*y - 5*i = 2*y - 18. Suppose y*x - x = -2. Which is bigger: x or d?
d
Let o = -57.7 + 57.85. Which is bigger: o or 4/3?
4/3
Let n(a) = a**3 + 4*a**2 + a + 4. Let d be n(-4). Suppose 2*g + 43 = -5*x + 40, 5*g = -5*x. Which is greater: d or g?
g
Let x(q) be the third derivative of q**5/60 - 3*q**4/8 + 5*q**3/6 - 3*q**2. Let w be x(6). Let r be 4/10 + w/45. Are r and 0 nonequal?
True
Let l be ((-3644)/(-15))/(-4) + (-8)/(-20). Is l less than or equal to 1?
True
Suppose -47*v - 1680 = -12*v. Let i = 119 + -167. Is i less than or equal to v?
True
Let s be (5/10)/((-2)/(-752)). Is s equal to 189?
False
Let t = 28 + -30. Let s be ((-10)/(-4)*t)/(10 + 1). Do s and -1 have the same value?
False
Let k = 4.5 - 5. Let p = -0.5 - k. Let s = 0.139 + -4.139. Which is smaller: p or s?
s
Suppose 5*a = -2 - 3. Let k be ((-9672)/325)/(-78 - -1). Let r = 4/175 - k. Is a less than or equal to r?
True
Let j = -347/18 + 41/2. Is j at least 0?
True
Suppose 58 = 3*d + 3*w + w, -4*d + 2*w = -48. Are 15 and d unequal?
True
Let j(b) = -2*b**3 + 3*b**2 + b - 19. Let u be j(-3). Suppose 0 = 2*f - 6*f + 240. Which is bigger: f or u?
f
Let v be 28934/506 - (-2)/(-11). Is 46 at least as big as v?
False
Let j be ((-172)/16)/(1/(-4)). Suppose 2*k + j + 61 = 0. Let l = k - -35. Which is smaller: -18 or l?
-18
Let f = 168 - 242.08. Let t = -74 - f. Which is smaller: t or -4/9?
-4/9
Let s(b) = -b**3 + b + 1. Let x(y) = -2*y**3 - 2*y**2 + 3*y - 5. Let v(j) = -3*s(j) + x(j). Let g be v(4). Which is greater: 25 or g?
25
Let h = -1428 + 1430. Is h at most as big as 48/47?
False
Suppose -4*k = -3*d + 4, 0 = -4*d - 2*k - 27 + 3. Which is greater: 56 or d?
56
Let d = -42 + 169/4. Suppose 6*h = 14*h + 224. Let i be 1/(-4) - 14/h. Is i at least as big as d?
True
Let g be (-1)/3*0 - -2. Suppose -1 = 2*a + 3*a - 2*d, 17 = g*a + 5*d. Which is bigger: a or -6/13?
a
Let t = 144.7 - 144.2. Does 2 = t?
False
Let p = -6 + 12. Let a = p + -5.9. Which is smaller: 0.27 or a?
a
Let z = -9128/23 - -397. Is z at most as big as 1/5?
True
Let d = -41 - -38. Let k be (-6 - -6) + d/(-3). Which is bigger: 1/129 or k?
k
Let n be ((-3)/3)/((-2)/18*1). Let a(c) = -c**2 + 8*c + 7. Let u be a(n). Let z = 1 - 2. Which is smaller: u or z?
u
Suppose f - 96 + 1 = -t, 10 = 2*t. Is 91 equal to f?
False
Let s = 374 + -374. Which is greater: -3/47 or s?
s
Let b(n) be the second derivative of -n**3 - n**2/2 - n. Let u be b(-1). Let k = -3292 + 3297. Is k smaller than u?
False
Let s(v) = v**3 + 3*v**2 + v + 3. Let i be s(-3). Suppose -b = -3*z - 1, 5*z + 15 = 6*b - b. Let l be (122/(-130) + z)*(-4)/8. Are l and i nonequal?
True
Suppose 3*h + 2*d + 19 = -0*d, -d = -2*h - 8. Let k be 3/(-3) + 5*(-2)/h. Do 2/197 and k have the same value?
False
Let b be 2/6 + (-12160)/36840. Which is bigger: -1 or b?
b
Suppose -3*p + 4*p + 4 = 0. Let y = 990 + -993. Which is greater: p or y?
y
Let x be 1/3*(-13 + 16). Let m(f) = -3*f**2. Let z be m(x). Let o be ((-3)/2)/(z/(-6)). Do o and -0.6 have different values?
True
Suppose -5 = 3*c - 0*w + w, 3 = -c + w. Let z(h) = h**2 - 5*h - 16. Let i be z(8). Let u(l) = l - 9. Let a be u(i). Does a = c?
False
Let k = 33 + -60. Let f = k + 19. Suppose 6*n - 2*n = -32. Is f < n?
False
Let z = 14 + -24. Let a be z*(4 + 66/(-15)). Suppose 5*n - 26 = a*o, -3*o - 5*n = -4*o - 14. Is o != -4?
False
Let y(m) = -5*m + 37. Let v be y(7). Let b be 0 - v/(-8) - 8/32. Is 0.01 != b?
True
Let u be 508/(-1232)*2/2. Let n = u + -7/44. Suppose -84 + 92 = -4*v. Which is smaller: n or v?
v
Let v = 0.047 - 0.014. Let u = v - -0.014. Do u and 1/3 have the same value?
False
Let f = -1.2 - -1.2. Let r = f + -3. Let h = r + 3. Is -1/9 > h?
False
Let s = 2565 - 2547. Which is bigger: s or -14?
s
Let t = 29/3 - 37/6. Is -8 at least as big as t?
False
Suppose 0 = 2*h + 3*h - 20. Let r = -0.2 + 0.5. Let k = 3.3 - r. Which is bigger: h or k?
h
Let a = -883 + 885. Is a less than 2/5?
False
Suppose -10*s = -4 + 4. Which is smaller: s or 26/27?
s
Let i(d) = 5*d**2 + 4*d + 1. Let n be i(-4). Suppose 4*u - 4*k + 3*k = 267, 3*k + 9 = 0. Is u != n?
True
Let z = 7.939 + 1.061. Is -7 > z?
False
Let j = 94.8 + -113. Does j = 0.1?
False
Let m = 337 - 337. Let k = 0.01 + 0.07. Is k > m?
True
Let x be (-3)/(-2) + (-2)/(-4)*-1. Let a be ((-1)/(-2))/((-4)/148*x). Are a and -18 equal?
False
Suppose -2*p + 4 = 0, -2*p = 3*g + g - 260. Let l be -1 + 18/g*4. Are l and 0 nonequal?
True
Suppose -24 = -4*g - 2*j, 5*j = -44*g + 46*g - 24. Do g and -19 have different values?
True
Let r be 3*(-1)/((-18)/48). Is r less than 7?
False
Let d = -2.686 + -0.014. Let v = 11.6 + -9. Let i = v + d. Is i >= -1?
True
Suppose -3*g - 1 = -4*f + 2, -2*f = -6. Suppose -2*m - g*m = 50. Let b be (-3)/m*8/(-24). Which is greater: b or 1?
1
Let t = -126 - -129. Which is smaller: t or -45?
-45
Suppose -8*v + 9*v = 0. Suppose 2*k - 5*f = -2*k - 5, 3*k + 3*f = 3. Let i be (k - v) + (-10)/(-35). Which is smaller: 1 or i?
i
Let k = -113337172/15 + 7550676. Let s = k - -16036/3. Let n = 210 - s. Which is greater: 1 or n?
1
Suppose 0 = -4*h - 12, -10*h + 9 = a - 13*h. Is a at most 25/51?
True
Suppose 7*k = -2*k. Which is smaller: -56/65 or k?
-56/65
Suppose 24 = 110*b - 122*b. Let f be 2*(-2)/4 - 3. Is b >= f?
True
Let m = 607 - 575. Which is smaller: m or -2/9?
-2/9
Let r = 4793/5 + -953. Suppose 105 = 5*s - 165. Let v be s/8 + 9/(-12). Is v at least r?
True
Let m(s) = 7*s - 9. Let t be m(5). Let n be ((-1)/t)/((-4)/16). Is -1 bigger than n?
False
Let k be (-5892)/(-36) + 1/3. Is 164 greater than or equal to k?
True
Suppose 5 = -d - 4*d. Let a be (114/111)/(-5 + 17). Let f = -3/37 - a. Is d greater than f?
False
Let o be (-2)/((-36)/482) - (3 - (-116)/(-36)). Let d(k) = 2*k**2 - k - 2. Let g be d(4). Which is smaller: g or o?
g
Let v = -397149/13 + 30509. Which is bigger: -42 or v?
v
Let d be (8/(-20))/((-3)/105). Is d at most 13?
False
Let b = 0.2 - 1.8. Let y = -0.051 - 0.049. Is y bigger than b?
True
Let t = -17 + 29.5. Let x = 8.2 - t. Which is greater: x or -0.1?
-0.1
Suppose -3*t = -15 + 3. Let k be (-22)/(-152) - t/16. Which is bigger: 0 or k?
0
Let q = -2.3 + 92. Let y = -90 + q. Which is bigger: y or -0.1?
-0.1
Let n = -263/3 + 20783/237. Which is smaller: -13 or n?
-13
Let c(s) = -92*s + 271. Let m be c(5). Is -184 > m?
True
Let t = -75.9 - -78.9. Which is greater: -78/11 or t?
t
Let i = -58 - -23. Let r be (-32)/6*6 - 3. Is i > r?
False
Let b = -38 + 79/2. Let j be (-150)/(-138) - 32/368. Is b greater than j?
True
Let v = 406.3 + -406. Is -50 <= v?
True
Let u = -32.3 + 31. Let f = u + 0.3. Let v be (33/6 - 3)*28/10. Which is bigger: f or v?
v
Suppose 2*o + 5*h = 374, -25 = -o + 4*h + 149. Does o = 181?
False
Suppose 89*w + 5508 = 106*w. Which is bigger: w or 326?
326
Suppose 0 = -k - 5*a + 1 + 12, 4*k = 3*a - 17. Let m be (-143)/(-77) - (-2 - (5 - 10)). Which is smaller: k or m?
k
Suppose 0 = -5*j + 5*a + 190 - 1545, 0 = -4*j - a - 1069. Which is smaller: -267 or j?
j
Let u = 83 - -92. Suppose 4*j + 149 = 2*h + 9, -h + u = -5*j. Let q = 22 + j. Is -13 equal to q?
True
Let f(o) = -5*o + 1. Let w be f(1). Let i be (-3)/42 - (-2)/w. Let r = 74 - 74. Is r greater than i?
True
Let g = -0.413 + -0.017. Let q = -172 + 171.8. Is q less than g?
False
Let m be (-1 - 2/2)*4/8. Is -2/237 bigger than m?
True
Let a(t) = 15*t + 182. Let z be a(-19). Is -102 < z?
False
Let i = 324 + -154. Let p be 1*20*(-4)/i. Is 1 greater than p?
True
Let f be 21/(-1638)*-12 - 6051/39416. Is -1 sm