t v = -20.6 + 3.6. Let z = v - -16. Suppose -6 = -p + 7*p. Is z bigger than p?
False
Suppose -4 = -9*n + 8*n. Suppose -2*b + 4*l = 4, 16 = n*b + 7*l - 3*l. Which is smaller: b or 0?
0
Let g(o) = 2*o**2 - 10*o + 6. Let t be g(5). Let b be (t/(-8))/(30/(-40)). Which is bigger: -2 or b?
b
Let r = 4.7 + -4.4. Suppose 10*o = 14*o - 12. Is o less than or equal to r?
False
Let b be (-44)/(-36) + 4/(-18). Let w = 13 + -12. Suppose -6*r + 5 = -w. Is r greater than b?
False
Let c = -23 - -47/2. Let g(i) = -i + 15. Let d be g(13). Is c at least d?
False
Suppose 6 = -8*z + 11*z. Let y(f) = -f**2 + 5*f - 7. Let i be y(z). Which is greater: i or 2/5?
2/5
Let r be (1/(-2))/((-22)/(-12) - 2). Suppose r*j - 2*b = 31, 3*j - 4*b = -b + 33. Which is smaller: j or 12?
j
Let r = 1 - 1. Let d(l) = -9*l - 22. Let y be d(11). Let h be 4/6*33/y. Are h and r non-equal?
True
Let g = 54.44 + -53.7. Is g < 0?
False
Let b = 57809579/3084 - 18745. Let c = b + 37019/33924. Is 1 at least c?
False
Let n be (2/7)/((-792)/407). Let i = 9463/28 + -338. Let x = n - i. Is 0.1 greater than or equal to x?
True
Suppose 0 = -2*x - p - 2, -36*x - p - 6 = -38*x. Which is bigger: x or 42/17?
42/17
Let g = 11 - 8. Suppose -g*l = j + 1, -5*j - 3 + 38 = -5*l. Let a = l + 7. Is a <= 7?
True
Let c = 198 - 198. Let g be ((-3)/(-31))/(3/2). Which is greater: c or g?
g
Suppose -31*z = -x - 26*z + 44, -2*z = -2*x + 112. Which is greater: x or 178/3?
178/3
Suppose 34*t + 44 = 38*t. Let o(a) = 4*a. Suppose 5*k - 15 = -0*k. Let h be o(k). Which is bigger: h or t?
h
Suppose -12*o + 4 + 20 = 0. Suppose -1 = -o*z + 3. Is 5 at least as big as z?
True
Let v = -45 - -54. Let g = v + -14. Is -1/2 > g?
True
Suppose 16*c - 4*m = 17*c - 1, -3*m - 5 = -5*c. Which is greater: c or 12/97?
c
Let v = 15/26 - 1/13. Let x = 19 + 50. Let c = x - 69. Which is smaller: c or v?
c
Let l = 670 - 675. Is -4 greater than l?
True
Let x be (256/(-12))/((-14)/(-21)). Is -34 <= x?
True
Let t = 38 - 65. Let i = t + 28.2. Which is bigger: i or -0.1?
i
Let k = -17.4 - 0.6. Let x = -18 - k. Is -23 less than x?
True
Let r(a) = -3*a**2 - 5*a + 31. Let c be r(-6). Is c at most -46?
True
Suppose 33 = 3*d + 5*u, -4*u + 11 = -1. Let b be 151/3 - 1/3. Suppose v - d*v - b = 0. Which is greater: 0.1 or v?
0.1
Let w = 55 - 14. Let n = -928 + 969. Is n smaller than w?
False
Let g = 674 - 654. Is -5 at most g?
True
Let b(g) = -g**3 + 10. Let a be b(0). Let p = -6 - -15. Which is bigger: p or a?
a
Let f be 391/5 + 9/(-45). Let y = f - 38. Let r be (-4)/30 + 32/y. Is 3 > r?
True
Let q = 318 + -312. Is q greater than or equal to 5?
True
Let q(c) = -6*c**3 - 2*c**2 + c. Let o be q(1). Let j(m) = m**3 + 5*m**2 - 10*m - 1. Let v be j(-7). Let g = v - -20. Which is smaller: g or o?
g
Let c be (-9)/(108/8) + 26/120. Is 0 greater than or equal to c?
True
Let k = -644/15 - -4553/105. Suppose 10*i = 5*i. Is k less than i?
False
Suppose -8 = -3*p - 2. Suppose -v + 0 = p. Is -2/5 > v?
True
Suppose -3*c + 5*q = -14, 36 = -6*c + 11*c - 2*q. Are c and 9 unequal?
True
Suppose 0 = -3*p + 11 - 5. Let y = -25 - -13. Let u be y/(-14) - 10/(-35). Which is bigger: p or u?
p
Let n be -3*(-5)/((-60)/(-436)). Let q = -138 + n. Are -30 and q unequal?
True
Suppose -5*d = -5*z + 635, -29*z - 399 = 3*d - 26*z. Which is greater: -126 or d?
-126
Let g = -210 - -106. Let n be 18618/180 + 1/6. Let c = n + g. Is c >= 2/3?
False
Suppose 5*r + 8 = r, k - 4*r - 10 = 0. Let d(c) = -c**3 - 4*c**2 + 89*c + 294. Let u be d(-10). Which is smaller: k or u?
k
Let b = 13513/84 - 475/3. Let v = b + -5/4. Which is greater: v or 0?
v
Let m(d) = d**2 + 3*d - 3. Let g be m(-5). Let s be 1*(-4 + 2) + (-28)/g. Is -4 equal to s?
False
Let x be 178/344608*(-1 - -7). Is 0 != x?
True
Suppose -d + 3*g = -5*d - 20, 3*d = 2*g - 32. Let s be (-13)/((-3185)/28)*(-5)/2. Which is smaller: s or d?
d
Let r be 0/(-1)*(10 - 9). Suppose 0*c + 5*c + 5*x + 85 = r, -3*x + 3 = 0. Let j be (c/81)/(2/(-3)). Are j and 0 unequal?
True
Let p = 1431 - 1430. Are p and 59 equal?
False
Suppose 0 = -2*r - 2*z + 6, 2*z = -3*r + 5*r - 2. Suppose 16 = -2*a - r*a. Which is bigger: a or -8?
a
Suppose 0 = -4*s - 5*o + 70, -17 = -s - 0*o - o. Suppose 0 = 5*t - 32 - 43. Do s and t have different values?
False
Let a = 0.202 - 0.217. Which is greater: 3 or a?
3
Let h = 130 + -136. Let u be 4/(-6)*(-45)/(-6). Which is greater: u or h?
u
Let f = 1 + 8. Let r = -78 - -79.03. Let k = r + -0.03. Is f at least k?
True
Let n = 42245/13 + -3257. Let z = n + 283/26. Let o = -1 - -4. Which is bigger: o or z?
z
Let g(k) = k**3 + 6*k**2 - 9*k - 7. Let v be g(-7). Let f = -6 + v. Let l = -2/23 + 19/483. Which is greater: l or f?
f
Let g = -596951/24 - -24873. Suppose 15 = 5*t, 3*o + 2*o + t - 3 = 0. Is g at least as big as o?
True
Let l = 518/19 - 14642/551. Which is smaller: 0 or l?
0
Suppose -3*j - 3 = 6. Let l be (-3)/(-7) + 1/j. Let y = 1358 + -1359. Which is bigger: l or y?
l
Suppose -5*y = -4*l + 29, -3*l - y + 2 = 4. Are l and -1 nonequal?
True
Suppose 4*p + 0*p = 5*x - 58, 0 = -5*x - 4*p + 42. Suppose -2*z + x = -r - 0, -3*r - 12 = 0. Is z at most 19/7?
False
Let b = 66.55 + -66. Let o = -2.45 - b. Is 3 greater than o?
True
Suppose -195 - 45 = 8*a. Which is smaller: a or -32?
-32
Let y = 214180/795571 - -4/8939. Which is smaller: y or 0?
0
Let g be (198/(-168))/1 - 6/(-8). Which is smaller: g or -2?
-2
Let t = -0.0775 + 0.0775. Which is greater: t or 17?
17
Let c = 100 + -356. Let z be (-4)/(-18) + c/18. Let x = -23 - z. Is -8 bigger than x?
True
Let a = -1 + 0.9. Suppose -50 = -2*f - 2*m, -f - 4*f + m = -107. Let k be 4/(-6) - f/3. Which is greater: a or k?
a
Let n = 70 + -48. Which is bigger: 27 or n?
27
Suppose -19*o - 2574 - 1473 = 0. Which is smaller: 0.1 or o?
o
Suppose b - k + 28 = 0, -k + 6*k + 56 = -2*b. Let n be (-259)/b - ((-6)/8 + 1). Which is greater: 11 or n?
11
Let k be 4 - (-5 - (-8)/(-4)). Let t(g) = 3*g - 43. Let q be t(k). Which is bigger: -11 or q?
q
Suppose 2*j - 2*k = 0, 4*k = -7 + 11. Let x be (-1)/2*4/(-106). Is x <= j?
True
Let x = -7 + 13. Let q = 0.047 - 0.205. Let c = q + 0.058. Is x less than or equal to c?
False
Let w = -142 + 101. Let j = w - -29. Which is greater: -23/2 or j?
-23/2
Let b = -28452/7 + 4052. Let q = 454/35 + b. Do q and -2/13 have different values?
True
Let l(v) = 2*v - 24. Let n be l(0). Let x = -23 - n. Which is smaller: 2/5 or x?
2/5
Let x(y) be the first derivative of -y**3/6 + 5*y**2/2 + 2*y + 8. Let z(f) be the first derivative of x(f). Let t be z(4). Which is smaller: t or -1/4?
-1/4
Let b = 0.388 + -0.448. Which is smaller: -1/63 or b?
b
Suppose -6291 = m - 10*m. Is m smaller than 699?
False
Let h = 5 + -50. Let r = 66 + h. Let y be (r/(-12) + 2)*4. Which is bigger: 3/14 or y?
y
Suppose 3*o - 6 = h - 5*h, 2*o - 4 = h. Let n = -1.9 - -4.8. Let j = n + -3. Which is greater: h or j?
h
Suppose -6*o + 10 = -o. Let f be (-2)/(-24)*9/(-30)*o. Which is greater: f or -1?
f
Suppose -62*s + 67*s - b - 377 = 0, 3*b = 4*s - 295. Which is greater: 75 or s?
s
Let w be (-713)/69 + 1/((-6)/(-8)). Let s be 7*(-2)/7*3. Which is bigger: s or w?
s
Let m be -2 - 7/(6 + -5). Is -71/9 greater than m?
True
Let v = 2368/7 + -8630/21. Let t = v - -74. Which is smaller: t or 2?
t
Let b be 0*((-6)/(-9) - 1). Let p(c) = c**2 - 8*c + 9. Let z be p(7). Suppose z*l + 0*l = b. Which is bigger: l or 2?
2
Suppose 4329 + 6216 = 19*p. Are p and 556 nonequal?
True
Let j be 2/(-8) - (-147)/(-36). Suppose -4*a - 13 = -33. Suppose 5 + a = -2*z. Which is smaller: j or z?
z
Let z = 73 - 44.6. Let s = -29 + z. Is s not equal to 4?
True
Suppose -13 = 2*k + 3*o, -5*o - 13 = -4*k + 16. Which is greater: k or -3/298?
k
Suppose -g + 765 = 37. Let q = g - 8747/12. Is -2 less than q?
True
Let f = -24089/297 - -882/11. Which is bigger: -2 or f?
f
Let s = -6.5 + 6.389. Is -0.1 less than s?
False
Suppose 0 = 5*k - 5*i + 5, 0 = 4*k + 2*i - 5*i + 3. Let n = -703 - -4918/7. Is k != n?
True
Let f = 66 - 31. Let t = 36 - f. Is 0.7 equal to t?
False
Let r(z) = -34*z + 33. Let k be r(5). Are -137 and k nonequal?
False
Let r = -29.073 - -0.073. Let y = 22/7 + -73/21. Is y < r?
False
Let r be 34 - ((-231)/(-35) + (-12)/20). Which is smaller: 24 or r?
24
Suppose -y = -4*k - 16, 2*y - y = k + 28. Let h be 2/4 + (-8)/y. Which is smaller: -14 or h?
