. Let k be 25/(-10)*4/(-5). Suppose -k*m + 4 = -m. Are m and v nonequal?
True
Let y = -0.0467 + -0.1533. Is y greater than or equal to 0.05?
False
Let s = -2775 - -19277/7. Which is bigger: s or -21?
-21
Let i = 1822 + -967. Let l = -278046 - -3625719/13. Let g = i - l. Which is bigger: 0.1 or g?
0.1
Let n(x) = -2*x**2 + 2. Let v be n(-1). Suppose v*q - 8*q - 24 = 0. Is -35/8 at least as big as q?
False
Suppose -7*u - 271 = -285. Let n = 0 + -4. Let a(l) = l + 5. Let r be a(n). Which is bigger: u or r?
u
Suppose 2*u + 80 = 60. Which is smaller: u or -7?
u
Let k(z) = -z**3 + 6*z**2 - 2*z + 4. Suppose -30 = -3*u - 3*m, -2*m = 3*u + 5 - 31. Let i be k(u). Let h be ((-60)/i)/3*6. Do 14 and h have the same value?
False
Let s = 222.95 - 223. Which is greater: s or -13?
s
Suppose 3*p = 4*r + p - 32, -4*r + 5*p = -38. Suppose t = -3*t - 5*h + r, -2*t + h + 7 = 0. Let m be 0/(t + (4 - 6)). Which is bigger: 1 or m?
1
Suppose 7 = 3197*k - 3204*k. Is 22 at least as big as k?
True
Let v(g) = 4*g**2 + 25*g + 7. Let r be v(-6). Which is smaller: 9/47 or r?
9/47
Let l = 25/72 - 2/9. Suppose 10*m - 2*m = m. Are m and l equal?
False
Let o = 74 - 71. Let z be ((-1)/(-2)*(-1 + o))/1. Is 7/10 at least z?
False
Suppose 0 = -2*b - 4*s - 6, 0 = 2*b - s - 3*s + 14. Let w be 1524/30*b/(-6). Let l = w + -43. Which is smaller: l or 6?
l
Let x = -12.8 - -13. Let s be 9/(-9) - (-1)/(-7). Which is smaller: s or x?
s
Let h = -314 + 314. Which is smaller: -30/43 or h?
-30/43
Let o be (-34)/(-255) - (746/(-30) - 2). Let c be ((-156)/8)/((-3)/4). Is o at least as big as c?
True
Let f = 53 + -743/14. Let x be (-33)/11 - 3*-1. Which is bigger: f or x?
x
Let j = 1709 - 1893. Is -184 at most j?
True
Let x(d) = -10*d**2 - d + 4. Let t be x(-3). Let s = -55 - t. Suppose 0 = -3*u - s + 4. Are u and -8 equal?
True
Let b(z) = 19*z + 135. Let d be b(22). Is d bigger than 552?
True
Let f(p) be the third derivative of 0 + 0*p + 4*p**2 + 1/24*p**4 + 0*p**3. Let w be f(0). Is w > -1/4?
True
Let h be 4 + (-2)/2 + -6. Suppose 4*p = 21 + 15. Let w(r) = r**3 - 9*r**2 - 4. Let v be w(p). Which is smaller: v or h?
v
Let z = 5 - 15. Let o = z + 11. Let x be (3/(-39))/(1/(-3)). Which is smaller: x or o?
x
Let z(f) = -9*f + 81. Let n be z(9). Are 1/485 and n equal?
False
Let t(j) = -j**3 - 2*j**2 - 2*j - 1. Suppose 5*b = 6*b + 2. Let v be t(b). Suppose -2*w + x = 3*x, v*x + 6 = 0. Which is smaller: 3 or w?
w
Let m be 3 - 10 - 3917/(-559). Which is greater: -1 or m?
m
Suppose 6*y - 24 = 144. Is y at most as big as 2?
False
Let w be -85*(-3)/(3*-2)*-2. Let b = 936/11 - w. Is b < 1?
True
Let l be -7 + -4 + 2 + -2. Let u be 12/4 + (3 - 22). Let v = l - u. Is 4 bigger than v?
False
Let m be (16/(-4) - 0) + -992. Let c = m - -50794/51. Which is smaller: 1 or c?
c
Suppose -3*p - 19 = 4*g + 49, 0 = 3*p + 2*g + 58. Let t be p/(-6) - 20/30. Suppose -m - 36 = t*m. Is m at most as big as -13?
False
Let x be (14/(-28))/((-1)/22). Suppose 2*p = x + 7. Let s = -18 - -26. Is p less than or equal to s?
False
Let q = -518 + 518.2. Let v = -0.11 + -3.39. Let y = v - -4. Which is smaller: q or y?
q
Let r = 95.698 + 0.302. Is 1 greater than r?
False
Let f be -3 - -6 - (4 + -5). Let j be 3*(1 - 5)/f*-1. Which is greater: j or 4?
4
Let i = -574 - -292. Is i smaller than -283?
False
Let j = 147736 + -3248939/22. Let n = j - 57. Which is smaller: n or -1?
-1
Let f be 36 + -6*(-4)/(40/(-5)). Which is smaller: f or 31?
31
Let s = 168.4 - 32.4. Is s >= 1?
True
Suppose 0 = -4*y + 6*y + 8. Let d(z) = -z**3 + 4*z**2 - z. Let o be d(4). Is o less than or equal to y?
True
Let t be -3 + 14*3/(-6)*-1. Suppose -t*p - 2*p = 30. Is -11 smaller than p?
True
Suppose -5265 = -k + 14*k. Do k and -406 have the same value?
False
Let j = -0.1934 - -0.0434. Is -60 at least as big as j?
False
Let q = -0.1 + 0.2. Let u = 561 + -554. Are u and q nonequal?
True
Let i = 347 - 314. Is 31 not equal to i?
True
Let n = 3021/2 - 2721919/1802. Is n at most as big as 0.1?
True
Let n = 94.65 + -94. Let v = 0.55 - n. Which is bigger: v or 23?
23
Let j = -226 + 209. Is -53/3 smaller than j?
True
Let p(i) = i**2 - i + 1. Let h(j) = -3*j**2 + 3*j - 5. Let g(x) = h(x) + 4*p(x). Let o be g(1). Let y = 253 - 2781/11. Which is bigger: o or y?
y
Let v be 3*(-92)/(-456) - 4/38. Which is smaller: v or 60?
v
Let f = -63 + 29. Let o = f + 49. Is 15 equal to o?
True
Let u = -2 - 0. Let q = u - -4. Let i be 19/33 - q/3. Which is smaller: i or 1?
i
Let u(s) = 208*s + 2914. Let i be u(-14). Let v = 1832 - 20138/11. Which is smaller: i or v?
v
Let c = 808 - 808. Which is smaller: 14/25 or c?
c
Let c = -359 + 337. Is -19 at most c?
False
Let k be 12*-6*(-2)/(-42) + 3. Let b = -1 + 0. Are b and k unequal?
True
Let c = 79.1 - 85. Let t = c - -6.9. Is -2/17 greater than t?
False
Let w be 2/(-3) - (-128)/336. Do 3.6 and w have different values?
True
Let n = 10 - 12. Let d(t) = -2*t - 1. Let m be d(n). Is 0.3 less than or equal to m?
True
Let x = -25.983 - 0.017. Let l = -27.4 - x. Which is smaller: 1 or l?
l
Let h be 2/8 + 21/(-36). Let o = 2.64 - 2.7. Is h > o?
False
Let c be 136/10 + (-66)/55. Which is smaller: 12 or c?
12
Let d(t) = -t**3 - 8*t**2 + 5*t - 13. Let w be d(-9). Let v = -23 + w. Is v less than -11/9?
False
Let u = -2.8 - -3.9. Let q = -5 - -6.4. Let h = u - q. Is -2/13 at most as big as h?
False
Let d(n) = 10*n**2 + 50*n - 8. Let t be d(-5). Is -16 at most t?
True
Let j = 261 - 217. Let h = -12.1 + 12. Which is smaller: h or j?
h
Suppose 111 = 4*a - 265. Let f = a - 54. Let o be (-3)/(-36)*f/6. Which is greater: 1 or o?
1
Let t(z) = -8*z**3 - 2*z**2 - 3*z - 2. Let w be t(-1). Suppose 0 = -w*i + 8*i + 1. Which is smaller: i or -5?
-5
Let o = -5689/3 - -1875. Which is smaller: 3 or o?
o
Suppose 0 = -6*v + 2*v - 16. Let a be 5 + (-8)/v + 2. Suppose 2*l - l - a = 0. Is 8 at most as big as l?
True
Let w be (-8*(-9)/(-540))/((-53)/10). Which is smaller: w or 1?
w
Let f be ((-16)/(-6))/(3/(-9)). Let t = f - -6. Are -3 and t non-equal?
True
Let h be 2/6*3/(-1). Let g = -640 + 667. Is g less than h?
False
Let q = 0.017 + -10.017. Let u = q + 11.3. Which is greater: u or 2?
2
Let t = -1/2546 + 3709529/17822. Let i = t + -209. Is i greater than or equal to -1?
True
Let g = 3/248 + -7537/582056. Is g less than 1?
True
Let y = -127 - 1. Is -126 equal to y?
False
Let i be (-4565)/(-166)*((-8)/(-5))/2. Which is bigger: 21 or i?
i
Let f be ((-14)/(-231))/(2/(-6)). Is -60 greater than or equal to f?
False
Suppose -358 = 6*i - 3442. Is i not equal to 514?
False
Let q be (174/4 + 0)*(7 + -5). Which is greater: -1 or q?
q
Let x = -11 + 8. Let u = x + 4. Are 8/7 and u non-equal?
True
Suppose 0 = -6*n - 9*n - n. Which is bigger: 3/5 or n?
3/5
Let c be (-4)/(-10) + 2/(-5). Suppose c = -0*n - 5*n. Suppose 30 = -408*r + 418*r. Is r greater than n?
True
Suppose -2*y + f + 39 - 33 = 0, 0 = 3*y - 2*f - 10. Which is smaller: 21/25 or y?
21/25
Let a(b) = -b**3 + 7*b - 1. Let f be a(-4). Is f < 35?
False
Let d(k) = k**3 - 5*k**2 - k. Let l be d(5). Suppose -10 = -4*m - g - 27, -5 = 5*g. Is l at most m?
True
Let d = -1047 + 4189/4. Which is smaller: d or -305?
-305
Let l = -4111 - -4094.07. Let r = l - 0.07. Is 2 bigger than r?
True
Let l = 38 + -34. Suppose 5*j + l = 9. Is j at least as big as -2/265?
True
Let d = 107 + -59. Which is smaller: 0.2 or d?
0.2
Let d = 19 + -18. Let j be d*(1 - (4 + 8)). Let a = 9 + j. Which is smaller: 0 or a?
a
Let a = -0.72 - 191.28. Which is smaller: 0.2 or a?
a
Let z be -2 + 0 + 60/26. Let u = -71 - -92. Let o = 22 - u. Which is smaller: z or o?
z
Let s = -40 + 37. Let r be (-51)/(((-27)/(-2))/s). Which is smaller: r or 11?
11
Suppose -4*f - f - 4 = -l, 0 = l - 3*f - 6. Suppose -l + 1 = -8*m. Let h = 33 + -22. Which is smaller: h or m?
m
Let k be 706*(-65)/7644 + (-6)/(-1). Is k > 1?
False
Let a = 4/1251 - 5842/1251. Suppose 5*y - 69 = -19. Suppose -4*r + y = -6*r. Is r less than a?
True
Let c = 7.7 + -49.7. Let z = 41.7 + c. Let b = 0.2 + -1.2. Is b >= z?
False
Let w = 79.6 - 73. Let g = 6.7 - w. Is g <= 2?
True
Let v = -2.299 + 6.299. Let a = 1 - 3. Which is smaller: v or a?
a
Suppose 40 = 5*f - 5*q, -f + 3 = 2*q - 4*q. Let a be 10/(-65) - 440/f. Which is bigger: -35 or a?
a
Let o be -2 + 0 - (-2320)/(-130). Let d = -15235/767 - o. Is d less than or equal