and i nonequal?
True
Let k be (-1)/(-12)*(-1530)/(-68). Let v be (0 - 2)/(-2 + 0). Is k >= v?
True
Let o = -2559/7 - -365. Which is bigger: o or 93?
93
Suppose -2 = 3*f - 8. Let n be (2/(-8)*f)/1. Let c = -0.08 + -2.92. Is n at most c?
False
Let x(h) = -h**2 + 27*h - 52. Let r be x(26). Let q = -32 - -57. Let l = q + r. Is -1 at most l?
True
Let o = 0 + 0. Let j = -156 - -151. Let v be (-2 + (-12)/j)*(-55)/66. Is o > v?
True
Let o be 160/9 + 1/(-2). Let g = o - 35/2. Which is greater: -1 or g?
g
Suppose -3*u - 8 = -u, 0 = -5*o + u + 184. Suppose -8*a - 7*a = -540. Is o at least a?
True
Suppose 0 = -5*n - 5*q - 155, -167 = 3*n + 2*n + 2*q. Let c = 55 + n. Let m = 19 - c. Are -7/2 and m equal?
False
Suppose 0 = -2*p + 10, -3*p + 63 = 2*l + 2*l. Suppose -5*o + 0*o + 45 = 0. Is o at most as big as l?
True
Let y(v) = v**3 - 6*v**2 + 2*v - 8. Let g be (4/(-6))/(4/(-6)). Let u(a) = -a**2. Let l(i) = g*y(i) + 3*u(i). Let o be l(9). Which is smaller: o or 9?
9
Let o be -6 - 26/(-4) - 16094/(-44). Let m = 366 - o. Which is smaller: -1 or m?
-1
Let b = -19 + 18.96. Does b = 1/3?
False
Suppose 3*d - 5*c + 21 = -2*c, -3*d - 13 = -c. Let w be 0 + 2 + d + 1. Which is greater: w or 4/9?
4/9
Let q(b) = 6*b + 16. Let f be q(-4). Which is bigger: f or 1?
1
Let a be -11 + 12 - -1*71. Do a and 72 have different values?
False
Suppose -10 = -3*y + 8*y. Let v be -2 - -7*y/(-6). Let b = 148 + -148. Is b >= v?
False
Let s = 1697/5 + -339. Is s greater than -6?
True
Let t = -37 - -147/4. Is t greater than or equal to -4/17?
False
Let n = 38.5 - -4.5. Let z = -42.4 + n. Which is greater: 1/4 or z?
z
Let a = 0.8 + -0.7. Let z = -31.87 - -32. Do z and a have different values?
True
Suppose -2*x + 0*x = -22. Let s(m) = -2*m**3 - m**2 - m. Let v(c) = -7*c**3 + 8*c**2 - 3*c + 2. Let i(r) = 3*s(r) - v(r). Let q be i(x). Are -1/2 and q equal?
False
Let g = -3.51 + 3.21. Let o = 4 - 6. Let w = -4 - o. Is w <= g?
True
Let m = 28 - 76. Let x = m - -60. Is x >= 1?
True
Suppose -20*q = 4 - 4. Is q != 3/112?
True
Suppose 4*x - 10 = 2*v, v + 18*x - 17*x = 4. Is 2/1637 less than v?
True
Suppose 0 = 78*q - 83*q + 2145. Is 428 greater than q?
False
Let u = -2 - -3. Let i = u - 1. Let k = -324 - -971/3. Is i != k?
True
Suppose 4*q = 167 + 49. Let x = 54 - q. Is x at least -2/33?
True
Let d = -2047 - -2183. Do 128 and d have different values?
True
Let m = -923 - 222. Which is smaller: m or -1144?
m
Let c = -59.2 + 36.2. Which is greater: -4 or c?
-4
Suppose j = 5*j - 2*f - 19876, -4*j - 5*f = -19904. Let a = 64593/13 - j. Which is bigger: -3 or a?
a
Let t = 960 + -235204/245. Is 1 less than t?
False
Suppose -o = 2*o - 12. Let r be (24 - 22) + 1*o. Which is smaller: 5 or r?
5
Let z be (-1)/(-1)*((8 - 1) + -7). Which is smaller: z or -1/88?
-1/88
Let r = -43 - -18. Let w = -27 - r. Let v = -2.15 + 0.65. Is v greater than w?
True
Suppose 0 = 10*j - 11*j - 1306. Let d = j + 9168/7. Which is bigger: d or 5?
5
Suppose 209*v = 207*v + 2. Which is greater: v or -9/32?
v
Suppose -2*b - 11 = 5*f, 2*f = 3*f + b + 4. Which is greater: -24/13 or f?
f
Let x(b) = 3*b - 24. Let m(s) = 4*s - 23. Let c(g) = -7*m(g) + 6*x(g). Let r be c(4). Which is smaller: r or -22?
r
Suppose 332*q = 76*q + 555 - 43. Let a(p) = -p - 2. Let j be a(-4). Let m = -2 + j. Is q bigger than m?
True
Let d = 5 - 3. Suppose 0 = 4*a - d*n + 4*n + 34, 3*n + 35 = -4*a. Is -2 >= a?
True
Let z = 2/193 - 1562/1737. Suppose 4*g + 8 = 0, 4*f + g = -1 - 1. Which is smaller: f or z?
z
Let u(s) = s**3 + 5*s**2 - 6*s + 6. Let x be u(-6). Let n = -23 - -25. Suppose -m + 3*y + 3 = 0, -n*y + 19 = 4*m - 7. Is m greater than x?
False
Suppose -86 = 6*f - 2*f + i, -4*i = -f - 13. Let j be (-12)/(-28) - (-51)/f. Are -2 and j nonequal?
False
Let u(h) = -h**2 + 7*h - 6. Let d be u(6). Let x = -470 + 512. Suppose d = -7*y + x. Are y and 5 equal?
False
Let g be 0 + (-294)/(-8) + 17/68. Suppose 13*o + 93 = -g. Is o != -34/3?
True
Let x = -2.42 - -1.45. Let s = x - 0.03. Let l = 0.189 + -0.179. Is s <= l?
True
Suppose 13*g = 19*g. Let o = 949213/142740 + 2/35685. Let m = o - 37/5. Are g and m equal?
False
Let v be 3 + (-64)/12 - -2. Suppose -7*m + 3*m - 4*x = 32, 5*m = 5*x + 10. Let g = -2 - m. Which is smaller: v or g?
v
Let t = 30598/7 - 4372. Suppose -4*u = -3*u + 1. Which is smaller: u or t?
u
Suppose m - 5*z = 20, 4*m - 2*z + 6 = -4. Let n be (m - (-22)/4)/((-2)/(-4)). Is -3/80 smaller than n?
True
Let y be 11 - 1603/294*2. Is y at most 13?
True
Let j = -67 - -55. Let w be 8/j - (-230)/336. Which is smaller: w or 1?
w
Let l be (2/(-2))/2*(-84)/(-24). Is 3 less than l?
False
Let y = 152 + -152. Suppose u = -2*f + 7*f + 28, -5*u = 2*f - 5. Which is smaller: u or y?
y
Let k = -1 - -6. Suppose -5 + 45 = -20*q. Which is smaller: k or q?
q
Let j(i) = -8 - 11 + i**2 + 1 + 16*i. Let g be j(-17). Let t be 1 + 2 + -2 - 2. Is g greater than t?
False
Let v be (-6)/(-15) - 50013/(-155). Let i = 323 - v. Let j be (-2 - -1)*(-9 + 8). Is i at most as big as j?
True
Let k = -46.4 + 47.4. Suppose -n - 26 = -3*q, 2 = n + q + 3*q. Let s be n/(-35) - 8/(-30). Which is bigger: k or s?
k
Suppose -2*u - u - 5*d = 69, 5*u + 115 = 3*d. Is u at most as big as -23?
True
Suppose -205*z + 384 = -221*z. Is z <= 4?
True
Suppose h + 5*j = -h + 10, 6 = 3*h + 3*j. Let a be (-18)/(-24) - 2*(-3)/24. Which is bigger: a or h?
a
Let v be 71/(-175) + (14/49 - 0). Let x(h) = -h - 1. Let p be x(0). Which is smaller: v or p?
p
Let s be (-1)/(-6)*-7*68/833. Let f be ((2 - -1)/(-3))/1. Which is bigger: s or f?
s
Let p = -81 - -35. Let m = p + 49. Which is greater: m or 2?
m
Let u = -683 + 682. Which is greater: u or 18/5?
18/5
Let n(m) = m**3 + 8*m**2 - 16*m - 44. Let k be n(-9). Is 30 < k?
False
Let q = 31 - 47. Let t be q - (-3 + 6 + -1). Let k be 4/t + (-168)/(-27). Is 7 > k?
True
Let w = 58 - 58. Suppose w = -4*n + 16, 0*f = f + 3*n - 19. Which is smaller: 46/7 or f?
46/7
Let h = 2222 + -4373. Let m = h - -15089/7. Is m greater than -0.1?
True
Let l = -227.4 - -233. Is l != 0.1?
True
Let n = 0.602 - 0.042. Let j = n - 0.36. Is 1 less than j?
False
Let j = -25021618/1989 - -12580. Which is greater: 1 or j?
1
Let t = -158296/13 - -12187. Let v = -4159/403 + t. Let w be 0/(4/(-7 + 3)). Is w at most v?
True
Suppose 5*a = i - 53, -3*i + 44 = -3*a + 17. Let b = 13 + a. Suppose 1 = -b*s + 7. Which is bigger: s or 5?
5
Let h(s) = -s**2 + 8*s - 13. Let o be h(5). Is 22/15 >= o?
False
Suppose 0 = 4*c - 0 - 4. Suppose -3*h + 4*s + 7 = 3*s, 3*s = 5*h - 9. Let w be 2 - (5/h - -1). Is w less than or equal to c?
True
Suppose 5*a - 10 = -b, 4*b = -0*a + 2*a + 18. Suppose -3*i - 2*u + 4 - 1 = 0, 2*i - b*u + 17 = 0. Let y be (0/(-1) - 2)/1. Are y and i non-equal?
True
Let u = -883/25102 - -3/326. Let x(t) = 2*t**2 + 103*t + 52. Let q be x(-51). Is q greater than u?
True
Let t be (1/3 - (-186)/9) + -1. Let u be ((-25)/(-15))/(t/24). Is 2 at least as big as u?
True
Let s be (4 - (-18)/(-3))*-97. Let g be s/220 + 14/(-77). Let b = g + -61/30. Is b less than 0?
True
Let m = 2671/6 + -449. Which is greater: m or -4?
m
Let y = -1272 - -1295. Suppose -5*g + 134 = 24. Is g greater than y?
False
Let s(z) = -3*z - 2. Let n(i) = 16*i + 10. Let u(y) = -2*n(y) - 11*s(y). Let b be u(5). Let l = b - 7. Is l < 1/4?
True
Let w be 2 + (-174)/30 - -3. Suppose 0 = 6*y - y - 10. Suppose 3*i - 3*v + 1 = -y*v, 5 = -3*i + 2*v. Is i less than or equal to w?
False
Let x = -17 - -10. Let b = -7 - x. Which is smaller: b or 11?
b
Suppose 2*b = -0*w - w + 26, 4*w = 4*b + 80. Suppose -w*u = -27*u. Suppose z + 0 = 3*k + 1, u = -2*k + 5*z - 5. Is k smaller than 1/8?
True
Let v = 381 - 1145/3. Which is smaller: -43 or v?
-43
Suppose -2*q + 2*a = -a - 3, 0 = q - 3*a. Suppose -2*m - 5 = -2*h + q, -m - 2 = 0. Let s(f) = -f + 2. Let p be s(h). Which is smaller: -8/7 or p?
-8/7
Let m(i) = i**3 + 4*i**2 - 9*i - 2. Let r be m(-6). Let s be 10 + -8 + r/13. Let d = -19.7 - -19.6. Is s at least d?
True
Suppose 0 = 3*x + 5*y - 46, 3*x - x - y = 35. Let t be (-50)/(-3) + 2 + -2. Is t not equal to x?
True
Let m be -7 + 1 + (-5384)/(-898). Is -1 > m?
False
Let g(v) = -17*v - 13. Let i(y) = 51*y + 39. Let l(h) = -17*g(h) - 6*i(h). Let z be l(-4). Is 55 not equal to z?
False
Let y(o) = 3*o - 27. Let d be y(9). Let n be d/21*(0 + -1)/1. Which is smaller: -3/