- 1. Let i be t(6). Let j = -23 + i. Is j equal to -1/3?
False
Let w = -12 - -11.84. Let u = 0.06 + w. Let s = u + -0.1. Do -4 and s have different values?
True
Let o = -355/26 + 27/2. Let n = 832 - 831. Which is smaller: n or o?
o
Suppose -6*s = -s + 20, 2*s - 57 = 5*f. Let j = f - -13. Suppose -3*r + 7*r + 4 = j. Which is greater: r or 0?
0
Let m = 9.11296 + -0.11296. Suppose -h - 2 + 0 = 0. Is h not equal to m?
True
Suppose -592 = -4*h - 5*y, -5*y - 165 + 471 = 2*h. Let m = h - 1289/9. Is 1 less than m?
False
Let v(d) = -d**2 + 10*d - 15. Let u be v(5). Let z = 0.29 + -0.09. Which is greater: u or z?
u
Let y(d) = 5*d**2 - 40*d - 3. Let f be y(8). Does f = -4?
False
Let w be (-4 - (-35)/14) + (-578)/4. Are w and -148 equal?
False
Let f = -0.27 + 0.204. Let n = f + 0.006. Is n smaller than -2/5?
False
Let k be ((-2 + 2)/4)/1. Let r be 4 + 1 - k - 103. Is -98 greater than r?
False
Suppose -7*n + 874 = 300. Let x = n - 81. Is x at most 1?
True
Suppose 0 = 3*h - 332 - 262. Let w be 1/(1/h*2). Let n be (w/220)/(6/4). Is n equal to -1?
False
Let k = -1416 - -264796/187. Is -1 != k?
True
Let j be (-1)/3*1 + 92/(-138). Let t = 2/7 + 20/77. Which is smaller: j or t?
j
Let x = 663 + -835. Is x < -169?
True
Suppose 3*i = 5*m + 14, 0 = -i + 2*m - 0*m + 5. Suppose 4 = -2*z - 5*n, -2*n = -i*z - 2 + 15. Suppose 2*y = -z*y - 5. Is y equal to 1/6?
False
Let x(s) = -2*s - 21. Suppose 11 = -4*m - 3*v - 31, 0 = m - v + 14. Let y be x(m). Is y greater than 13/5?
True
Let l be (-2)/(-3) - (-25)/3. Suppose -y - 3*g + 15 = 0, 4*y + 0*y - 5*g - 26 = 0. Let b = y - 2. Is b equal to l?
False
Let l = 1078 + -2295. Is l at least -1217?
True
Let t = 21/85 + -533/2295. Is t >= 0?
True
Let o = 2155481/891710 - 553/230. Let v = o - 139841/922726. Let h = v - 5/34. Which is smaller: h or 9?
h
Let u = -886/5 - -176. Let o(x) = 4*x**2 - 2*x - 2. Let t be o(-1). Suppose -y - 12 = -5*y - 3*v, y + t*v - 16 = 0. Is y smaller than u?
False
Suppose -l + 2*t = 0, -2*t - 15 = -5*l - 39. Let y be (78/(-12) - l)/((-2)/44). Which is smaller: y or 8?
8
Let z = 4524 - 58856/13. Is -4 not equal to z?
True
Let c = 60 - 60. Is c at least -2/115?
True
Let m = 59 + -57.32. Let k = -0.68 + m. Does -40 = k?
False
Let x be -54*16/(-1056)*10/(-6). Suppose 0 = -3*l + 5*l. Is x equal to l?
False
Let o be 2/(-5*1/1). Let q(t) = -t**2 + 8*t - 8. Let h = -13 - -20. Let s be q(h). Is o at most s?
False
Let h(z) = 3*z - 6*z + 2*z - z**3 + 4*z**2. Let u be h(4). Let b be 1*33/(-15) - u. Are 2 and b non-equal?
True
Let f(y) = 18*y**2 - 6*y + 4. Let s be f(2). Do 65 and s have different values?
True
Let f(r) = -r - 2. Let u be f(-2). Let s(t) = -74*t**2 - 6*t - 4. Let j be s(4). Let p = j - -54538/45. Is p equal to u?
False
Suppose -2*x = -6*x. Let q = -6 + 10. Suppose 0*d + 5*d + 5*u - 5 = x, q*d + 3*u - 8 = 0. Is d at most 5?
True
Let h = -21 - -24. Let y be ((-1)/h)/(245/(-60) + 4). Let z = -3 - -3.2. Are y and z equal?
False
Let d = -162.9 + 163. Suppose -3*k - 2 = 25. Is d greater than k?
True
Let o = -7 + 5. Let r be 16/(-4) + 2/(-2). Let a be (-4)/(8/r) + -3. Which is smaller: a or o?
o
Suppose 2*z - 448 = -x, 5*x = x + 2*z + 1792. Let h be ((-4)/(-10))/(x/(-400)). Is -1 <= h?
True
Suppose 0 = k + 4*n - 11, -3*n + 2*n = -5*k + 34. Let o = k + 0. Let z(j) = j**2 - 8*j + 5. Let r be z(o). Are r and -3 equal?
False
Let o(y) = -10*y - 22. Let j be o(0). Does j = -83/4?
False
Let s be 29/(290/12)*(-110)/(-8). Which is smaller: s or -3?
-3
Let t(m) = 4*m + 13. Let w be 9/(-6) - (-11)/2. Let s be t(w). Let o = 69 - 40. Is o equal to s?
True
Let c be ((-3)/(-4 + -2))/((-1)/(-12)). Let n = 12 - c. Let r(g) = -g**3 + g**2 + g + 6. Let a be r(0). Is n at most a?
True
Suppose -47*b = -55*b - 8. Is 9/124 at least b?
True
Let m = 71 - 72.58. Let l = -0.82 + m. Which is greater: 1 or l?
1
Let r = 1538 - 1914. Which is smaller: -373 or r?
r
Let i be 69/115 - 5606/10. Let o be (4/(-5))/(32/i). Is o less than or equal to 13?
False
Let b = -16 + 0. Let q = b - -16. Suppose q = -5*z + 31 - 1. Which is smaller: z or 7?
z
Let k = -919/1190 + 26/35. Which is bigger: -1 or k?
k
Let k = 342 + -342. Is -7 smaller than k?
True
Suppose 0*m - 4*m = -z - 32, -19 = -3*m + 2*z. Suppose -11*y + m*y = -84. Let j be 19/21 - 24/y. Is j at least as big as -9?
True
Let l(j) = -2*j**2 + 10*j - 8. Let y be l(4). Let q be (273/141 + -2)/(-5). Let m = q + 413/4465. Which is smaller: m or y?
y
Let o be 1*(-3 - 136/(-44)). Let c be 142/(-213) + 2/(-6). Is c at least o?
False
Let o = 79 - 41. Let s = -37 + o. Which is smaller: 0.4 or s?
0.4
Let g(c) = c + 2. Let t be g(3). Suppose 4*n + t*m = 14, 4*n - m - 2*m = -2. Suppose 0*s = 3*s - z + n, -4*s - z = -8. Is 1 at least s?
True
Let v(h) = -9*h - 59. Let m be v(-4). Which is bigger: m or -7?
-7
Let l(s) = 163*s + 180. Let v be l(-2). Is v less than or equal to -144?
True
Let y be 8/20 + (-64)/210. Let r be -7*6/(-84) + 0. Which is greater: r or y?
r
Let h be -2*1 + (-136)/(-66). Let m(n) = -n**3 - 3*n**2 - 4*n + 1. Let q be m(-2). Suppose -5*b + 2*d = -11, 3*d + 13 = -b + q*b. Which is smaller: b or h?
h
Let s = 32 - 126. Is -94 equal to s?
True
Let t be 13/(-65) - 211/(-5). Is 41 > t?
False
Suppose 0 = -19*r - 6*r + 25. Which is bigger: r or 11/30?
r
Let s be (-6)/27 + 8/36. Suppose -2*n + 8 + s = 0. Suppose -3*x + 5*x = a + 2, 4*a = n*x - 8. Which is smaller: x or -3/10?
-3/10
Let t be (-1 - (-21)/12)/(675/400). Suppose 3*w + 5*n = -2 + 30, -3*w = -n + 2. Is w less than or equal to t?
False
Let m be (0*(-5)/20)/(-2 - -1). Suppose -4*w + 6 = -2*q, 3*w + 4*q - 3 + 15 = m. Which is smaller: 0.4 or w?
w
Let o be 0*(3 + 0)/(-6). Let h = -2 + o. Let y be 13/(-114) - h/12. Do y and -1 have different values?
True
Let l be (-196)/192 + (2 - 1). Suppose -3*m = 5*r - 6*r - 8, 5*m + r - 24 = 0. Suppose 2*v - 4 = 3*s, 0 = m*s + s + 3*v - 6. Is l smaller than s?
True
Let q = 7/48 + 23/48. Which is greater: q or 1?
1
Let t = -8.5 + -27.5. Let a = t - -37. Let l(k) = 2*k**2 - k - 1. Let p be l(-2). Is a >= p?
False
Suppose -82 = 5*a - 2*p, p + 36 = -2*a + 5*p. Suppose 2 + 23 = 5*w. Let u be w*3*(-3 - -2). Is a greater than u?
False
Let z = 1924.968 + -1916. Let u = z - -0.032. Is u greater than 1?
True
Suppose 0 = y - 14. Let w be ((-11)/(-6))/(y + -13). Is 1 < w?
True
Suppose -3*f + 15 = -4*t, 0 = -2*t + 2 - 8. Let c be (8/(-16))/(f/24). Is c equal to 0?
False
Suppose 0 = w - 3*d - 8, -7*w + 16 = -2*w - 3*d. Let a be w/((8/(-11))/(-4)). Suppose -j = -5*g + 2*g - 11, 0 = 2*g + 3*j + a. Is g bigger than -3?
False
Let o = 166 + -167. Is 17 at most as big as o?
False
Let n = -2 + -11. Let d = 13.18 + n. Let a = d - -0.02. Are -0.7 and a nonequal?
True
Suppose 8 = 8*m - 6*m. Let r(i) = 4 + 2*i - 3*i + 4*i - 4*i. Let u be r(0). Does m = u?
True
Let b = 2.4 + -2.77. Let m = 72 - 71.73. Let v = m + b. Is v less than or equal to 2/3?
True
Let k = 3.2 - 3. Let j = k + -0.2. Let i = 362 - 361.9. Which is greater: i or j?
i
Let v = 0.2 + -5.2. Let d = v - -19. Let k = d - 14.1. Which is bigger: k or -1/5?
k
Suppose 3*c - 104 = -101. Is c bigger than 2/2291?
True
Suppose -5*u - 214 = y - 2*y, 0 = u + y + 38. Is u < -23?
True
Let g be (-7)/11 - (-3 - -2). Let c be (16/20)/(3/(-15)). Let j be (-3 - 1 - c)/2. Which is smaller: j or g?
j
Let g be (-34)/119 + (-432)/(-1365). Which is greater: -1 or g?
g
Let q be (-2)/2*7*5. Let u be (-2)/8*4/q. Let j(r) = 291*r + 1. Let n be j(0). Do n and u have the same value?
False
Let m be 28 - 2/((-10)/15). Which is bigger: m or 32?
32
Let a = -14 - -16. Suppose -2 = a*s - 4*l, 2*l + 0 = -5*s - 5. Which is bigger: s or 0.1?
0.1
Let j(n) be the third derivative of -n**6/120 + 11*n**5/60 + n**4/24 - n**3/6 - 5*n**2. Let v be j(11). Which is smaller: v or 8?
8
Let r = -684 - -7518/11. Suppose -2*w + 19 = p, -4*p = 3*w - 54 - 32. Suppose -k - p = -22. Are r and k nonequal?
True
Let f = -6839/30 - -228. Suppose -6*t + 106 - 112 = 0. Which is bigger: t or f?
f
Let u = -765124/75 + 10202. Let t = u - 1/75. Let g be ((-1)/7)/(2*(-2)/12). Which is smaller: g or t?
t
Let b = 4597/820 + -28/5. Are b and 1 nonequal?
True
Let b(j) = -j**3 - 3*j**2 + 4*j + 10. Let n be b(-4). Suppose -5*r + r + 3*y + 33 = 0, 3*y - 39 = -4*r. Is n bigger than r?
True
Suppose -11*a = -1 - 32. Suppose a*v = -22*v - 