
d
Let h be ((-12)/(-28))/((-250)/(-1925)). Are h and 2 equal?
False
Let m = -633/40216 - -2/457. Is 0 at least m?
True
Let r(i) = i**2 - 2*i - 4. Let p be r(3). Let t be (-20)/40 - (-234)/484. Is t at most p?
False
Suppose -3*x = -4*n - 67, n + 2*x + 12 = -2*x. Let m be ((-4)/(-10))/(n/(-40)). Which is greater: 3/7 or m?
m
Let d = 25 + -25.6. Which is smaller: d or -14?
-14
Let q be ((-2)/(-4))/(2/(-20)). Let l(v) = -38*v - 227. Let f be l(-6). Which is greater: f or q?
f
Let g(z) = z**2 - 10. Let k be g(5). Suppose -o + k = -3. Let j = -13 + o. Which is greater: j or 4?
j
Let m = 0.081 + -0.321. Let y = 3.24 + m. Let r = -44/117 - -2/13. Is r != y?
True
Suppose 4*k - 8*k = -56. Let q be k/(-77) + 8/(-77). Do q and -3.3 have the same value?
False
Suppose 17*y = 19*y + 3*w, 3*y + 2*w = 0. Is 3/424 < y?
False
Let f = 1.344 - -226.656. Do 5 and f have different values?
True
Let t be 4/(-5) - 24/(-20). Is 1 smaller than t?
False
Suppose -24 = 2*h - 48. Let m be 116/(-6)*h/(-8). Which is smaller: m or 30?
m
Let u = 63/2 - 30. Let v be (15/(-255))/(1/(-4)). Let k = v + -33/68. Is k > u?
False
Let f = -1103/9 - -123. Which is bigger: f or 5?
5
Let d = -11 + 62. Suppose 0 = -10*r + 7*r + d. Are 0.1 and r equal?
False
Let a(r) be the second derivative of -2*r**3/3 - 7*r**2/2 - 35*r. Let t be a(5). Is t bigger than -28?
True
Let n = 28 + 14. Let d = n + -42.1. Which is bigger: 3/5 or d?
3/5
Let f(o) be the third derivative of o**6/120 - 7*o**5/60 + o**4/4 - 7*o**2. Let h be f(6). Let u = 235/18 + -13. Is h greater than u?
False
Let q be (-3)/7 + 132/14. Let z be (-3)/(-2)*6/q. Is z greater than 2/5?
True
Let k = -161 + 132. Is -29 greater than k?
False
Suppose -5*w = -d - 19 - 44, -2*w - 207 = 5*d. Which is greater: d or -1/3?
-1/3
Let z(n) = -17*n**2 + 23*n - 63. Let x be z(6). Is x at most 1/4?
True
Let t be (61/2)/(1/(-2)). Let k = 117 + -74. Let z = k + t. Which is smaller: z or -17?
z
Suppose -q + 42 = -5*g, 2*g - 15 = -4*q + 197. Which is smaller: 49 or q?
49
Let b = 220 - 461. Which is bigger: b or -240?
-240
Let l = -82 - -82. Suppose 0 = -4*n - l*b + 4*b - 92, n = 4*b - 23. Which is smaller: n or -22?
n
Let h = 42.934 + 0.066. Let p = h - 41. Do 3 and p have the same value?
False
Suppose 5*n = -3*i + 2*i - 60, -5*n = 4*i + 225. Let u(s) = -6*s - 2. Let q be u(9). Which is greater: i or q?
i
Suppose 6*a - 5 = 13. Which is smaller: 30/13 or a?
30/13
Suppose -3*s - 13 = -4*l + 15, 0 = -4*s + 2*l - 54. Let x = -18 - s. Is x less than 0.8?
True
Suppose o + 2*r - 30 = 6, 5*r + 53 = 3*o. Are o and 26 equal?
True
Let w(c) = 21*c + 6. Let p be w(9). Suppose -5*v + 15 = -p. Let a be 9/6*16/v. Is 2 <= a?
False
Suppose -4*q = q + 5*s - 5, q - 21 = 4*s. Suppose -25 = q*n, 0*h = -5*h + n. Let g be (-5)/(-15) + (h - 0). Which is smaller: g or 0?
g
Let l = 800 - 10420/13. Is -2/3 less than l?
False
Let y be -2 + 1 + 3/(-6). Let x = 11 - 7. Let r(a) = a**3 - 4*a**2 - a + 1. Let b be r(x). Are b and y non-equal?
True
Let m be ((-7 - -15) + -10)/((-4)/(-10)). Let o be (-76)/14 + (-2)/(-7). Which is smaller: o or m?
o
Let s = 63 + -629/10. Let w = s + 11/40. Is -3 greater than w?
False
Suppose 79*x + 1596 = 107*x. Let z = 13 + 43. Which is bigger: x or z?
x
Let q(u) = 9*u + 33. Let n(t) = 22*t + 82. Let b(y) = -5*n(y) + 12*q(y). Let r be b(-13). Which is greater: r or 11?
r
Let k = -2926/885 - 8/295. Is k at least -5.5?
True
Suppose -4*m - 17 + 1 = 0. Is -5 bigger than m?
False
Suppose q - 9 = -2*w, 5*w - 18 - 6 = -3*q. Suppose 5*l = -6 + 1, 0 = w*c + l + 7. Let g be (-4)/c - 36/16. Which is smaller: 0 or g?
g
Let c = 40 + -23. Let l = c - 16. Let a be (1/l)/(4/12). Which is smaller: a or 2?
2
Let g be (5/6)/((-56)/32 + 3). Which is bigger: g or 1?
1
Let n be 2 + 8/(-4) - -23. Let j = 37 - n. Let y(d) = d - 15. Let r be y(j). Are 0.11 and r equal?
False
Let h = -1.46 + 0.26. Which is bigger: 0.5 or h?
0.5
Suppose 6*s + 172 = 8*s. Let f = -86 + s. Which is greater: 5/7 or f?
5/7
Let g = -35 + 35.086. Let r be (-3 - 15/(-4)) + 3/(-4). Is r less than or equal to g?
True
Suppose 327 = -4*y - 5*s, 0*y = 4*y + 4*s + 328. Is y not equal to -84?
True
Suppose 0 = -2*h + 13 - 7, 3*h + 27 = 2*c. Let v be 31/65 - c/45. Is v at most 0?
False
Let d(q) = -q - 3. Let g be d(0). Let l = g + 24. Suppose 3*w - u - 64 = 0, 4*w = 7*u - 3*u + 96. Which is bigger: w or l?
l
Let v = -8.8 + 8.81. Let n = -121 - -120. Which is bigger: n or v?
v
Let g = 0.836 - 0.377. Is -2/5 at most g?
True
Let k(z) = -3*z + 83. Let v be k(27). Is 3 < v?
False
Let b = -0.41 + -72.59. Let j = b + 68. Are -3 and j non-equal?
True
Let q be -3 - ((-138)/108 + (-2)/(-9)). Let i = 179/90 + q. Does i = 0?
False
Let v(b) = -3*b**2 - 9*b + 12. Let w be v(-4). Is -1/3891 greater than or equal to w?
False
Suppose 2*r - 20 = -3*r. Suppose 0 = -u - r*u. Suppose u = 2*b - 5 - 3. Which is bigger: 0 or b?
b
Let j be 10/(120/18) - 26/4. Let t(q) = q**2 + 8*q - 4. Let v be t(j). Is -20 greater than or equal to v?
False
Let m = -10 - -11. Let r = -0.2 + 0. Let f = r + 0.8. Which is smaller: m or f?
f
Let q(b) be the first derivative of -b**3/3 + 2*b - 1. Let f be q(-4). Suppose 37*m - 36*m + 14 = 0. Is m bigger than f?
False
Suppose -6*t - 232 = 110. Do -233/4 and t have different values?
True
Let r = -118 - -250. Let z = r + -131. Which is greater: -0.12 or z?
z
Let o = 51 + -34. Suppose a = -2*u + 2*a - 9, -3*a = -u - o. Let x = 2318/5 + -465. Which is bigger: u or x?
x
Let d be -96 - -92 - (0 - 14). Which is bigger: d or 21?
21
Suppose -3*c + 3 = -2*r, 0*r + 5 = c - 2*r. Which is bigger: c or -40/87?
-40/87
Let d = 282 + -284. Which is smaller: d or -8?
-8
Let d = 2 + -2.3. Let x = 1.1 + d. Let g be 21/6 - (-12)/(-3). Which is bigger: x or g?
x
Let s(m) = -m**2 - 6*m - 4. Let y be s(-8). Let i = -243 - -225. Which is smaller: y or i?
y
Let h = 0.05 + -7.05. Let o = 12 - 7. Let a = o + h. Does -2/3 = a?
False
Let b be 13 - (0 + -3 - -8). Are 7 and b equal?
False
Suppose 100 = 5*z - 5*l, 54 = 4*z + 5*l - 44. Suppose -3*j = -16 - 32. Let r = z - j. Is r bigger than 4?
True
Let v(u) = -34*u - 3. Let x be v(1). Let k(o) = o**2 + o - 38. Let b be k(0). Which is smaller: b or x?
b
Suppose 5*i = 2*i + 2*b - 29, 4*i = -5*b - 54. Let s(o) = -o**3 - 6*o**2 - 4*o - 5. Let u be s(-5). Let f = i - u. Is f less than -2/9?
True
Let f(m) = -m**2 - 4*m - 3. Let g be f(-5). Let d = -8740 + 8737. Does g = d?
False
Let h = 1774 - 2560. Is h equal to -785?
False
Let d be 3/(1/((-1)/(-1))). Let n = 3/475 - -917/5225. Is n != d?
True
Let g = 56 - 40. Suppose -3*i - 3*i + 174 = 0. Let c = i + -13. Is c at most as big as g?
True
Let n be (-3 - -4) + (142/2 - 0). Suppose -64 = 5*b + l, l + 16 = -b - 0*b. Let x be 2*1 + n/b. Which is bigger: x or -3?
-3
Let p(o) = -o**3 + 3*o**2 - 3*o + 2. Let d be p(2). Let y(w) = -w**2 + 1 - 10*w - 4 + d*w**2. Let a be y(-10). Are a and -4 equal?
False
Let t be 0 + 0 - (-32)/22. Let i(u) = u**2 - 66*u + 990. Let j be i(43). Which is bigger: t or j?
t
Let x = -7 + 4. Let n be (-114)/(-7) + (-2 - 12/(-7)). Suppose 6*p + n + 8 = 0. Is x less than p?
False
Let m = -25 - -20. Let p(r) = -r - 11. Let t be p(m). Let j = t + 7. Which is smaller: j or 2/13?
2/13
Let m be (-4)/(2 + (550/(-24))/11). Suppose m = -8*y + 8. Which is smaller: y or 12?
y
Let r = 9 - 4. Suppose 2*z - 3*u + 22 - 8 = 0, r*z + 4*u + 58 = 0. Is z < -9?
True
Let c(p) = p - 16. Let z be c(0). Suppose 5*l + 6*n = 3*n - 85, 3*l - 2*n + 51 = 0. Is z less than or equal to l?
False
Let y be 28 - (0 - (-2 + -4)). Is 23 bigger than y?
True
Let t(q) = -3*q + 70. Let p be t(23). Which is bigger: p or -2/265?
p
Let q be 10/(-35) + -3*48/(-602). Which is bigger: q or 0?
0
Let j = 1339 - 1339. Which is smaller: 1/1615 or j?
j
Let o = -4757/3174 + -2/1587. Which is smaller: o or -180?
-180
Let r = 92 + -93. Is r at least as big as -3/16?
False
Let g = 108 + -539/5. Do g and 0.14 have different values?
True
Let p(t) be the first derivative of -5*t**2/2 + 22. Let d be p(0). Let k be 2*(-1)/(-2)*-1. Which is bigger: d or k?
d
Let z = 836879506447/1840020 + -59/3680040. Let q = 455627 - z. Let w = q - 805. Is w > 0?
True
Let r(i) = i**2 - 11*i + 10. Let q be r(7). Let v be q/(-5)*2/6. Suppose 3*u = -18 + 21. Is v != u?
True
Let m(g) = g**3 + 38*g**2 - 83*g - 123. 