*b + 40 = 5*r. Let h = 253/10 - b. Let d be 0/2 + (1 - 0). Which is smaller: d or h?
h
Let l = 666 + -680. Is l smaller than -15?
False
Let u = 2/507 - 80/507. Let d(h) = -h**3 + 3*h**2 - 2*h. Let w be d(2). Let l = 1 - w. Which is bigger: l or u?
l
Let c(x) = 10*x**2 - 16*x + 66. Let j be c(4). Do j and 1144/7 have different values?
True
Suppose 0 = 3*c + 31 - 28. Is c bigger than 16/43?
False
Let j = -22 - -37. Suppose -11 - j = -2*g. Suppose -g = -5*x + 12. Which is bigger: 14/3 or x?
x
Let d(y) = y**2 - 25*y + 2. Let b be d(25). Suppose 2*r + 3*r - 15 = 0. Is r greater than or equal to b?
True
Let x be ((-19)/(-2))/((-378)/28 - -14). Is x less than or equal to 26?
True
Let y(p) = 3*p - 11. Let k be y(11). Suppose 26 = -j + 4*j + 5*i, -5*j - 3*i + k = 0. Suppose 0 = j*f + 3*f - 5. Is f at most as big as 2?
True
Let t = 5.3381 + 0.0119. Is t > 0?
True
Let l = -608 + 705. Is -0.2 >= l?
False
Let g = -1.1 - 4.9. Suppose -9 = -3*y + 9. Let j be -3*((-20)/y - -3). Which is bigger: j or g?
j
Let y(k) = 2*k**2 + 7*k - 2. Let u be y(-4). Suppose -z + 2*q + 12 = -u*q, 0 = 4*z + 5*q - 111. Is z bigger than 22?
True
Let v(m) = m**2 - 7*m + 4. Suppose -6 - 4 = -2*s. Let l be v(s). Let g = 66 - 71. Is g at least l?
True
Suppose 5*w = -2*c - 0*c + 8, 2 = 2*c + 2*w. Is 52 equal to c?
False
Suppose -31*b + 1334 = 15*b. Which is bigger: b or 202/7?
b
Let c = 11.5 + -11.6. Let t be 8/(-12) - 376/84. Is t > c?
False
Let w be ((-1)/((-1)/(-12)))/(-172 + 158). Is -3 > w?
False
Suppose -3*o = -2*a + 50, -173 = 4*o + 8*a - 53. Let b = 83/12 + -20/3. Which is greater: o or b?
b
Let r = -15/56 - 1/56. Which is smaller: -72 or r?
-72
Let j = 10418/17 - 613. Suppose -4*l + 5*h - 10*h - 25 = 0, 5*l - 2*h - 10 = 0. Which is greater: l or j?
l
Suppose 46 = -5*w - 29. Let t = 1691 - 1706. Is t equal to w?
True
Let x(p) be the second derivative of p**4/12 - 11*p**3/6 - 6*p**2 + 4*p. Let g be x(12). Suppose 6*b + a - 5 = 4*b, -a + 5 = -4*b. Is b less than g?
False
Suppose -243*y = -236*y - 1050. Is 151 <= y?
False
Let v = 6 + -4. Let y = -5 - -2. Let a = v + y. Which is smaller: a or 2?
a
Let j = -195 - -124. Suppose -35*k = -49*k - 994. Is j at most as big as k?
True
Suppose q - 92 = 2*q. Let m = q - -1379/15. Which is greater: m or 1?
1
Let s = -67 - -70. Suppose -l + 4*l + 6 = -3*u, -2 = 2*l + s*u. Is l bigger than -4?
False
Let w be ((54/(-6))/18)/(2/1040). Is w less than or equal to -261?
False
Let g = -152438904/297965 + 2/59593. Let t = g + 509. Let v = t - -3. Is -1 equal to v?
False
Suppose 4*z + 0*z = 4. Let m = 0.584 - 0.034. Let c = -0.57 + m. Are c and z nonequal?
True
Suppose 42 = 6*k + 24. Is -11 smaller than k?
True
Let c be (-45)/(-45) - 52/54. Is c less than -1?
False
Let d(q) = 2*q + 30. Let p be d(-15). Suppose p = -3*r + 9 + 12. Let y be (-1 - 0)*2/(-4). Is y less than or equal to r?
True
Let m be (276 - 2)/2 + 0. Suppose -k + m = -3*j, 4*j + 548 = -k + 5*k. Let x = 969/7 - k. Which is smaller: x or 0?
0
Suppose -27*z + 486 = -2538. Which is smaller: z or 111?
111
Suppose -36*w + 30*w = 0. Is 1/404 at least as big as w?
True
Let t be (234/(-60)*-4)/((-2)/(-10)). Let x = -66 + t. Is 11 less than or equal to x?
True
Let p be (-1120)/63 - 2/9. Suppose -162 = 7*t - 43. Which is smaller: t or p?
p
Suppose -12 = 2*d - 108. Let n be (-2)/(-8) - (-84)/d. Is 4 at most n?
False
Let f = -1191 - -519. Let x = 10076/15 + f. Is x at most as big as -0.1?
True
Let x = -0.089 + 87.089. Do x and -0.1 have the same value?
False
Let t = -0.6 + -27.4. Let l = 27.6 + t. Is l greater than 0.2?
False
Let w(r) = r**2 + 4*r + 3. Let s be w(-3). Which is greater: s or -303?
s
Let g(q) be the third derivative of 5*q**4/12 + q**3 + 7*q**2. Let z(o) = 3*o + 2. Let b(c) = -2*g(c) + 7*z(c). Let j be b(-6). Which is smaller: -5 or j?
-5
Let u = 747.7 + -748. Is -2.9 less than u?
True
Let c(o) = o**3 + 7 - 12*o**2 + 6*o + 4*o**2 + 14*o**2. Suppose -8 = 2*v + 2. Let f be c(v). Does f = 2/3?
False
Let b be -555*(4 - (-3 + 2)). Let p be b/(-792) - 1/3. Let u = p + -28/11. Is 0 not equal to u?
True
Let w = -0.061 + -46.939. Let t = -25 - w. Let f = t - 7. Which is bigger: 0.1 or f?
f
Let v be (-16)/(-32)*16/2. Suppose 2*h = -0*h. Suppose c = -h + 5. Are v and c nonequal?
True
Let j = 25/44 - 9/11. Which is bigger: j or -2?
j
Suppose 4*b = 2*b, -3*b + 16 = 4*v. Is -1 at least v?
False
Let h = -2082 - -401834/193. Is 1 not equal to h?
True
Let o = -94 + 92.1. Let g = -2.06 + 0.06. Which is smaller: g or o?
g
Let z = -18.5 - -25.7. Is -1/3 <= z?
True
Let o = -268/45 + 68/9. Let k be -7 - (11/(-1) - -2). Is k at most as big as o?
False
Suppose 2*y = 2*o + 7 + 1, -8 = -4*o - 2*y. Which is bigger: o or 43?
43
Let n = 158 + -84. Let d = n + -35. Is d equal to 40?
False
Let h be ((-140)/3)/(4/(-18)). Let v be (-3)/(-7) - 1643/h. Let j = v + 73/10. Which is greater: j or -1?
j
Let b = 255.22 + -255. Which is greater: -0.7 or b?
b
Suppose a - 6*a = 25, 25 = 5*x - 3*a. Let o be (x - 0/4) + -3 - -20. Is o at most as big as 18?
False
Let b be 28/49 - 258/(-14). Is b greater than 3?
True
Let a = 143.4632 + -143.5. Do 0 and a have different values?
True
Let n = 625 + 1359. Let s be n/660 - 3/1. Let m = s + 98/165. Does 0 = m?
False
Suppose -53*g = -58*g + 30. Suppose -4*z = -z + 27. Is g != z?
True
Suppose 4*s - 15 = -x - 0*x, 3*x + 4*s = 13. Which is bigger: -1/95 or x?
-1/95
Suppose 0 = -24*g - 32151 + 5607. Which is bigger: g or -1105?
-1105
Let v be 26/4 + 48/(-32). Suppose -o = 3*z - 2, -z + v*o = 36 - 10. Is z > -2/5?
False
Suppose -d - 5 = -9. Suppose 2*o + 1 = -d*r + 3*r, 0 = 4*o + 5*r - 13. Let h be 2/(2/1) + -2. Is h greater than o?
True
Let w = 904 - 905. Is -16/21 greater than w?
True
Suppose 5*l = 25, -2*l + 54 = 2*k + 2*k. Let v(r) = r**3 + 3*r**2 - 3*r + 2. Suppose -2*x = -6*x - 12. Let i be v(x). Is i > k?
False
Let i = 1.1205 + 0.0295. Which is smaller: 2 or i?
i
Let h be 1 - (-2)/(6/(-33)). Let o be -3*(-9)/6*(-120)/54. Is h smaller than o?
False
Let s = -144/17 - -5489/646. Which is bigger: s or -3?
s
Let p = -341 + 333. Which is smaller: -0.07 or p?
p
Let l = 0.604 - 0.504. Are l and 200 non-equal?
True
Let z be (-35)/6 - ((-12)/3 - -1). Do z and -2 have different values?
True
Suppose 2*r = 3*z, 4*r = -0*z + 2*z. Let o = -1191/13432 - -1/584. Which is smaller: o or r?
o
Let r = 67.21 - 67. Let g = r - -1.79. Let f = 0 + 0. Which is bigger: g or f?
g
Suppose z + 964 = 942. Let h(f) = -f**3 - 8*f**2 - 7*f + 7. Let v be h(-6). Which is smaller: z or v?
v
Let h = 0.07 - -2.03. Let a = 3.9 + h. Which is bigger: a or -0.1?
a
Suppose -5*d = -4*t - 70, 2*d + 5*t + 75 = 7*d. Suppose 5*y = -d, -5*y - 6 - 4 = -3*q. Let w be (-4)/12 + (-11)/(-51). Do q and w have different values?
True
Let g(f) = f**2 + 4*f. Let b be g(-5). Suppose -w + y - 4 = 0, b*y = -1 + 16. Is -1 != w?
False
Suppose 2*a = 4*i - 10, -6*a = 3*i - a + 25. Suppose i = 2*v - 2 + 4. Let w = -49/300 + 2/25. Which is smaller: w or v?
v
Suppose -5*h + 5*z - 18 = 17, -3*h = 5*z - 19. Let d be -2*4/(-16)*h. Which is bigger: -1/13 or d?
-1/13
Let r = -25 - -13. Let d = r - -9. Let y be (-2)/6 + d/(-9). Is -1 smaller than y?
True
Suppose 0*z - 15 = 3*z. Let b be z/((-15)/6) + 1 - -1. Which is smaller: 2 or b?
2
Suppose -1071 = 4*y + 13*y. Which is smaller: y or -62?
y
Let f be 60/100*(-50)/(-5). Let m be (-12)/3*1/(-2). Which is smaller: f or m?
m
Let y = 1369/33 + 35/11. Is 46 equal to y?
False
Suppose 3 + 2 = -5*n - 3*f, -4*f = 3*n + 14. Suppose 5*m + n*j = 106, 7*m = 4*m - 4*j + 58. Which is smaller: m or 21?
21
Let l be (62/(-4))/((-1)/10). Suppose l = -4*f - 13. Let c be (7/f)/((-13)/4). Is c smaller than 1?
True
Let y(t) = t**2 + 3*t - 18. Let d be y(-6). Suppose 3*w - 21 = 4*z, -12 = -5*w - z - 0*z. Do w and d have the same value?
False
Suppose -12*v - 6 - 6 = 0. Which is bigger: v or -2/189?
-2/189
Let p = -41.081 + 1.081. Which is smaller: -5 or p?
p
Let k(q) = 11*q - 61. Let c be k(6). Let b(r) = -r**3 + 7*r**2 + 9*r + 1. Let g be b(8). Which is bigger: g or c?
g
Let l = -30424 + 30444.981. Let w = -0.019 - l. Let f = -20.7 - w. Which is greater: -1/5 or f?
f
Let c = 40 + -26. Let r = c - 16. Let q = r + 0. Is -2 bigger than q?
False
Let h = 0.1585 - -0.0415. Let z = 0.08 - 1.38. Let c = -0.3 - z. Which is greater: h or c?