. Is j != i?
True
Let t = 0.164 + 14.336. Let y = t + -14.4. Which is smaller: y or -0.007?
-0.007
Suppose 25 = 18*l + 3085. Let z = l - -167. Which is bigger: z or -8?
z
Suppose -3*g + 1 = -14. Let n be (3 - -2)*27/45. Suppose -4*v - 2*m - 2 = -4, n*v - g = 2*m. Which is smaller: -19 or v?
-19
Let x(f) = 4*f**2 + 50*f - 85. Let h be x(-14). Is h smaller than -141/77?
False
Let a = 277.26 + 0.74. Let t = a - 275.7. Is -2/3 at most as big as t?
True
Let b = 605.7 + -71.7. Let j = 232 - b. Which is bigger: -1 or j?
-1
Let c = -156 + 159. Let n(f) = f**2 - 3*f + 2. Let r be n(c). Is r > -30?
True
Let v = -81 - -167. Suppose 0 = 7*j - v - 47. Let l = 14105/762 + -4/381. Which is smaller: l or j?
l
Let s be -1*(2156/70 - (-2)/10). Let x(t) be the third derivative of t**5/30 - 19*t**4/24 - 7*t**3/6 - 27*t**2. Let m be x(8). Is s > m?
False
Suppose 0 = -3*l - 4*n - 26, 4*n - 22 + 24 = 9*l. Is l != -6591?
True
Suppose 4*o + 2 = 3*w + 3*o, 5*o = -3*w - 28. Let n be (153/102)/((-21)/8*-3). Is w > n?
False
Suppose 21*r - 17*r + 1428 = 0. Let d = r + 505. Is 148 greater than or equal to d?
True
Let w = 3657 - 3664.3. Which is greater: 43 or w?
43
Let r(y) = -15*y**2 - 13*y + 26. Let n be r(-9). Is n equal to -1072?
True
Suppose -4*w = 4*b + 8, -5 - 3 = -w + b. Let c = 4 - w. Let t be (-85239)/(-2025891) - 1/27. Which is greater: c or t?
c
Let x be (-968)/(-20)*(-6 - (-555)/30). Is 4240/7 greater than or equal to x?
True
Let s = 10627 + -10625. Which is greater: s or -5998?
s
Let z be -8 - 78/(-9) - (764/3)/4. Which is greater: -0.5 or z?
-0.5
Let c(t) = -215*t**2 - 3*t - 4. Let i be c(-1). Let j = -3019/14 - i. Suppose 0*f = 4*f. Is f bigger than j?
False
Let m = -391.9 + 391.8. Which is bigger: m or 2243?
2243
Let o = -5/3608 - -8341/811800. Is o greater than or equal to -6?
True
Let m = -170304759780563/137361 - -1239833430. Let k = m + 3/217. Is -1 less than or equal to k?
True
Suppose 33*v + 144 - 2355 = -0*v. Is 54 greater than v?
False
Let i = 2406 + -3623. Is -1217 at most as big as i?
True
Let s be (-124 - -2)/(-2)*(-11 - -12). Let c = s - 58. Suppose c*y = -8 - 1. Is -3 at most y?
True
Suppose 7*n - 3*n = 5*f - 5, 0 = n. Let p = -479/3 + 5311/33. Which is smaller: p or f?
f
Let t = -16 - -11. Let j = 56650/73 + -776. Let g = j + -1393/219. Are g and t non-equal?
True
Let s be 489/326*(-8)/6. Let j be -3 + 1 + (-52)/60. Which is smaller: s or j?
j
Suppose 56*x - 255 + 311 = 0. Which is bigger: x or 65/206?
65/206
Let h be (10/106)/((-132)/18 + 7). Let l = 1120 + -1120. Does h = l?
False
Let j = -1.404 - -1.294. Let v = 20 - 23. Which is bigger: v or j?
j
Let a be -22 + 0 + 22 + -1. Which is smaller: a or -1129?
-1129
Suppose 0 = -194*w + 55*w - 385934 + 84443. Which is smaller: -2170 or w?
-2170
Let v(i) = i**3 - 5*i**2 - i - 2. Let j = -94 - -58. Let t = 42 + j. Let h be v(t). Which is smaller: h or 1?
1
Let c = -16262 - -11639. Which is smaller: -4625 or c?
-4625
Let o = 411 - 406. Let i be 21/14*30/9*o. Which is smaller: 29 or i?
i
Suppose 27*r = 4*f + 17*r - 108, f = -4*r + 14. Are f and 127 equal?
False
Let p = 27.59 - 28.993. Let x = -0.843 - p. Is -2/3 bigger than x?
False
Suppose -28*u - 74*u = -3098 - 6694. Is u at least as big as 69?
True
Let y = -7 + -69. Let v = -75.82 - y. Which is smaller: 0.1 or v?
0.1
Let l = 7018.3 - 7020. Which is bigger: l or 2/351?
2/351
Let g = -40 - -36. Let s be ((-15)/25)/(105/900). Is g equal to s?
False
Let r be (0/2)/(((-12)/6)/(5/(-5))). Which is smaller: -1/8714 or r?
-1/8714
Let b be (-1 - 2) + (6 - 15). Let r(y) = -y**3 - 2*y**2 + 3*y - 1. Suppose -26 = -23*v + 10*v. Let f be r(v). Which is greater: b or f?
f
Let w = 28.315 - 27.315. Let b(p) = -2*p**3 + p + 1. Let u be b(-1). Suppose -3*x - 25 = u. Is w > x?
True
Let t be -1*(-90)/(-24)*8/3. Let m be (-158)/t*5*1. Is -1 equal to m?
False
Let p be (415/(-15) + 6)/(((-14)/36)/7). Is 390 at most as big as p?
True
Let f = 956.1 - 956. Is -5149 at most f?
True
Let i be ((-2)/12)/(-1) - (-1965)/(-18). Let j be i/(-148) + (-15)/20. Which is greater: 1 or j?
1
Let r = -1/1131 - -525932/19227. Which is greater: 28 or r?
28
Suppose -s - 333 = 3*g + 2*s, 0 = -4*g + s - 429. Let y = 49 + g. Which is greater: -56 or y?
-56
Let s = 109893 + -133959579/1219. Does s = 0?
False
Let r = 829/6 - -661/6. Are 247 and r nonequal?
True
Let p(t) = t - 2. Let s be p(7). Suppose -2*c - 4*a - 5 = 1, 0 = -5*c + 5*a + 60. Suppose -c*w = 23*w - 210. Is s != w?
True
Suppose 4*d - 2*y = 20, 3*y = 2*d + 8 - 22. Suppose 11*m = 13*m - d*w - 94, 5*m - 3*w = 235. Are m and 45 equal?
False
Let m(n) = -n**2 - 2*n. Let f(g) = 8*g**2 + 19*g + 8. Let a(z) = f(z) + 6*m(z). Let l be a(-2). Which is greater: 7/13 or l?
l
Let r = 40297 - 40324. Let f be (-190)/6 + (-8)/(-12). Is r greater than f?
True
Let r = 4590.36 - 5188.7. Let s = 598 + r. Which is greater: -1/3 or s?
-1/3
Suppose 33*x - 420 = 1164. Suppose -l - 2 = r - x, 135 = 3*l + 4*r. Is -2 at most l?
True
Let x = -93 + -8128. Is x > -8220?
False
Let t be 5508/255 + (-4)/(-10). Suppose 5*h - 17 = t*h. Is 60 <= h?
False
Let m = -30 + 34. Suppose 42 = -3*u - m*u. Let v be 597/(-105) - u - 4/(-10). Which is smaller: v or -2/11?
-2/11
Let k(b) = -93*b**3 - 8*b**2 + 6*b - 1. Let n be k(7). Let d be (n/22)/(-5) + 4/(-22). Let l = 871/3 - d. Which is smaller: l or -4?
-4
Suppose -19*o - 5 = 451. Suppose -p - 12 = -5*n + 83, p = -2*n + 38. Let w = o + n. Is w >= -5?
True
Suppose -3*b - 49 = -49. Let f = 6929/19 + -365. Is f smaller than b?
True
Let h be (-40)/48 - (987/(-18))/7. Does h = 124/15?
False
Let k be 285/1330 - 9246/28. Which is smaller: k or -328?
k
Let i = -78 - -400. Suppose 4*z = -118 + i. Does z = 99/2?
False
Let t = 89/3 + -37. Let q be -99 - ((-60)/(-5))/4. Let p = q + 95. Is t greater than p?
False
Let x be (5 - 3294)/11*3/(-33). Do x and 27 have the same value?
False
Suppose 0 = -25*y + 7399 + 9826. Suppose -y = -9*s - 113. Which is greater: 63 or s?
s
Let g(b) = -7*b**2 - 8*b - 10. Let s be g(-4). Let l be 0/(s/9)*2/(-4). Is l smaller than 16/13?
True
Suppose -68 = 4*p - 0*p. Let c be (-6)/(6/p) + (0 - 1). Let b be 18*(-2*(-4)/c + -1). Are b and -8 nonequal?
True
Suppose 0 = -13*m - 1785 + 6088. Let o = -369 + m. Is o >= 1/8?
False
Let t = -0.45 - -4.95. Let k = 5.7 - t. Let z = k + -0.2. Which is greater: 30/13 or z?
30/13
Let v be (333385/(-2150))/(-13) - 60/5. Is 0 != v?
True
Let l be 22792/238 + ((-1)/2 - (-1)/(-2)). Is l bigger than 94?
True
Suppose -81 = 7*l - 18. Suppose 1 = b, -15 = -5*y + 7*y + b. Which is smaller: y or l?
l
Let h = -4 + 3.8. Let r = -71.006096 - -0.006096. Are h and r unequal?
True
Let s = 938/8215 - 4/53. Which is smaller: s or 1?
s
Let s = 11817 - 11804. Which is bigger: 8.2 or s?
s
Suppose -42*k - 102 = -161 + 101. Which is smaller: 1/11099 or k?
k
Let h be (-2 - -4)/((-20)/(-1160)). Which is bigger: h or 109?
h
Let h = -4595/21 - -1548/7. Are h and -115 non-equal?
True
Let m be 3/(-18)*3*-8*1. Suppose -m*u = -u - 9. Suppose 0 = -5*y + u*o - 314, -5*y + 2*o - 35 = 276. Which is smaller: y or -60?
y
Let p be (-18)/(-12)*(-412)/(-6). Suppose 200 = 4*m - j, 5*m - 144 - p = 2*j. Let n(h) = 7*h - 27. Let u be n(11). Are m and u non-equal?
True
Suppose 0 = -11*c + 7*c + 16. Suppose c*v - 29 = g, -3*g - 26 = 4*v + 29. Are -20 and g non-equal?
True
Let a = -26.95 + -0.05. Let n = -28.8 - a. Let b = n - -1.75. Which is smaller: b or -3?
-3
Let d be 101/(-2)*(-19 - -17). Suppose 0 = 2*a - 3*v + 50, -5*a - d = -4*v + 10. Let l(p) = p**2 - 12*p - 23. Let y be l(0). Is y bigger than a?
False
Let a = -8227 - -8226.98. Which is bigger: -23/4 or a?
a
Let b(g) = 23*g - 3. Let q be b(-4). Let f = 186072 - 186168. Which is smaller: f or q?
f
Let t = 46 - -32. Let v be (6/(-4))/(-1)*(-52)/t. Which is greater: v or -3/64?
-3/64
Let w = 415419011/677240 + 1/135448. Let s = 610 - w. Which is smaller: -3 or s?
s
Let v = -222 - -143. Let o = -5774.8 + 5853. Let x = o + v. Is -8 less than x?
True
Suppose 2*g + 3 = n + 5*g, -3*n - 1 = 4*g. Let c be (-1971)/18 - n/6. Which is bigger: c or -110?
c
Suppose -5*n + 2*g + 460 = 0, -368 = 299*n - 303*n - g. Let j be (-6)/(-10) - (1 - (-934)/(-10)). Which is greater: n or j?
j
Suppose -4*i + 3*s + 23 = 0, 33*i - 31*i = -5*s - 21. Which is smaller: 35/17 or i?
i
Suppose 15 =