h is bigger: t or 64?
64
Let r = 6 - 0. Let i(f) = -f - 1. Let d(z) = 4*z + 5. Let v(t) = 2*d(t) + 9*i(t). Let q be v(r). Which is greater: -3 or q?
-3
Let r = -2213/8370 - 7/270. Which is smaller: r or 0?
r
Let d(h) = h**3 + 13*h**2 + 12*h + 3. Suppose 0 = 5*f + 27 + 33. Let c be d(f). Let w be (11/(-11))/(c/2). Which is greater: -2 or w?
w
Let n = 0.62 - -1.46. Let l = n + -2.1. Which is bigger: -2/7 or l?
l
Let l be (207/(-690))/(6/(-2715)). Is l less than 136?
True
Suppose -9*v = -16*v - 49. Let d(z) be the third derivative of z**4/24 + 3*z**3/2 - z**2. Let a be d(v). Is a != 3/2?
True
Let s = -4922/5 + 1006. Is s <= 22?
True
Let k = 12.1 + -12.43. Is 0.1 bigger than k?
True
Let x = 517579/124 + -4174. Is x greater than or equal to 1?
False
Let b = -324 + 323. Which is bigger: 15 or b?
15
Suppose 2*n = -8, 0*n - 25 = -x + 4*n. Let l(h) = -h**2 - 7*h - 4. Let t be l(-7). Let y be (-202)/(-28) - t/14. Is x at least as big as y?
True
Let s = 664 - 692.7. Let a = -0.3 + s. Let f = a + 28. Is f at most -11?
False
Let x = 199 - -229. Which is greater: 427 or x?
x
Let i = -47 + 59. Suppose 4*q - i - 1 = u, 31 = -3*u + 4*q. Is -6 at least as big as u?
True
Suppose -3*g - 21*n + 25*n = -13, g + 3*n + 13 = 0. Is g greater than 0.0059?
False
Let g = -14.47 - -0.47. Let j = 0.11 - 11.11. Let n = g - j. Is -1/5 >= n?
True
Let a(i) = 3 - 5*i - 18 + 2*i**3 - i**3 + 5*i**2. Let p be a(-6). Which is smaller: p or -22?
-22
Let z be (2*(-41)/(-4))/((-10)/(-28)). Let v = z - 57. Does v = -1?
False
Let m = 41 + -83. Let l = -41.5 - m. Which is bigger: l or -5?
l
Suppose -4*w - 2*i = 100, -4*w - 3*i - 152 = -56. Let o = 12 - 39. Is o at least as big as w?
True
Let k = 1.5 + -2.3. Let u = k - -9.8. Let w = -3 - -2.8. Is u < w?
False
Let b(p) be the first derivative of -p**4/4 + 4*p**3/3 - 5*p**2/2 + 2*p - 3. Let o be b(3). Suppose -u + 10*u + 18 = 0. Do u and o have the same value?
False
Let t = 118 - 115. Suppose 5*d + 5*y + 15 = 0, t*y - 55 = 4*d + d. Is d greater than 0.06?
False
Let t = 2 + -3. Let k = -1771/4 - -442. Is t less than or equal to k?
True
Let n be (-4)/(-5)*(21 - 1). Suppose -3*t - 12 + 0 = 0, 4*k - 4*t = 180. Let r = k - 26. Is n greater than r?
True
Let x = 10199 + -71247/7. Which is smaller: x or 20?
20
Let d be 10 - 9 - 1/(-9)*-3. Which is bigger: -13 or d?
d
Let h = -530 - -80038/151. Which is bigger: -1 or h?
h
Let k be 2*3*216/90. Which is greater: k or 15?
15
Let z = 101 + -117. Is z != -16?
False
Let b(y) be the second derivative of y**5/20 + y**4/2 + y**3/2 - 19*y**2/2 - y. Let a be b(-6). Let o = a + 41. Is 4 equal to o?
True
Let y = 4251946463/1988 + -2138806. Let r = 793497/284 + -2794. Let t = r + y. Which is smaller: -1 or t?
-1
Let a = -17 - -29. Let d = 7 - a. Let q be 12/(-54) + d/(-9). Is q less than -1?
False
Let d(q) = q**2 + 5*q - 1. Suppose -3*p - 16 = -1, -4*p = 3*g + 32. Let b be d(g). Which is bigger: -10 or b?
b
Let t = 1.441 - 1.631. Is t < -1/57?
True
Let z = 13 + -18. Let i(g) = 3*g**2 - 51*g - 259. Let s be i(21). Which is smaller: s or z?
s
Let y be (-2)/(3/(9/(-2))). Let o be 0/(-8) + 5/(-1). Let n = y + o. Is -2 less than or equal to n?
True
Suppose -2*o = -g - 177, 5*o + 4*g = 278 + 197. Do o and 90 have different values?
True
Let w = 0.2 + -0.2. Let a = 1395 - 1408. Does a = w?
False
Let m(f) = -2*f + 10. Let c be m(7). Let s = 10 - 12. Is s at least c?
True
Let v = 924 + -6486/7. Let b(h) = 4*h + 58. Let z be b(-15). Which is greater: z or v?
z
Let c(t) = -t**3 - t. Let y be c(-1). Suppose -2*x = -y*x + x. Which is greater: x or -2/117?
x
Let i(z) = -z**2 - 6*z - 1. Let k be i(-5). Let q be k/(-2)*(-5)/14. Let g = -7 + 9. Which is smaller: q or g?
q
Suppose 0*a - 10*a = -40. Let l be 2/(-4)*(-3)/94*a. Which is greater: 1 or l?
1
Let t = -35 + 37.7. Let k = t + -7.7. Let m = k + 9. Is m greater than -2/3?
True
Let w(b) = b**3 + 14*b**2 + 2*b + 4. Let u be w(-14). Let n = -44 - u. Let x be (44/n)/((-8)/(-10)). Which is bigger: x or -4?
x
Let g = -975 + 974. Let s = -212 + 2323/11. Which is smaller: s or g?
g
Let z be -1*(-6 + 1 - (-3 - -1)). Let t = 9 - 0. Suppose -3*x + 0*x = -t. Is x <= z?
True
Let h = 20.6 - 21.6. Which is smaller: 142 or h?
h
Let g = 26 - 16. Let d = 3462 + -3451. Does d = g?
False
Let y = -14621 + 24058. Let j = y + -47016/5. Let t = 34 - j. Which is smaller: 0 or t?
0
Let m = 316.8 + -318. Is m at least as big as 16?
False
Let c(j) = 9*j + 9. Let t be c(5). Let r be (2/(-4))/((-45)/t). Which is bigger: 0 or r?
r
Let v = 314.2 + -314.3. Let u = 4.88 + -5. Is v greater than u?
True
Let k = 78 + -183. Let v = 116 + k. Let u be 2/(-9) - (-83)/9. Is u > v?
False
Let y = -0.704 - -0.304. Which is greater: 0.09 or y?
0.09
Let g = -0.5 + 13.5. Let t = g - 23. Let k = -9.9 - t. Is k at least as big as 5?
False
Let q(s) = -s**2 - 11*s - 6. Let w(n) = -2*n**2 + 12*n + 3. Let d be w(7). Let u be q(d). Let k = -12 - u. Which is greater: -8 or k?
k
Let u be (-50)/28*(2 + -10). Let b = u - 277/14. Which is smaller: -7 or b?
-7
Let r = -746 + 912. Which is greater: r or 167?
167
Suppose -d - u + 5*u = 5, -4*u + 14 = 2*d. Suppose 5*m - d*o + 6*o = -187, -40 = m - 2*o. Is m >= -38?
True
Let b(o) = 2*o**3 - 3*o**2 - o. Let n be b(0). Let z be -1 - (1 + (-5188)/126). Let f = 268/7 - z. Is n bigger than f?
True
Let i = -8 - -11. Suppose v - 5*r = 2, 5*v + 0*v = -i*r + 10. Let q be v/(-3) - 34/(-48). Which is bigger: 1 or q?
1
Let u(w) = -w**3 - 11*w**2 + 13*w + 17. Let l be u(-12). Suppose -h - 4*n - l = 0, -22 + 10 = 3*n. Are 10 and h equal?
False
Let g be (-3 + 2)*86/473. Which is smaller: 56 or g?
g
Let o(y) = -4*y**3 + 2*y - 1. Let d be o(1). Let v be 2/d - (-192)/18. Let q = 11 - v. Which is bigger: 0 or q?
q
Let c = -317 + 317. Let v be 80/(-32)*(-6)/50. Which is smaller: c or v?
c
Let h = 0.5 - 0.1. Let r = h - 0.3. Is r > 0.2?
False
Let o be 1686762/(-1377) + 1 - (-4)/(-18). Let x = o + 1223. Which is smaller: 0 or x?
x
Let a = 1.9 - 2. Let x = 223 - 218.64. Let q = 0.36 - x. Which is greater: a or q?
a
Let d be (112/48)/(4/12). Is d < 11?
True
Let o(s) = 2*s**2 + 59*s + 28. Let a be o(-29). Suppose 4*n + 22 = 6. Which is bigger: n or a?
a
Let b be 2/15 + 91/105. Let i be (-3)/b - (-10224)/56. Let f = 180 - i. Is 1/4 at least f?
False
Let x be ((-27)/(-36))/(-1 - (-35)/2). Suppose 4 = -i + 11. Let l = i + -6. Which is bigger: x or l?
l
Let n(s) = -s**3 - 12*s**2 - 11*s - 2. Let l be n(-11). Which is smaller: l or -25?
-25
Suppose 4*d = 2*d - 42. Let k = d + 21. Is k >= -7/5?
True
Suppose 4*w - 4 = 4*o + 6*w, -3*o = 5*w - 11. Let c be 4/o - (1 - 3). Which is bigger: -1 or c?
c
Let n = -294 - 390. Let m = n - -1337/2. Is -16 greater than or equal to m?
False
Let y = 9850/107 + -92. Is 1 <= y?
False
Let w be (72/90)/(2/15). Suppose w*g = 2*g - 64. Which is greater: g or -15?
-15
Let c = 40 - 36. Let a be (-3654)/899 + c*1. Which is smaller: -1 or a?
-1
Suppose 0 = 5*g - 4*m + 19, 0 = -8*g + 3*g - 5*m - 10. Let f be 4 - (-1 - g) - -2. Which is smaller: 6 or f?
f
Let f = 63 - 187/3. Let p = 6286 + -6284. Is f not equal to p?
True
Let a = -1549 - -32509/21. Is 0 greater than a?
True
Let q = -7 + 10. Let k be 6/((-72)/1372) + -1. Let x = 117 + k. Which is greater: q or x?
q
Let d be -21 - -20 - (1490/(-494) + 2). Which is bigger: d or 0?
d
Let l = 17393/14 - 2471/2. Which is smaller: l or 6?
6
Let h = -1147 - -16049/14. Which is smaller: 0 or h?
h
Let w(n) = 8*n - 42. Let f be w(4). Let k be ((-2)/((-6)/9))/((-30)/f). Which is smaller: -3/26 or k?
-3/26
Let l = -224 + 287. Which is smaller: l or 64?
l
Let i be -3 + 0 + 0 + (19 - 0). Suppose 0*f = 8*f + i. Is f > 6?
False
Suppose -7 = 4*x + 1. Let v = 75 - 77. Is x at most as big as v?
True
Suppose -5 = -u, o = -2*u - 3*u - 25. Which is smaller: o or -51?
-51
Suppose -4*w - 60 = -5*b - 2*w, -5*b + 60 = 4*w. Let s = -10 + 34. Suppose 5*y + s = -3*d - b, -4*y = d + 33. Are -7 and y unequal?
True
Let s = -81 + -197. Is s at most -277?
True
Let l = 68/7 + -2606/189. Is -5 less than or equal to l?
True
Let x = -3136.681 - -3139. Let o = -10 + 9.981. Let s = x + o. Is s at least 0.1?
True
Let n(a) = a**3 - 7*a**2 + 13*a - 92. Let x be n(7). Which is greater: x or -137.8?
x
Let i(u) = -u**2 + 29*u - 107. Let l be i(9). Which is smaller: 74 or l?
l
Let y be (-1