?
h
Let f(a) = -a**3 - 4*a**2 + 20*a - 2. Let i be f(-4). Is i greater than -82?
False
Let i = -1795 - -1479. Which is smaller: -1/2 or i?
i
Suppose -3*u = -5*y + 4*y - 117, -78 = -2*u + 4*y. Let d = 73/2 - u. Let b be -1 + -2 - (-1 + 0). Which is greater: b or d?
b
Let f = 1 - -8. Suppose -5*d = t - 25, d - f = 5*t - 4. Suppose -2*m = 5 - 1. Is t smaller than m?
False
Let h = 2/463 + -960/7871. Let x = 2844481/85 + -33465. Let m = h - x. Is m at least -2?
True
Let w be 2/8 - 66/328. Suppose 2*v + 43 = 49. Suppose 0 = -9*i + v*i. Is w at most as big as i?
False
Let p = -376 - -377. Is 1/47 bigger than p?
False
Let c = -1.303 - 10.697. Which is smaller: 0.03 or c?
c
Suppose -f - 3*v = -15, -20 = 3*f - 8*f - 4*v. Which is smaller: f or 19?
f
Let y = -14/495 - 3496/495. Is -8 at least y?
False
Let d = -330 + 311. Is -18 at least as big as d?
True
Let n = -3.64 - 0.36. Let w = -1.4 + 0.4. Let q = n + w. Which is bigger: 1/5 or q?
1/5
Let n be (-460)/(-75) + 4/((-40)/(-2)). Which is bigger: 7 or n?
7
Suppose 38*i - 63*i = -100. Let h(j) = 2*j - 7. Let s be h(5). Let o be s - 1*2/2. Which is greater: o or i?
i
Suppose 13 = 5*m - 5*y - 22, -18 = -4*m + 2*y. Let l be -1*((-2)/743)/m. Let z = l + -777/25262. Is 1 != z?
True
Let x(j) = j**2 - 9*j + 5. Let s be x(5). Let m be s/(-4)*(-14)/385. Which is greater: m or 1?
1
Let l = 36028/7 - 5147. Let r be (-1 + 1)/(3 + -1). Which is smaller: l or r?
l
Let l(d) = -3*d + 2. Let x be l(4). Let w = 4 + x. Let n = -9 - w. Is 1 >= n?
True
Suppose 3*a + 46 = 319. Let t be (-13)/(a/628) - 2/7. Does t = -89?
False
Let w be (-3)/6 - (-65)/120. Let n be ((-18)/15 + 1)/(16/(-80)). Do w and n have the same value?
False
Let v = 0.036 + 0.064. Which is smaller: -115/4 or v?
-115/4
Let z = 145 - 144.9. Which is bigger: z or 38?
38
Let a(y) = 19*y + 35. Let r be a(-2). Let x be (0*(-3)/(-9))/1. Suppose -3*n - 2*n - 15 = x. Is r equal to n?
True
Let t = 229808/79 - 2909. Do 1 and t have the same value?
False
Suppose 0 = -7*v + 2*v. Suppose 3*m + 0*m = v. Suppose -6*c - 30 = -9*c. Which is smaller: m or c?
m
Suppose 4*z = 4*a + 24, -2*a - 5*z - 10 = 3*a. Let j be a/(-88)*(3 - -1). Let b = -153 - -152.9. Does b = j?
False
Let m = 441 + -440.9. Is m >= -34?
True
Let y be -2 + 6/(-5) + 1/5. Let w = -0.2 + 0.4. Is y greater than or equal to w?
False
Let f = 16 + -16. Suppose r + r = f. Let c = 579/56 - 75/7. Is r bigger than c?
True
Let x be (1*-2)/((-10)/95). Suppose 5*a + 4 - x = 0. Suppose 0 = 5*c - a*c - 28. Which is smaller: c or 13?
13
Let l = 15 - 13. Suppose -4*g - 7 + 22 = 5*t, 0 = -5*g + l*t + 27. Suppose -4*y + 0*n = -n - 5, -g*y - n - 5 = 0. Is y less than or equal to 1?
True
Let g = 953/17 - 3135/119. Is 29 at most as big as g?
True
Let x = -161 - -98. Let u be (-4)/(-14) - (-39)/x. Suppose 0 = c + 2, -3*g + 5*c + 10 = 3. Do u and g have the same value?
False
Let g = 0.1707 - 0.1707. Which is smaller: g or -4?
-4
Let r(l) be the first derivative of -2*l**3/3 - l**2 - 14*l - 1. Let b be r(-3). Which is greater: b or -25?
-25
Let m(o) = -o**2 - o + 2. Let p be m(-3). Let c be 14304/(-378) - p/14. Let x = c + 75/2. Which is smaller: x or -1?
-1
Let s = -38 - -91. Let i = -53.1 + s. Which is greater: i or 0.13?
0.13
Let z be 4/48 - 1/(-6). Let h = -151.95 + 164. Let m = h + -0.05. Is m < z?
False
Suppose 0 = 10*f - 5*f - 515. Suppose v - 3*n + f = 0, 356 = -4*v - n - n. Let o = 1181/13 + v. Which is smaller: o or -1?
-1
Let g = 2 - 4. Let v = 6 + g. Let a be (1 - v)*(-2)/(-27). Is 1 greater than a?
True
Suppose 3*u + 53 + 16 = -4*b, b + 17 = -u. Let j be 24/b - (-18)/21. Is -1 > j?
False
Let o = -4.51 - 0.59. Let y = -5.09 - -0.09. Let v = o - y. Which is smaller: v or 6?
v
Let m = -192 - -119. Is m at least as big as 1?
False
Suppose 5*f - 35 = 5*r, 4*f - 35 = -0*f - 3*r. Let x(u) = u**3 - 8*u**2 - 8*u - 3. Let h be x(4). Let g = 106 + h. Which is greater: f or g?
f
Let g be (0 - (-54)/(-364))*34. Let t = g - -60/13. Let q be (0 - 0)/4 - (2 - 3). Which is greater: t or q?
q
Let a = 295 + -869/3. Let z = 566/105 - a. Which is bigger: z or -1?
z
Suppose -3*c + 11 = v, 8*v - 3*v = -3*c + 19. Suppose -v*j - 2*j = 4*j. Is 6/43 at most as big as j?
False
Let n be (99/264)/((-290)/292 - -1). Let s = n + -54. Let q be 2/(-3) + 4/6. Which is greater: s or q?
s
Let q be (-2)/(-10) - 6/5. Let s(j) = -2*j**3 - 56*j**2 + j + 27. Let m be s(-28). Is m bigger than q?
False
Suppose -14*k = -11*k + 3*q, 1 = -3*k - 4*q. Which is bigger: k or -4/143?
k
Let g = 32.5 - 0.5. Let k = 33 - g. Which is smaller: k or 0.17?
0.17
Let f = -4.41 - -7.44. Let j = -0.03 + f. Is 2/3 at most as big as j?
True
Let c be 23646/117180 - ((-6)/(-5) - 1). Is c at least 1?
False
Let r be 1*(7 - 3) - -2. Let o be (1 + 1)/(-2) - 1. Let v be -1 + 8/(o + 3). Which is bigger: r or v?
v
Suppose -9 = -s - 8. Let k be -52 - (-9)/3 - s. Which is bigger: -51 or k?
k
Let d(z) = -5*z**2 - 19 + 5*z + 15 + z**3 - 4*z. Let w be d(5). Which is greater: w or -3/14?
w
Let n = 527 - 11591/22. Is n <= 14?
True
Suppose -3*l + 102 = -l. Let i = l - 36. Suppose -32 = -26*p + 24*p. Is p != i?
True
Let a be 12/(-3176)*(-4)/9. Let u = -22619/5955 - a. Is u smaller than -4?
False
Suppose 4*m + m = 0. Let d(c) = 16*c**3 - 2*c**2 + 4*c - 2. Let v be d(1). Suppose 4*b - t - v = 0, 0*b = 3*b - 5*t - 29. Which is smaller: b or m?
m
Suppose -2*w - 1 = -3*w. Let y = 763 + -1139. Let r = y + 3380/9. Which is greater: r or w?
w
Let x = -199 + 188.3. Let j = x - -10. Let b = 0.9 + j. Which is smaller: -0.2 or b?
-0.2
Suppose 7 = z + 3*u, z - 2*u + 23 = 15. Is z less than -19/11?
True
Let x = -207 + 219. Is x > 0?
True
Let c be ((-64)/224)/(1/7). Is -111 not equal to c?
True
Let w = -46.07 - -46. Let k = -0.11 - -4.11. Let s = -5 + k. Is s less than or equal to w?
True
Let g be (-12)/(-14)*14/8. Let d(h) = -2*h + 8 + 7*h + 6*h**2 + 0*h**2 - 7*h**2. Let m be d(6). Which is greater: g or m?
m
Let g = 4 - 11. Let s(q) = q - 39. Let m be s(-8). Let z = -53 - m. Which is smaller: z or g?
g
Let z(h) be the third derivative of -h**4/12 + 14*h**3/3 - 5*h**2. Let t be z(19). Which is bigger: t or -12?
t
Suppose -d + 4*d = 0. Let c = 82 + -124. Let f = 81/2 + c. Is f greater than or equal to d?
False
Let z(b) be the third derivative of -b**6/60 - b**5/20 + b**3/3 + 4*b**2. Let d be z(1). Is -17 >= d?
False
Suppose -25*x = 24*x. Which is bigger: -3/257 or x?
x
Suppose -3*l - 4*s = -20, 5*s - 19 = 2*l + 6. Is -2/67 greater than or equal to l?
False
Suppose -o - 175 = 165. Which is greater: o or -341?
o
Let m = -384 - -381.1. Which is bigger: 0.3 or m?
0.3
Suppose 9 = 5*x - 4*a + 1, 4*x + 3*a - 25 = 0. Suppose 4*g - 25 + x = d, -2*d - 2 = 2*g. Do 6 and g have the same value?
False
Let r be 0 + (-2145)/(-536) - 4. Let z = r + -823/10184. Which is bigger: z or 1?
1
Let d = 175155/89 - 1968. Is -1 less than or equal to d?
True
Let o be 12/(-3) + (-11)/1. Let k = 18 + o. Suppose -z - k*j - 3 = 0, 0 = -2*z + 2*j + j + 12. Which is smaller: z or -2?
-2
Suppose -5*q - 20 = -3*q. Let r = 15 + q. Suppose 4*x + 3*h = -28 + 5, -2*x - 29 = r*h. Is -8/5 bigger than x?
True
Let o be (108/45)/((-4)/(-10)). Let u be (-124)/(-6)*(o/12)/1. Which is smaller: 11 or u?
u
Suppose 3*j + 586 = 8*j - o, 224 = 2*j - 3*o. Does 116 = j?
False
Let d = 0 + 26. Let q = -25.78 + d. Let k = 6.22 - q. Which is smaller: k or 0?
0
Let u(o) = -o**3 + 2*o**2 + 9*o - 3. Let g be u(4). Let w(v) = -6*v**3 - 1. Let p be w(g). Is 0 greater than or equal to p?
True
Let y = -548/9 - -3854/63. Which is smaller: 1 or y?
y
Suppose 9 = 5*b + 24, 0 = -3*a - 2*b + 12. Is a at most 64/11?
False
Let z = 95 - 97. Let l(d) = 3*d + 4. Let n be l(-3). Let q = z - n. Are 3/2 and q equal?
False
Let p = -0.3 - -0.2. Let u = 2.2325 + 0.2675. Is u at least as big as p?
True
Let j(w) = -w**3 + 2*w**2 - w. Let d be j(1). Let l = -5.025 - -7.025. Is d > l?
False
Let w = -1319 - -1319. Which is bigger: w or -7/100?
w
Suppose -2*g - 21 = -59. Let x be 2/28*(-9 + g). Let c be (-1)/(-1) + -1 + 1. Which is smaller: c or x?
x
Let r be (-5)/((-500)/8)*(-6 - 229). Is r >= -20?
True
Suppose -4*n + 28 = -4*i, 4*i - 10 = 2*n + 8*i. Which is smaller: n or 34/15?
34/15
Let l = -22 + 34. Let z be 2/(4 - l/8). Which is smaller: z or 1/3?
1/3
Let z = 13.07 + -0.07. Let w = 8 - z. Let