 Let d be 0*(2/4 + 0). Let o = g - d. Is 1 smaller than o?
False
Let x(f) = -24 + 20*f + 47 - 17. Let c be x(-1). Which is bigger: -13 or c?
-13
Let y = 7 - -28. Let a be (14/y)/((-7)/(-10)). Let d = a + -5/7. Which is bigger: d or 1/4?
1/4
Let r be 9/(-18) + (-38)/4. Let z be r/6 - 6/18. Let h(v) = -v**3 - 3*v**2 + 5*v + 2. Let d be h(-4). Is z less than d?
False
Let n = 0.23 - -0.07. Which is smaller: -7/22 or n?
-7/22
Let d = 36289/72 - 504. Suppose -13*b - 1359 = -1372. Is d bigger than b?
False
Suppose 2*d - 3*t + 54 = 0, 91 = -4*d - 3*t - 17. Is d >= -225/8?
True
Let c = 37 - 23. Let u(l) = -12*l + 974. Let g be u(80). Is g > c?
False
Let d(r) = -r**2 - 4*r - 1. Let h be d(-3). Let w be ((-3)/(-2))/((-9)/(-30)). Suppose 0 = 2*m - 4*q + 16, -h*q = -m + w*m + 32. Which is smaller: -0.1 or m?
m
Suppose 4*t - 40 = a, 3*a - t = -0*a - 65. Which is smaller: a or -19?
a
Let k be 8644/(-18) - (-16)/72. Let w = 5765/12 + k. Is w at least as big as 0?
True
Let x = 648 + -48602/75. Let i = -39836/3 - -13279. Is i at most as big as x?
False
Suppose -b - 10 = -5*h, -2*h + 2*b + 7 = -5*h. Suppose 1 = -5*i + h. Which is smaller: 1 or i?
i
Let d = 22 - 10. Suppose -2*q = a - 16, 2*a = -0*a + q + d. Let n be a/12 + (-38)/48. Which is smaller: n or 0?
n
Let q(k) = -k**3 - 2*k + 5. Let h be q(2). Which is bigger: -79 or h?
h
Let k = -1035 + 768. Which is greater: k or -0.1?
-0.1
Let m(k) = -k**3 + 10*k**2 + 13*k - 6. Let n be m(11). Suppose 21 = 5*l + n. Is 4/9 greater than or equal to l?
False
Let s be -63*2*(-2)/4. Suppose -3*v = -2*i - 37, -4*i + i = -5*v + s. Which is greater: 14 or v?
v
Let f = -678 + 675. Let q(t) = 3*t - 1. Suppose -6*w = -3*w + 3. Let z be q(w). Is z smaller than f?
True
Let u(d) = 3*d - 6*d - 51 + 33 - 53. Let p be u(-24). Is p at most -1/8?
False
Let j = -3.3 + 2.92. Let f = j + 0.18. Let m = -58 - -63. Which is greater: f or m?
m
Let c = -72 + 61. Let n = c + 10. Which is greater: n or -0.002?
-0.002
Let d(h) = -87*h**2 - 48*h - 196. Let r be d(-4). Is r not equal to -1397?
True
Suppose 19*i - n = 14*i - 18, 3*i = -4*n + 3. Which is smaller: i or -1.9?
i
Suppose -4*y = r - 24 - 67, 2*y + 5*r = 59. Let w = y + -21. Let h = 9 + -7. Which is smaller: h or w?
w
Let p(z) = -z**3 - z**2 + 7. Let q be p(0). Let d = 43 - 43.063. Let c = d + -1.937. Which is greater: c or q?
q
Let d = 10915/3 + -3646. Let m be (-3)/(-5) + 148/20. Suppose c = -0*c - m. Which is smaller: d or c?
c
Let s = 207 - 351. Let d = s + 128. Which is bigger: -1/7 or d?
-1/7
Suppose -3 = 6*p - 5*p. Let w be ((-1)/p)/((-15)/45). Which is bigger: -4/13 or w?
-4/13
Let x be 1 + -1 - (-1 - 1). Let c be (2/(-6))/(x/(-48)). Suppose -k - h + 9 = 0, -3*k - 1 + c = -2*h. Is 5 less than k?
False
Suppose 6*b + 2352 = 48*b. Which is greater: 46 or b?
b
Let n = -212/737 - -1/67. Suppose -20 = 3*k - w, -5*k + 0*k = -3*w + 28. Let l = -7 - k. Is n bigger than l?
False
Let s be 528/6 - (1 + -1). Let v = 262/3 - s. Which is smaller: v or 0.1?
v
Let u = 1522 + -1840. Is -319 at most u?
True
Let o = 0 - 5. Let w = 4 - o. Suppose -2*n = -5*n - w. Is -3 < n?
False
Let m be 10134/(-10130) - (-187 + 186). Which is smaller: 1 or m?
m
Let t be ((-5)/(-4))/(9/(-4)). Suppose 58 = -26*q + 6. Which is smaller: t or q?
q
Let l = -1 + 4. Suppose -l*k = -2*k - 3. Let q(d) = 2*d**2 + d. Let n be q(-1). Which is greater: k or n?
k
Let g = 738 + -183. Which is greater: g or 556?
556
Suppose -3*s - 6 - 3 = 0. Let z(v) be the second derivative of -v**4/6 - v**3/6 - v. Let n be z(1). Is s smaller than n?
False
Let d = 11 - 8.3. Let g = -19 - -16.4. Let z = g + d. Which is smaller: -0.1 or z?
-0.1
Let u be (8/(-6))/(2/12). Suppose -14*d - 53 - 32 = 3*d. Is u at most d?
True
Let b(j) = j**3 - 7*j**2 + 2*j + 6. Let n be b(5). Let k = n + 19. Which is smaller: -13 or k?
k
Suppose 0 + 40 = 4*f. Suppose 5*y + f = -10. Let z be 19/(-6) - 77/231. Which is bigger: z or y?
z
Let d be -3 + (-3 + 100 - -7). Is 2 smaller than d?
True
Let h = 5 + -3. Suppose 4*l + t = -2, 3*l + 2*l + 2*t + 4 = 0. Is h at least as big as l?
True
Let x = -509 - -529. Are x and -0.18 equal?
False
Let h = -798 + 15156/19. Which is smaller: 1 or h?
h
Let l be (0 - 2) + (-2 + 1 - -5). Which is greater: l or -12/25?
l
Let v = -467.9 + 488. Let d = -7.8 - v. Let f = 28 + d. Does f = 0.4?
False
Let b be (1 - -2)/6*-4. Let f(z) = z + 2. Let s be f(2). Let g be -4 + 9/(-1 + s). Which is smaller: g or b?
b
Let r = -20.6 - -0.6. Let t = -27 - r. Which is bigger: t or -5?
-5
Let w = -1.42 - -1.6. Let p = w + 3.82. Let t = p + 1. Do t and 0 have different values?
True
Let s = -426747/49028 - 5/2884. Which is smaller: -8 or s?
s
Suppose d + 0 + 3 = 0, -3*i - 2*d + 9 = 0. Suppose -2*c + 6 = -2*r, -2*c + r = -i - 1. Let b be c/6 - (-3)/2. Is b != 1?
True
Let m = -338 + -250. Which is smaller: 0.2 or m?
m
Let x = -38 + 45. Let z be ((-1)/(-2)*-2)/(x/2). Which is greater: 0 or z?
0
Let m = 34/21 + -89/42. Which is smaller: -0.2 or m?
m
Let x(t) = -2*t**2 + 21*t - 23. Let r be x(10). Let a = -14 - r. Is -3/10 greater than or equal to a?
True
Let r = 3544/3 + -662716/561. Is r at least 1?
False
Let w = -1253/230 + 31/10. Which is smaller: -3 or w?
-3
Let f = -71.4 - -71.67. Which is smaller: 1 or f?
f
Suppose -2 = 2*d - 0*d. Let t be (d + 4)/3*-3. Suppose 0*f - 2*f - 2*r + 4 = 0, 3*f + 5*r = 14. Is t at least as big as f?
False
Let v be (22/4)/(1/(-2)). Let k = -822 - -810. Which is smaller: k or v?
k
Let m(g) = 2*g**2 + 13*g + 23. Suppose -8 = -4*j + 5*j. Let v be m(j). Is 47 at least v?
True
Let g be (-2)/(-10) - 24/(-5). Suppose -g*v - 4 + 14 = 0. Let z be (-6 + 3)/(-6) - v. Do z and -0.3 have different values?
True
Suppose 3*r + 177 = 4*b, -2*b - 5*r + 72 = -r. Are b and 41 nonequal?
True
Let l = -1483/30 - -148/3. Are l and -1 nonequal?
True
Let x be (-2)/9 + (-59)/(-9). Let d(t) = -t**2 - 21*t - 83. Let z be d(-6). Is x not equal to z?
True
Let q = 0.27 + -5.47. Let s = -44.2 - q. Let c = -34 - s. Is 2/7 greater than c?
False
Let h(a) = -a. Let j(g) = -2*g + 13. Let l(d) = 4*h(d) - j(d). Let w be l(-9). Let p be (-2)/(-5*(-6)/(-60)). Which is smaller: p or w?
p
Let y be 0/(-1 - (-4)/(-4)). Suppose 0 = 5*r + 2*t - t - 50, 0 = 4*t. Let w be (-1)/(r*(-2)/2). Is y >= w?
False
Let q be (-183)/6 - -1 - (-4)/(-8). Let s be (8/(16/q))/(-4). Which is greater: 4 or s?
4
Let z be (0 - 0/(-1))/(-1). Let b be -6*12/(-54)*(-6)/(-44). Which is smaller: b or z?
z
Let c = -68.4 + 67.3. Which is smaller: -46 or c?
-46
Let j = -967 - -971. Does j = -36?
False
Let o(r) = -3*r + 7. Let t = -19 + 26. Let g be o(t). Let v = g - -15. Which is bigger: v or -1/5?
v
Let g(y) = y**3 - 6*y**2 + 6*y - 6. Let c be g(5). Let f be (54/24)/(c/12). Is f < -27?
False
Let m = -11.3 + 10.86. Let d = m + -31.56. Which is smaller: d or 2/7?
d
Let g = 16 - -2. Let p = g + -17. Let i = -36/35 + 10/7. Are i and p equal?
False
Let f be (-3)/(-9) + ((-203)/(-84) - 6). Let d(t) = -t + 1. Let z be d(4). Is f less than z?
True
Let k = -9277 - -148373/16. Which is greater: -4 or k?
k
Let a be ((-1)/2 - -1)*(-2)/20. Let r = 11.2 - 9.2. Is r not equal to a?
True
Let a be (((-4)/(-2))/(-98))/1. Suppose -156 = -71*p - 156. Which is smaller: a or p?
a
Suppose 10 = -2*v - 3*x, 4*v + 2*x + 12 = -0*v. Let s be v/(-26)*(-7 - (-1 - 3)). Which is smaller: s or 0?
s
Let o be (18/(-15))/((-3)/10). Let n = o + -3. Let l = -921 - -21187/23. Are l and n unequal?
True
Suppose -36 + 120 = -3*b. Suppose -2*r + 5*v = 29, v = -3*r + 7 - 93. Is b greater than or equal to r?
False
Let d = 24601/5 - 4977. Which is smaller: d or -56?
d
Suppose 10*v = 2 - 32. Let j be (v - (-50)/15)*30. Does j = 98/9?
False
Let q(h) = -7 - 6*h**2 - 14*h**3 - 8*h**3 + 21*h**3 - 6*h. Let s be q(-5). Let r be ((-12)/(-14))/((-10)/14). Which is bigger: r or s?
r
Suppose -3*z + 0 = -9. Suppose -3*k + 2*a - 4 + 0 = 0, 5*k = -a + 15. Let y be 12/20 - k/(-5). Which is bigger: z or y?
z
Let r = 7 - 7. Suppose 0 = -5*p - 10. Let g be -10*(r + 2/p). Which is bigger: g or 11?
11
Let v = 1751 + -152339/87. Let m = -496079/329034 + 58/1891. Let d = m + v. Are d and -2 equal?
False
Let x = -1925260/303 - -6354. Is -1 != x?
True
Suppose 3*p = 5*h + 64, -4*h + 14*p = 17*p + 62. Which is greater: 3/13 or h?
3/13
Let p be 2 + (-644)/80 + (-5 - -11). Let