Let x = 39/2 + -20. Which is greater: t or x?
t
Let y = -3.23 - 1.77. Which is smaller: 1.7 or y?
y
Let f be (8 - 4280)/(-12) - (-2)/(-1). Which is smaller: f or 355?
f
Let h be (4 - -2)*1/3. Let w be ((-32)/(-12))/8 - (-53)/21. Is w < h?
False
Let s = 31 + -27. Suppose -199 + 75 = -s*i. Is i less than 31?
False
Suppose 0 = -n - 3*n + 4. Let u be 8/7095*(-1140)/(-12). Let c = 2/43 - u. Which is smaller: c or n?
c
Let j be ((-36)/(-14) - 2)*7. Suppose j*t - 51 = 2*f - 5*f, -4*t + 2*f + 46 = 0. Let a be (-8)/t*3/(-8). Is 0.3 smaller than a?
False
Let j be (-4)/(-22) + (-121848)/(-297). Let w = j + -411. Is w smaller than -1?
False
Let m = 542 - -799. Which is smaller: 1342 or m?
m
Suppose 0 = -g - 0*g - 2*i + 10, 5*g = 2*i + 2. Suppose -2*b = g*b. Suppose b = 3*u + 2 + 22. Which is bigger: u or -7?
-7
Suppose 2*g - 5*q = -q + 232, -3*g + 313 = q. Let i be g/10 - (-10)/25. Which is bigger: i or 13?
13
Suppose -8*h - 13 - 3 = 0. Let u be h + 2 + (3 + -3)/1. Which is bigger: 5 or u?
5
Let k = 58 - 48.7. Let g = k - 0.3. Let c = -0.1 + 2.1. Which is greater: c or g?
g
Let b be 0/(-2)*12/24. Let w be b + (20/(-165))/2. Is 0 < w?
False
Let j be 8/(-60)*-3*(-15)/(-2). Suppose -2*h + d + 7 = 2, 0 = d + 1. Let l be (0/h)/((-6)/j). Which is greater: 3/2 or l?
3/2
Let v = -16.45 - -0.45. Let i = 12.4 - -0.6. Let j = i + v. Is 2 < j?
False
Let x be (-274)/959 + 29/518*22. Do x and 2 have different values?
True
Let c(x) = -4*x**2 - 8*x + 13. Let d be c(-3). Which is greater: 1/420 or d?
d
Let z = 16 + -14.9. Let g = -1.1 + z. Is g less than -0.005?
False
Let x = 1.13 - 0.73. Which is bigger: x or 0?
x
Let l be (-2 - -3) + 1509/(-9). Let f = -169 - l. Which is greater: f or -1?
-1
Let y(c) = -31*c - 105. Let d be y(-6). Which is bigger: d or 80?
d
Let l = -134 - -138. Let z = 7 + -3. Is l less than or equal to z?
True
Let v = -0.55 - -25.55. Let j = -25.03 + v. Which is smaller: -2 or j?
-2
Let l be 2 - (0 + 2)/2. Which is greater: 1/64 or l?
l
Suppose -3*m - 337 = f, -5*f + 445 = -4*m - 2*f. Is m >= -112?
True
Let g = 5.15 - 5.34. Let n = 0.8 + 0.2. Is g greater than n?
False
Let o = 20812/2037 - -20/291. Is o <= 10?
False
Let f be 0 + 1 + (0 - 21). Let o be -1*(-5)/f - 29/44. Which is smaller: -2 or o?
-2
Let o = 30 - 26. Let a be o - (-75)/(-20) - 0. Do a and 1 have the same value?
False
Let h = 3.2 - 5.2. Which is smaller: -16 or h?
-16
Let h = -675853 + 27031727/40. Let o = -296/5 - h. Is o <= 2?
True
Let l(z) = -2*z + 9. Let g be l(1). Is g <= 8?
True
Suppose 5*y + 5*s - 230 = 0, -5*s + 0*s + 189 = 4*y. Let p = 41 - y. Let j be (-2 - 1)*(-3)/(-9). Which is smaller: j or p?
j
Let a be 2/(-2) - (-170)/180. Let m = -40 + 39.7. Which is smaller: a or m?
m
Let r = 1.9 + -1.72. Let z be 3/(-10)*20/15. Is r greater than or equal to z?
True
Let z(n) = -n**3 + 3*n**2 + 2*n - 3. Let x be z(3). Let u be (29 + x)*(0 + 2). Let y be 1 + 4/(u/(-20)). Which is greater: y or -1/19?
-1/19
Suppose 0 = -5*i - 2*h + 315, -14*i + 5*h - 315 = -19*i. Does 63 = i?
True
Let u be 14/3*(-30)/(-7). Suppose 5*b = 10*b + u. Is b equal to 1?
False
Suppose -4*g - 18 = -5*d, -2*d - g = 3*g + 4. Suppose d*w - 10 = -0. Suppose w*s - 4*s = 0. Is s < 0?
False
Let x be 0 + 3 + -1 + -2. Suppose 0 = 3*g + c - x*c + 316, -16 = 4*c. Let m be (13 - 11) + g/51. Which is smaller: -1 or m?
-1
Let y = -149 - -3723/25. Let t(l) = 50*l + 697. Let x be t(-14). Is y < x?
False
Let i = 0.027 - -1.053. Let t = i - 0.98. Let c = -0.01 + -1.99. Which is smaller: c or t?
c
Let c = -4930/21 - -704/3. Let l = -1.6 + 2. Let z = l + -0.2. Which is smaller: c or z?
c
Let s be -5 + (0 - -11) - 11. Which is greater: s or -12?
s
Suppose s - i - 114 = 0, -5*s - i - 2*i + 578 = 0. Suppose -s = 5*l + 35. Are l and -30 equal?
True
Let d = 25 - 39. Let p be (-1)/((-2)/(-4 - d)). Is p less than or equal to 4?
False
Let x = -0.165 + 0.195. Let o = -2 + 1.95. Let y = o + x. Which is greater: 1/2 or y?
1/2
Let y = -0.01 - -6.01. Let q = -10374.05 - -10374. Is q at least y?
False
Let x = -15.739 + -0.061. Let f = -0.2 + x. Which is bigger: -1 or f?
-1
Let f be -5*((4 - 1) + -2 + 1). Let m(z) = z**3 + 10*z**2 + z + 4. Let b be m(f). Is b greater than or equal to -5?
False
Let i = 922 - 920. Let a = -15 - -25. Which is bigger: a or i?
a
Let y be 32/(-85) - (-2)/10. Let v(k) = 2*k**2 + 90*k + 88. Let w be v(-44). Is y greater than or equal to w?
False
Suppose -5*n = -0*n + 3*w - 51, 4*w + 37 = 5*n. Let d be (-219)/(-135) - n/(-15). Which is bigger: 3 or d?
3
Let f(d) = d**3 - 7*d**2 - 17*d - 10. Suppose -4*x = -10*x + 54. Let r be f(x). Which is greater: -3/11 or r?
-3/11
Let j(h) be the first derivative of -8*h**3/3 - h**2/2 + 6. Let b be j(-1). Let g = -5 + 4. Which is bigger: g or b?
g
Let f = -16 + 15.95. Let q = f - 0.03. Let y = -2.08 - q. Is -3 less than or equal to y?
True
Let c = -64051/23 + 2785. Which is greater: c or -0.5?
c
Suppose 6*i - 20 = 3*i + 5*r, 4 = 5*i - r. Let x(g) = g**2 - g + 5. Let k be x(i). Which is smaller: -4 or k?
-4
Let d = -64.926 - 0.074. Let n = -91 - d. Let l = 46 - 45. Which is smaller: n or l?
n
Suppose 2 = 2*x + 6. Let z(y) = -y + 7. Let h be z(6). Let m = h - x. Is m equal to 3?
True
Let w be (-46)/(-12) + (-1)/(-6). Suppose 0 = w*t - t. Let f = t + 0. Is f > 1/2?
False
Let c = -243 + -219. Let x be (-137)/c - (-1)/7. Let i = 5/22 + x. Which is bigger: i or -0.2?
i
Let o be (-5)/(-20) + 617/(-4). Let n be 2/6 - o/33. Suppose -n*y + 3*w = 2*w + 1, -4*w = -5*y + 11. Are -6/13 and y non-equal?
True
Let h be (-4286)/88*1 + (-6)/(-24). Let w = h + 49. Which is greater: 7 or w?
7
Let b = 924 + -926. Which is smaller: 1/11 or b?
b
Let b = 2.9049 + 0.0951. Which is smaller: b or -91?
-91
Let o(r) = -r**2 + r - 1. Let n(s) = 6*s**2 - 10*s + 10. Let d(b) = -n(b) - 5*o(b). Let j be d(4). Let a be 1*-8 - 2496/(-320). Is j >= a?
False
Let v(l) = 12*l + 53. Let p be v(-20). Which is smaller: -188 or p?
-188
Suppose -9 = -t - 4. Suppose -4*u + t*l = -135, -3*u + l = -l - 96. Is u not equal to 31?
True
Suppose -8 = -s - 18. Let d be s/4*(-4)/(-5). Are d and -6/7 non-equal?
True
Let c(o) = 18*o. Let n be c(1). Suppose 3*y = 5*y + n. Let d be y/(-60) - (-2)/(-5). Which is smaller: 0 or d?
d
Let i be (18/(-27) - -1)*(-15)/10. Let y be (3/(-2))/((-6)/8). Let g be y/6 + 7/(-12). Is i less than g?
True
Let x be 10/3 + -2 + 8/12. Let k = -24/95 - -2567/760. Do x and k have the same value?
False
Let c = -4.64 - -5.7. Let n = c + -0.96. Which is smaller: n or 1?
n
Suppose -33*c + 38*c + 10 = 2*n, 3*c + 6 = 4*n. Let v be ((-2)/(-34)*-1)/(-1). Are v and n non-equal?
True
Let j be 8 + 2484/(-308) + 9/21. Let m(d) = -d**2 + 3*d. Let z be m(3). Which is bigger: j or z?
j
Let p(c) = -3*c**2 + 16*c + 175. Let w be p(-17). Does -965 = w?
False
Let b = 10 + -11.2. Let w = b - -1.2. Let t = w - 1. Is t not equal to 2?
True
Let r(g) = g - 4. Let s be r(2). Which is smaller: s or -155?
-155
Let p = -5 + 8. Suppose i + 9 + p = 0. Let x = -36 - -36.1. Is x > i?
True
Suppose 5*a = -4*r - 473, 267 = -2*r + 4*a + 37. Are r and -117 equal?
True
Let j = -318/65 + -4/13. Let u = j - -109/20. Are u and 0.1 unequal?
True
Suppose -3*q - 23 = 5*r, 2*q - 5 = 2*r - q. Let t(k) = -k - 3. Let x be 16/(-4) - 2*-2. Let u be t(x). Do r and u have different values?
True
Let w be -7 - 3/6*6. Let r be ((-8)/(-10))/(4/w). Let q be 0 + 4*(r + 1). Do q and -4 have different values?
False
Suppose 18 = 2*l - 16. Let k(p) = -3*p**2 + p**2 + 14 - 2*p**2 + 3*p**2 + 16*p. Let u be k(l). Is -4 greater than u?
False
Suppose -5*t - p + 232 + 195 = 0, -2*p = 3*t - 259. Does 2 = t?
False
Let v(y) = y**2 - 2*y + 2. Let o be v(3). Suppose 4*n - 1 + 17 = 0, -o*n - 20 = 2*z. Suppose 7 + z = -i. Which is smaller: i or -6?
i
Let k(w) = w**2 - 12*w - 98. Let y be k(-13). Which is smaller: 2 or y?
2
Suppose 0 = -8*w + 6*w + 40. Let t = w - 20. Let s = -2 + 1. Is s greater than or equal to t?
False
Suppose 3*x = 4*x - 4*q - 18, 4*x = 3*q + 98. Let p = x - 78. Do -52 and p have the same value?
True
Suppose -y + 4 = -3. Let c be 147/(-42)*(-4)/y. Is c smaller than -1?
False
Let q = 33 - 56. Let u = 23.3 + q. Are -2 and u unequal?
True
Let s = 267 - 267. Which is greater: 1/63 or s?
1/63
Let x = -0.03 - -14.03. Let s = -4 + x. Let h = 9.9 - s. Is -1 != h?
True
Let h = 