
y
Let u = -0.4 - -0.57. Let a = u - 8.67. Let i = 1.5 + a. Which is smaller: 1/2 or i?
i
Let w = -4939/9 - -548. Which is smaller: -1 or w?
-1
Suppose 4*k + 2 = 6*k - z, k + 5*z = 12. Suppose 4*d = 0, k*d - 9 = 2*g - 33. Let c be ((-45)/g - -3)*4. Is -2 smaller than c?
False
Let m = 3.87 - 3.97. Is 439 equal to m?
False
Let t = -21.044 + 21. Let q = -1.094 - t. Let n = q - -0.05. Is n greater than -2?
True
Let y = -28 + 80. Let t be (-2)/11 + y/44. Is t bigger than 3/11?
True
Let b = -167.94 + 103.03. Let g = b - -65. Do g and -3 have different values?
True
Suppose -9256 = 75*j - 62*j. Which is bigger: j or -713?
j
Suppose 208 = v + 3*v - 2*f, 0 = -3*v - 3*f + 138. Let y = v - 51. Is y > -14?
True
Let n be 6/(-4) - 9/(-18). Let x = -1033/11 - -93. Is x at least n?
True
Let k = 251 - 251.2. Is k >= -5.3?
True
Suppose 127*o - 125*o = -20. Which is greater: o or -4?
-4
Let d(c) = c**3 + 3*c**2 + 7*c + 104. Let i be d(-5). Which is smaller: i or 88/5?
88/5
Let m = -23677/15 + 8599/5. Let q be (-1)/2 + 279/(-2). Let v = q + m. Which is bigger: 2 or v?
2
Let k be ((-19)/(-3))/(((-12)/27)/(-4)). Let r = k + -55. Which is bigger: 22/17 or r?
r
Let t = -101.1 + 83.1. Which is smaller: 4 or t?
t
Let g = -95 - -97. Is g at most as big as 16/7?
True
Suppose 5 = 3*o - 4. Let c be (2/(-3))/(58/87). Is o less than c?
False
Suppose 4*v = n + 4, v - 3*n - 2 = 10. Let z = 39233/12 - 3259. Let j = z - 32/3. Which is greater: j or v?
v
Let o = -857.3 + 857.6. Suppose 5*m + 69 = -11. Which is smaller: m or o?
m
Let d(y) = 3 - 4 + y**2 - 3 - 3 + 2*y. Let c be d(-4). Is 1/2 <= c?
True
Suppose -b - 25 = -0*t + t, 48 = -2*b - t. Let g = -22 - b. Is g < 4/7?
False
Let d(w) = -w**3 + 2*w**2 + 2*w - 3. Let y be d(3). Let o(q) = -q**2 - 7*q - 7. Let a be o(y). Let g be (-406)/82 + (47 - 42). Is g >= a?
True
Let p be (-3)/2974*(-4)/(-3). Do 0 and p have the same value?
False
Suppose -5*q + 2*k + 9 = 0, -3*q = 2*q + 3*k - 24. Let c be (3/(-459))/((-5)/1518). Let i = 11/51 + c. Which is smaller: i or q?
i
Suppose -4*b - 5*k = -19, 5*b - 3*k = 45 - 12. Suppose b*q - 36 + 0 = 0. Is q not equal to 7?
True
Let t(c) be the second derivative of 3*c**3/2 + c**2 + 8*c. Let z be t(1). Which is smaller: z or 9?
9
Let x = 385 + -386. Is x at least 2/1287?
False
Let v(w) = -50*w - 200. Let l be v(-4). Which is bigger: l or 2/29?
2/29
Let v = 0.151 - 0.251. Is v <= -0.1?
True
Suppose 0 = 5*h - 10, h + 0*h = -4*p - 18. Let t(w) = -3*w + 7. Let u be t(5). Which is smaller: u or p?
u
Let l be (10/4)/(((-62)/24)/31). Do -30 and l have the same value?
True
Let q = 2.14 + -1.14. Is -3/56 smaller than q?
True
Suppose 4 = l + 2*l + 4*m, 5*m - 5 = 0. Suppose -5*w - 5 = l, -x - 3*x + 11 = w. Which is smaller: 5/3 or x?
5/3
Let n(d) = d + 6. Let c be n(-5). Let z(b) = -4*b. Let k be z(c). Which is bigger: -5 or k?
k
Let s be (-8)/(-220)*5 + (-9608)/572. Is -17 >= s?
False
Let r be (-28)/(-5) - 6/10. Suppose -1 = -r*g + 4. Let d be (-1 - 1) + 1 + g. Is d bigger than 1/21?
False
Let j(f) = f**3 - 5*f**2 + f - 3. Let v be j(5). Suppose -5*r + 610 = -4*t, -4*t - v*r - 594 = r. Let p be (10/t)/((-2)/(-6)). Is p > 0?
False
Let g = 9.6 + -11.6. Which is smaller: g or 62?
g
Suppose 4*z + 40 = 4*y, 0*y = -4*z - y - 50. Let u be 5*((-4)/10 - 0). Let a be 26/z - u/(-6). Is a at least as big as -0.2?
False
Let v(i) = 7*i - 5. Let m be v(1). Suppose -m*k + z + 26 = 3*k, 0 = 4*k - 2*z - 22. Is 5 > k?
False
Suppose 548 + 684 = 28*k. Which is greater: 47 or k?
47
Suppose -r - 6*k = -4*k + 4, -4*r - 34 = 2*k. Let w = 60/13 + -799/52. Is w smaller than r?
True
Suppose -9*s + 3*r = -13*s + 13, -5*r = 25. Is s greater than -6?
True
Let j = -1801/245 + -12/245. Let c = 7 + j. Is -5 bigger than c?
False
Suppose 0 = 8*b - 2*b - 606. Let g = 996791 + -32897438/33. Let p = g + b. Which is smaller: p or -1?
-1
Let a = 408 + -409. Let l = 2/233 - 476/1165. Is l greater than or equal to a?
True
Let m = -48/115 + 5/23. Which is smaller: m or 0.43?
m
Let h = -17 + 61. Suppose 3 = 5*w + 58. Let k be (-41)/36 - w/h. Which is bigger: k or -1?
k
Let k(x) = -x**3 + 11*x**2 - 14*x - 8. Let i be k(10). Let s = i + 49. Which is greater: s or 4.6?
4.6
Let f = -73 + 72.2. Is -7 > f?
False
Let k be 15/(-6)*((-72)/10)/3. Let d = 11 + -8. Which is smaller: d or k?
d
Let i be ((-18)/168)/(3 - 885/260). Which is smaller: i or 1?
i
Suppose 0 = -9*l + 703 - 379. Which is smaller: -0.3 or l?
-0.3
Let k = 0.68 - 0.08. Let m = k - 0.2. Which is smaller: m or 2?
m
Suppose -3*q + 2*q = 0. Let n be 3*(17/(1 - q))/(-1). Are -50 and n nonequal?
True
Let o be (2 - (0 - -2))*1. Let d = 2/2649 - -853/39735. Do d and o have different values?
True
Let k = 91 - 48. Suppose -37 = -3*s - k. Which is smaller: 3 or s?
s
Let w(q) = q**3 - 7*q**2 - 15*q + 57. Let y be w(8). Is 1/301 at most as big as y?
True
Suppose 0 = 5*l + 14 + 6, -4*l - 58 = v. Is -40 <= v?
False
Suppose 0 = -6*x - 58 + 544. Is 80 less than or equal to x?
True
Let c = -21 - -29. Is c not equal to 7?
True
Suppose -6*b + 414 = -222. Let d = -15580/147 + b. Which is greater: d or 1?
1
Let x = 47484/5 + -9560. Let n(k) = -k**3 - k + 63. Let d be n(0). Let g = d + x. Which is greater: 1 or g?
1
Let r(b) = -b**3 - 20*b**2 + 21*b. Let m be r(-21). Suppose 25 = 5*i, -2*i + 10 = 4*c - m. Is -2/7 equal to c?
False
Let r be -285 - (-4 + 2 - -4). Which is smaller: -288 or r?
-288
Let f(m) = -m**3 - 17*m**2 + 27*m - 76. Let q be f(-21). Which is smaller: q or 1122?
q
Let c be (2*(-1)/12)/((-6)/(-9)). Is c > 17.5?
False
Let l = -1 - -1.7. Let j = l - 1.4. Let q = -1.7 - j. Is -11 less than q?
True
Let w = -0.667 - -0.667. Is -9/2 at least w?
False
Let o be 0*(-4)/20 + 1. Is -2/155 equal to o?
False
Let g(o) = o**2 - o - 1. Let r be g(3). Suppose 0*t - r*t = 0. Is 5/7 at least t?
True
Let l be -2 + 2 - 10/36. Let k = l + -65/9. Let n = 918 - 926. Which is bigger: n or k?
k
Let t = 10 + -10.06. Let f = 42.8 + -46.74. Let v = f + t. Which is bigger: 1 or v?
1
Let m = 14 + 1. Let f = m + -19. Let s be (-2)/(-3)*3/(-1). Which is greater: s or f?
s
Let v = 793 + -97537/123. Are 0 and v nonequal?
True
Let v = -4.57 - -4.08. Is v at most 2?
True
Suppose 2*n - 4*a - 20 = 0, 3*n + 6*a - 11*a = 30. Which is smaller: n or 7?
7
Let s = 902.09 + -902. Which is bigger: 23 or s?
23
Let n(w) = -w**2 - 5*w + 8. Suppose -v + 4*v + 12 = -3*l, 4*v + 22 = -l. Let d be n(v). Let b = -284 + 1992/7. Is b >= d?
False
Let z = 373 + -516. Suppose 0 = -q + 3 - 2. Let t be q/2 + 66/z. Is 1 equal to t?
False
Let w = -224 - -224.082. Which is bigger: 2 or w?
2
Let y = 21 + -20.83. Let h = y - -0.83. Is h > -9?
True
Let z be 2 + (1 - (-3755)/(-1250)). Is z greater than 1?
False
Suppose 0 = -42*g + 60*g + 18. Are 8/77 and g equal?
False
Suppose 28 = -2*y - 2*y. Let o = -1 - y. Suppose 2*d + 14 = 5*v, v - 16 = 4*d - o. Which is smaller: d or -3?
-3
Let r be (-1)/(-24)*-6 + (-9)/(-4). Let j = 1.5 - 2. Let k = j - 2.5. Which is smaller: r or k?
k
Let j(a) = -a**3 - 7*a**2 + 12*a - 7. Let i be j(-9). Let p = -68 + i. Is -21 at most as big as p?
True
Let t(i) = i**2 + 7*i - 9. Let u be t(1). Is -9/4 at most u?
True
Let a be 2*(-4)/(-8) - -2. Let x = -9 + a. Let d be (-9 + -19)*1/6. Is d bigger than x?
True
Suppose -3*r + y - 30 = 0, 0*r + y - 48 = 5*r. Let f = 9 + r. Let l be f + 0 + 72/81. Are 0 and l equal?
False
Let c be -5 + -1 + ((-528)/(-40) - 8). Is -2 >= c?
False
Suppose 4*k - k + 15 = 0. Let l be (k/(-10))/(1/30). Let b(t) = -t**3 + 14*t**2 + 13*t + 12. Let o be b(l). Which is smaller: o or -0.1?
o
Let c(z) = z**3 + 8*z**2 - 18*z + 21. Let t be c(-10). Suppose 0 = -2*o + 2*a + 534, -711 = -3*o - 5*a + 66. Let l be (-116)/o - (-1)/2. Is l >= t?
False
Let i be (1 - -11) + (-17 - (-26 + 12)). Is i bigger than 1?
True
Let k be ((-434)/28 - 3)*(24 - 0). Is -445 bigger than k?
False
Suppose -17*m = 27*m. Is m equal to -1/386?
False
Let c = 737 - 660. Which is smaller: c or 381/5?
381/5
Suppose 4*j + 4*d = 12, -4*j = -2*d - d + 9. Let o be (-1 - -2) + (-168)/186. Which is bigger: o or j?
o
Let z = -51/55 + -6814/55. Let m = 125 + z. Let d = 2.91 + 0.09. Which is bigger: m or d?
d
Let r = -223 - -875/4. Which is smaller: r or -4?
r
Let y be (-5)/(-4) + 10*1475/40. Does y = 373?
False
Let u(t) = -18*t**3 - 6*t**2 - 11*t + 5. Let r be u(-5)