-33 + 32.98. Let k = -1.18 + j. Do k and 0 have the same value?
False
Suppose 0 = 9*w - 4235 + 1319. Is 326 not equal to w?
True
Suppose 142*n - 146*n = -4. Which is smaller: n or -0.76?
-0.76
Let f = -1985 - -772160/389. Which is smaller: f or -1?
-1
Let i be (-3)/5 - 252/(-45). Let t be (1 - 0)*(-1 - -2). Suppose i*h - t = 4. Are -2/9 and h equal?
False
Let y be 1192/48 + 2/12. Suppose -80 = 3*l + y. Do l and -36 have the same value?
False
Suppose 24*h + 6*h = -30. Are h and 2/295 unequal?
True
Let b be (-1)/((-10)/(-4) - 2). Let m = 28 - 28.13. Let o = -0.13 - m. Which is smaller: b or o?
b
Suppose r + 4 = -3*p + 2, 4*r + 8 = -2*p. Suppose f - 5*n = 5*f - 24, -n + 4 = 0. Let m = f + r. Which is bigger: 1/13 or m?
1/13
Let o be (-1)/(-130)*(28/(-13) - -2). Is o at most -1?
False
Let b = 10 - 22. Let s = b + 15. Suppose s = m + 7. Which is smaller: -2 or m?
m
Let w(f) = -49*f + 2. Let z be w(3). Let n = z - -239. Which is greater: 95 or n?
95
Let u = -29/5 - -111/20. Let s = 164 + -155. Which is bigger: s or u?
s
Let q be 14/(-21) + 4/10 - 0. Let r(h) = -h**2 + 3*h - 2. Let f(a) = -2*a**2 + 4*a - 2. Let s(t) = -2*f(t) + 3*r(t). Let y be s(-2). Is y != q?
True
Let o be -2*(-55)/(-20)*12/(-33). Let n be ((-1)/3)/(24/(-81)). Which is smaller: n or o?
n
Suppose -w = -8 + 2. Let r be (9/w)/(2/4). Let a(b) = b**3 - 3*b**2 + b - 6. Let s be a(r). Which is smaller: -6 or s?
-6
Let i(r) = -r**2 - 6*r - 9. Let d be i(-7). Let q be 480/(-64) + (7 - (-1 + 0)). Is d >= q?
False
Let j = 6 + 8. Let b be 940/j + 21/7. Let o = -70 + b. Are o and 0 equal?
False
Let g = -117/20 + 51/10. Which is bigger: -0.034 or g?
-0.034
Suppose -2*h - 11 = -1. Let r be -3 + (-1 - -5) - h. Let f = 4 + 3. Do r and f have different values?
True
Let i be (2 + 308/4)/1. Let u be i/(-35) + (110/25 - 4). Is -1 greater than u?
True
Let y be 3*-3 + -3 + 0. Let v(q) = -2*q + 3. Let i be v(y). Let x = i - 22. Do -1 and x have the same value?
False
Suppose 4*u + 5*l + 90 = -727, u = 4*l - 199. Do u and -203 have the same value?
True
Let m be (-21*24/(-164304))/(5/(-4) + 1). Suppose -5*b - 14 = -3*w, b + 7 = w + 3. Is b bigger than m?
False
Let p = 1114 + -1180. Which is smaller: p or -65?
p
Let i(b) = -3*b + 40. Let h be i(8). Is 83/5 greater than h?
True
Suppose 600 = 3*n - 45. Is 214 less than n?
True
Let d = 403 + -398. Is 6 greater than or equal to d?
True
Let z = -4450416/3874675 + 3/154987. Let l = z + 18/25. Let i be -3*(-1)/3*-1. Do i and l have different values?
True
Let k be (5 - 0)*4/10. Let y = k - 16. Let o = 13 + y. Which is smaller: -3/16 or o?
o
Let y(r) = 5*r**2 - 32*r + 37. Let k be y(6). Is k smaller than 26?
True
Let h be (20/16*(-8)/20)/430. Which is smaller: -1 or h?
-1
Suppose -8*l = -0*l + 64. Is -6 greater than or equal to l?
True
Let j be 1 + (-2)/1 + 13*6. Let z = j - 73. Let n = 329/130 + -2/65. Which is smaller: z or n?
n
Let d be -1*(0 - (-2)/4)*0. Let r be d + 4 + (-247)/95. Is 1 bigger than r?
False
Let j be (-27 - -3)/(-4) + -3. Suppose 3*x - c + 5*c = -29, -4*x = -j*c - 3. Which is smaller: 0 or x?
x
Suppose 2*m - 122 = 10. Which is smaller: m or -2/3?
-2/3
Suppose 0 = -0*a - 5*a + 460. Suppose p = -2*z - 2*p + a, -5*p = z - 46. Which is greater: 0.1 or z?
z
Let r be (-3 - -2)/(5/100*-5). Which is smaller: r or 0?
0
Let x(l) = -7*l**3 - 3*l**2 - 7*l + 9. Let k(m) = -3*m**3 - m**2 - 3*m + 4. Suppose -9 = 3*u - 2*u. Let z(f) = u*k(f) + 4*x(f). Let a be z(-2). Is a < -4/5?
True
Suppose -a = -5*u + 128, 3*a + 4*u - 2*u + 333 = 0. Is -115 > a?
False
Suppose -1 = -3*h + 5. Let y be h + -13*1 - 0. Let q be (-4)/6*5/((-25)/(-90)). Is y >= q?
True
Let p = 0.001 + -4.301. Let a = p + 4. Let f = 6 + -6.2. Which is smaller: f or a?
a
Suppose 0 = 3*l - 3, 2*l = -0*j - 2*j + 58. Suppose 0 = s + 5*q + 19, -3*s - 9 = -4*q - j. Let t be (-4)/2 - (-16)/6. Which is bigger: t or s?
s
Suppose -3*o = -2*h + o - 1294, 0 = -3*h + 3*o - 1926. Let k(q) = -167*q + 12. Let z be k(-6). Let r be 4/6 + h/z. Which is greater: r or -1?
r
Suppose 5*o = 5*t + 15, 0 = -4*o - t + 6 + 6. Suppose o*u + 10 = 5*u. Let r be (u/(-15))/(1/(-30)). Is r equal to 10?
True
Suppose o = -4*o - 110. Let a = o + 43. Suppose -r + 5*z = -3*r + a, -5*r + 3*z = -6. Which is smaller: r or 4?
r
Suppose a + 40 = 2*g - 3, g = -2*a - 76. Let y be (-12)/18 - (-73)/a. Let f = -587/221 - y. Which is smaller: 1 or f?
f
Suppose -2*b + 3*i = -2, -i - 14 = -2*b - 4*i. Suppose 3 = 5*g - b*g. Suppose -3 = -6*q + g*q. Which is smaller: 2 or q?
q
Let a = 564 + -2832/5. Let b be 4/3*57/40. Let j = b + a. Which is smaller: -2 or j?
-2
Let v = 2858/65 + -44. Do 1 and v have the same value?
False
Let p(i) = -i + 392. Let o be p(0). Are 392 and o nonequal?
False
Suppose 3*v = -4*c + 89, -69 = -3*c - 92*v + 89*v. Which is smaller: 18 or c?
18
Suppose 10 = -p + 3*p. Suppose -p*i - 4*l - 11 = -0*i, 4*i + l = 0. Let r be (-6 - 12/3)*i. Is r at least -10?
True
Let j = -721 - -727. Is j > 0.004?
True
Suppose -3*b = -3*j, 3*b - 11*j = -16*j + 8. Which is bigger: b or -5/68?
b
Let p = -13 + 40. Let f = p + -10. Let q = f + -17.1. Are 0.1 and q unequal?
True
Let b be 2 + (-4)/22 + 24/132. Do b and -9 have the same value?
False
Let y = 7 + 2. Suppose -3*w + 3*i = 54, -25 + y = 4*i. Is -22 at least w?
True
Suppose 0 = 24*t - 28*t - 228. Which is bigger: -46 or t?
-46
Let x(p) = -p**2 - 6*p + 1. Let q be x(-4). Let z be q/36 + 314/(-8). Let c be (z/(-65))/((-1)/(-25)). Which is smaller: 0 or c?
0
Let w(c) = c - 4. Suppose -p + 5 = 2. Let n be 3 + p/6*0. Let x be w(n). Is -1 at least x?
True
Suppose -2*x = 2*x + 16. Let t be (-1)/x*72/(-45). Let q = 119/12 + -41/4. Is t greater than q?
False
Suppose -o = o - 112. Suppose -2*l - o = -0. Is -28 bigger than l?
False
Suppose 4*b - 7 = 2*s - s, -s = 5*b - 11. Let p be s*-8*(-16)/32. Suppose -f - 5*w = -7, 3*f + 0*f = 2*w + p. Which is greater: f or 4?
4
Suppose 0 = -4*a - a - 10. Suppose 0*r = 3*r + 8*r. Which is greater: r or a?
r
Let g be (-2 - (-574)/49) + -6. Which is bigger: 4 or g?
4
Suppose 4*n - 7*r - 38 = -5*r, 0 = -n - 5*r + 4. Is 4 not equal to n?
True
Suppose -2*t + 38 = 134. Let h = -52 - t. Which is smaller: -13/4 or h?
h
Let c = -0.0906 - -0.0346. Which is bigger: c or 0.3?
0.3
Let s(l) = 26*l**2 + 2*l + 5. Let w be s(-1). Let h(m) = 2*m**2 - 2*m + 3. Let z be h(-3). Is z >= w?
False
Suppose 4*c = -h - 38, 2 = -4*h + 3*h. Let u = 96 - 63. Let b be 3 - (-1)/c*u. Which is smaller: -11 or b?
-11
Let m be 1455/(-270) - (-2 - 3). Is m at most as big as 1?
True
Suppose -k - 2*k = 2*c - 13, 0 = -2*k - 2*c + 12. Let m = -931094/17 - -38696873/697. Let y = m - 749. Is k > y?
True
Let k be (-1971)/(-9)*4/12. Do 1 and k have different values?
True
Let s be (-42)/4 - (-2 + (-6)/(-1)). Which is smaller: s or 2?
s
Let x = -4/381 + 151/2286. Let t(f) = f**3 - 5*f**2 + 4*f - 1. Let m be t(4). Is x at least as big as m?
True
Let r be (1 + 6 + -305)*(-1)/2. Let u = 144 - r. Is -3 greater than u?
True
Let p be 17/4 + 1/(-4). Suppose p*z - 4 = 5*z - 5*i, -3*z - 5*i = 52. Let y be 6*2 - 28/z. Is y at most as big as 13?
False
Let x = -15.766 - -15.8. Which is bigger: x or 1?
1
Suppose 7*i - 19 = -5. Suppose -t - 2*t = 0. Let d = 1 + t. Are d and i equal?
False
Let b be 146 + 0 - (34 + -25). Which is bigger: -0.4 or b?
b
Let f be 0/(1/(1*-1)). Let z be 1/(4 + 274/(-136)*2). Let c be (z/(-884))/(-2*(-2)/(-16)). Which is bigger: f or c?
f
Suppose 0 = -2*d - 4, 0*d = 4*t - 3*d - 42. Suppose 9 + t = -9*a. Which is greater: a or -10/17?
-10/17
Let u = 0 + -8. Let k = -11 - u. Is k at most as big as -0.03?
True
Let t(d) = 4*d**2 + 4*d. Let n be t(-2). Let l be (-2)/(n/2)*8. Let v = 4 + l. Are v and -5/7 equal?
False
Let a = -135385011005/4377102793714 + 3/78575069. Let k = -15/346 - a. Which is bigger: k or 0?
0
Suppose 10*v = 27 - 117. Is v < 1?
True
Let t = 0.04 - 1.54. Let w = t + 2.5. Are 1.5 and w unequal?
True
Let m be 1/((-27)/(-6)) + 776/(-36). Let g = 326/15 + m. Is g less than 4?
True
Suppose -4*t = -5*g + 6 + 3, -5*g + 13 = -3*t. Suppose -5*i + 5*h + 35 = 0, 3*i + 2*h + 5 = 2*i. Suppose 2*c - 7 = 3*s, -t = i*c + 2*s + 5. Are 0.4 and c equal?
False
Let b(k) be the third derivative of -2*k**3 + 5/12*k**4 + 1/120*k**6 + 3*k**2 + 1/5*k**5 + 0 + 0*k. Let j be b(-11). Is j greater than or equal to -1