r than -12/29?
False
Let v = -1.2 - -1.2. Let j = -0.118 - 7.582. Let x = j + 8. Which is bigger: v or x?
x
Let y be (3 + 140/(-12))/((-2)/(-3)). Let w = y + 1. Suppose -2*u - 2*u = 48. Does w = u?
True
Let u(r) = r**3 - 7*r**2 - 4*r - 3. Let s be u(8). Let b be 5/(-20) + s/84. Is 1 > b?
True
Let c be (2/(-3))/((-10)/(-15)). Let n = -144 + 1588/11. Which is smaller: c or n?
c
Let s be ((-4949)/(-14) - 7) + -10. Is 338 greater than s?
True
Suppose 0 = 4*i - 302 - 78. Let v be (-13)/((-78)/552) - -4. Which is smaller: i or v?
i
Let f = 47 - 46.3. Let h = 15.7 - 13. Let c = f - h. Which is smaller: 0 or c?
c
Suppose -2*g = -5*w - 87, -55 = 3*w - 7*g + 3*g. Are w and -182/11 nonequal?
True
Let i be ((-88000)/(-4395))/10 + -2. Which is smaller: 1 or i?
i
Let i = -10421/423 + 220/9. Which is smaller: 1 or i?
i
Let v be (14/4 - 3) + 9/(-6). Which is bigger: 0.3 or v?
0.3
Suppose 0*o = 2*o + 288. Let g = -143 - o. Is 1/2 smaller than g?
True
Let o(h) = -23 + 2*h - 10 - 6*h. Let v be o(-10). Let u = 451/62 + -24/31. Are v and u unequal?
True
Let g(s) = -2*s + 4. Let b be g(6). Let u = -9 + -1. Let w be (-100)/u*(-2)/b. Is w != 4?
True
Let p = -1 + 0.9. Let i = 0.1 + p. Let m = -4659 - -4657.6. Is i not equal to m?
True
Suppose 5*j = -6*w + 3*w - 28, 2*w + 4*j = -22. Is -2/955 bigger than w?
True
Let b(m) = m**3 + 3*m**2 + 3. Let o be (-4 + 6)*9/(-6). Let r be b(o). Suppose -f + 2 = -2*d, r*d = -2*f + 3*f - 3. Do -0.1 and f have different values?
True
Suppose -2*g - 43 = -5*f - 12, -3*g = f + 4. Suppose -2*w - 2*w = 0. Suppose w*y + 20 = 4*y. Is f >= y?
True
Let x be 79681825/420 + (-4)/(-14). Let v = x + -189611. Let c = 108 - v. Is -1 smaller than c?
True
Suppose -168*z + 171*z = -21. Let r be ((-18)/46)/3 - 0/z. Is 1 <= r?
False
Let n be 130/12 + 7/42. Is n greater than -9?
True
Let g be 0/((-4)/((-4)/3)). Let c be ((-5)/(-11))/(1 + g). Which is greater: -1 or c?
c
Suppose -m + 5*x + 26 = -0, 2*m + 5*x = 7. Let z = -18 + 22. Suppose w - 52 = -z*v - 0*v, 5*v + 3*w = 72. Is m < v?
True
Let a be (7 - (-91)/(-14))*0. Are -6/41 and a non-equal?
True
Suppose 6*c = 2*c + 20. Suppose -5*s = -c*z + 50, -2*z + 12 = 4. Let m = -5 + -2. Is m greater than or equal to s?
False
Suppose -5*q = -3*f + 58, -q = 1 + 4. Suppose -j + 4*d - 41 = -f, -3*d - 16 = 2*j. Is -12 at most as big as j?
False
Let x = -1/65 + -121/585. Let p be 403/(-273) + (-1)/(-3). Which is bigger: p or x?
x
Let q = 9 - 13. Let i = q - -9. Let l be ((-3)/(-5))/(i/(-25)). Are l and -3 nonequal?
False
Let l = 892 + -841. Is 52 less than l?
False
Let t be 1 - 118/29 - (0 - 3). Let k be 1 + 222/(-145) + 0. Let a = k + t. Which is smaller: 0 or a?
a
Let g = 1152 - 902. Do g and 250 have the same value?
True
Let s = 0.03399 - 41.26399. Let n = -41 - s. Which is bigger: n or -2?
n
Suppose 5*y + 5 = -2*h + 14, 5*h = -5*y. Suppose 0 = -2*w - 3*v - 7, -v - 4 - 3 = 3*w. Which is bigger: w or h?
w
Let c be 1 + -2*(-3 - -2). Suppose 2*x + 5*b + 11 = c*x, -2*x = -2*b + 2. Let q = 1 + x. Is -3 at least q?
True
Let f(a) = a - 2. Let c be f(6). Let h = c + -3. Let g be (-94)/24 + (-8)/(-2). Is g <= h?
True
Suppose 5*o + 4*o = 54. Suppose 3*m - 10 = -5*i, 3*i - m = 4*m + o. Which is smaller: 1 or i?
1
Let z = -0.264 - -9.264. Let q = 1.5 - -8.5. Let m = q - z. Is m less than or equal to -7?
False
Suppose 436 - 370 = -6*n. Which is bigger: n or -81/8?
-81/8
Suppose 0 = -5*w + 25 - 0. Suppose 4*t - w*b - 15 = 17, -2*t - 5*b + 46 = 0. Which is smaller: -1 or t?
-1
Let y(p) = 14*p**2 - p - 8. Let d(j) = -5*j**2 + 3. Let m(t) = -17*d(t) - 6*y(t). Let s be m(-9). Let w = s - 23. Is w less than 1/2?
False
Suppose 37 = 11*k - 18. Suppose 8 = -4*u, k*u + 13 = -2*i - 1. Let g = -508 + 3031/6. Which is greater: i or g?
i
Let c(y) be the third derivative of -y**4/24 - y**3/2 + 10*y**2. Let n be c(-2). Let d = -35 - -211/6. Is n greater than or equal to d?
False
Suppose -3*u - 13 = 2*x, 3*u = -4*x - 14 + 3. Which is greater: -2 or x?
x
Let p = -97 - 22. Let r be p/17 + (-1)/(-1). Is r > -5?
False
Let u(d) = -2*d. Let p be u(12). Let k = 28 + p. Is 1 at most as big as k?
True
Suppose -181 = 8*d - 13. Are d and -22 equal?
False
Let u be (-1827)/196 + 10 - (3 - 0). Which is smaller: -1 or u?
u
Let t = 0.318 - 0.228. Is t <= 5?
True
Let n = -828 + 7462/9. Which is smaller: -5 or n?
-5
Let p(v) = 2*v + 6. Let h be p(-3). Suppose 5*t - f + 3*f - 77 = h, 33 = t - 4*f. Are t and 16 nonequal?
True
Suppose 0*k - 340 = -2*k. Let g = 316 - k. Let n = g - 1020/7. Is 0 less than n?
True
Let h be (230/1748)/(1/(-2)). Is 2/7 smaller than h?
False
Let n be (-4)/((-208)/(-39)) + 14/8. Let w = -152/3 - -52. Is n < w?
True
Let h = -25 + 27.6. Let w = 0.6 - h. Which is smaller: w or -1/13?
w
Let r be (-9 - (-666)/(-66)) + 4 + -1. Is r greater than -17?
True
Let n(o) = o**3 + 9*o**2 + 8*o + 10. Let g be n(-8). Let l be g/45 - (-4642)/(-5670). Let p = l + -2/567. Is p at most 0?
True
Let b(i) = -4*i**3 + 17*i**2 - 3*i - 2. Let o be b(4). Which is smaller: 1 or o?
1
Let r = -5 + 7. Let g(a) = -a + 2. Let l be g(-5). Suppose 3*h = 5 + l. Which is smaller: r or h?
r
Let y(v) = -v**3 + v**2 + v - 1. Let x be y(2). Let g = -91 + 353/4. Which is smaller: x or g?
x
Let v = 9376 + -9379.913. Let t = v + -0.087. Which is smaller: t or 0.3?
t
Let v = 265 - 405. Let q be (2/(-8))/(v/84). Which is smaller: 1 or q?
q
Let i(y) = -y + 16. Suppose 4*n - h = 25, 7 = 4*h - 5. Let l be i(n). Which is greater: 52/5 or l?
52/5
Suppose -4*x + 4*q = -12, -3*x + 2*q = -0*x - 8. Let k(v) = -4*v + 4. Let w be k(x). Let g be (-2)/w*(-2 + 0). Which is smaller: -0.6 or g?
g
Suppose 5*g = 4*d + 604, -5*d - 5*g - 200 = 555. Let w = d - -251. Let r be (1 - -5)*(-10)/w. Which is smaller: r or 0?
r
Let c = 1.85 + -1.8. Let z = -0.11 - c. Let d = z + 6.16. Is -2/3 greater than or equal to d?
False
Let f(n) = n + 22. Let l be f(9). Let t = 31 - l. Let j = -4 + 3. Is j > t?
False
Let i = -6816405/13528 + 4031/8. Is 1 < i?
False
Let q = 1 + -19. Let j = q - -17.4. Let o = 0.6 + j. Are o and -3 non-equal?
True
Let x = 544 + -540. Let t(b) = -b**3 - 2*b**2 + 2. Let i be t(-2). Is i > x?
False
Let b = -234 + 233. Is -3/91 <= b?
False
Let b = -30 - -30. Let d be (-1 - 1/(-2))/((-260)/(-40)). Is b at least d?
True
Let s = 306 - 306.1. Is -11.9 not equal to s?
True
Let b = 5.385 - 0.085. Let s = 5.3 - b. Does -16 = s?
False
Let w = -0.11 + -0.13. Let y = -1.96 + w. Let j = -1.8 - y. Are j and 3/4 unequal?
True
Let b = 193 - 193. Is b bigger than 7?
False
Let w = 201 + -200.9. Which is bigger: w or -50?
w
Let i(d) = d**3 - 17*d**2 + 17*d - 11. Let m be i(16). Suppose -29 = m*w - 14. Are w and -13/4 nonequal?
True
Suppose 4*d - 4*b = -96, 2*d - b = -0*d - 45. Let h(q) = -4*q + 26. Let j be h(12). Do j and d have the same value?
False
Let y(t) = 5*t + 20. Let c = -14 + 5. Let g be y(c). Let a = 21 + g. Which is bigger: -5 or a?
a
Let j be 1/2 - 94/(-8)*2. Let d = j + -21. Do 3 and d have the same value?
True
Suppose 0 = 2*b - 2, -5*x - 3*b = b - 234. Are x and 3 nonequal?
True
Let m = 8.04 - 8.44. Is -0.145 smaller than m?
False
Let y be (-1)/(-2 + 67/34). Let c be 304/(-9) + y/(-153). Which is greater: -35 or c?
c
Let q(h) = -2*h**3 + 3*h**2 + h - 2. Let v = 6 + -4. Let o be q(v). Let y be (-96)/21*1/o. Is 0 bigger than y?
False
Let b(p) = p**3 - 15*p**2 + 16*p - 25. Let o be b(14). Is o at most 2?
False
Let l(o) = -o**3 - 4*o**2 - 5*o - 4. Let n be l(-3). Let v be 1 + (0 - -2 - n). Is 2/31 greater than or equal to v?
False
Suppose 4*y + 2*o - 10 = 0, -2*y + 15 = -3*o + 6*o. Suppose -15 = q - y*q. Which is smaller: -14 or q?
q
Suppose -5*b - 69*b = -1036. Which is smaller: 25 or b?
b
Let m(i) = i**3 + 5*i**2 - 6*i - 8. Let h be m(-6). Let l(c) = 4*c + 144. Let u be l(0). Let v = 718/5 - u. Which is greater: h or v?
v
Let k = -1/2 - 1/10. Let v = -4 - -3.97. Let h = v - -0.13. Which is greater: k or h?
h
Suppose -2*c - 2*c - 12 = 0. Let k be (c/7)/((-15)/(-10)). Let d be 4/(-3)*6/(-20). Which is bigger: k or d?
d
Let x = 85/273 - -2/91. Is x > -0.69?
True
Let g = 4 - 0. Let p be 0/((-12)/g*1). Which is bigger: p or 4?
4
Let k be (-2)/(1 - -1 - 3). Suppose 27 = k*m + m. Let v = m + -16. Is -7 less than or equal to v?
True
Let w be -4*7/((-70)/(-15)). Let g be w/29*1/4*1. Which is bigger: g o