) = 3*j - 3. Let b be p(w). Are t and b non-equal?
True
Let x = -2.4 - -16.4. Let z = x + -10. Let j = -7 + 9. Do j and z have different values?
True
Let b = 1 - 0. Let y = 105/2 - 263/5. Do b and y have the same value?
False
Let y = 10644 + -489661/46. Which is bigger: y or -2?
y
Let h = 13618/35 - 389. Let y be (-2006)/(-4620) - (-3)/(-18). Let x = y - h. Which is bigger: x or 0.04?
x
Suppose 5*x + 62 = 4*o, -2*o + 2*x - 35 = -5*o. Let l = -18 + o. Let a(u) = u**2 + 5*u - 10. Let g be a(l). Is g > -10?
False
Let k be ((-26)/8)/(2/8). Is k less than or equal to 0.06?
True
Suppose -2*f + 4*l - 14 = 0, -f + 0*l - 2 = -l. Let c be (2 + 2 - f)*5. Suppose 0 = 3*u - 4*i - 8 - 1, -u - c*i + 22 = 0. Which is greater: 1 or u?
u
Let i = 10 - 9.7. Suppose 22 = 5*a - 16*a. Is a equal to i?
False
Let b(k) = k**3 + 12*k**2 - k - 14. Let v be b(-12). Let r(y) = -5*y**3 - y**2 + 2*y + 1. Let u be r(v). Is 33 greater than u?
False
Suppose -3*o + 2*t = -48, 0*t = 2*o - 5*t - 32. Suppose 2*j + o = -6*j. Do j and -25/8 have different values?
True
Let y = -2.91 - 0.09. Let x = 0.23 - -3.52. Let m = 0.25 + x. Which is greater: y or m?
m
Suppose 5*g = -f + 98, -4*f - 2 - 6 = 0. Let c = g - 7. Is c >= 15?
False
Suppose 5*x = -4*x. Let u be 66 - ((-3 + 0 - x) + 5). Which is greater: 63 or u?
u
Let t = -7543/5 - -1500. Let q = 1027/120 + t. Which is smaller: 0 or q?
q
Let c(n) be the second derivative of n**5/20 - n**4/2 + n**3/6 - 4*n**2 - 7*n. Let z be c(6). Let h be 1*3/2*-2. Which is smaller: h or z?
h
Let z be ((-4)/(-28))/(2/14). Let i = -746/91 + 88/13. Let h = 23/21 + i. Is z greater than or equal to h?
True
Let p be (-48)/(-216) - (-2 - 60/(-27)). Let u(s) = s**2 - 2*s + 4. Let h be u(3). Suppose a - h + 10 = p. Is a <= -15/8?
True
Let s = 23438/25 + -938. Do s and 0 have the same value?
False
Let t = -4.6 - -0.1. Let j = t + 4. Let n = j - -0.3. Are n and -2 non-equal?
True
Suppose 0 = 4*a - 1 + 9. Let u be (3 - (3 - -1))*0. Let s be u/(3 - (a - -6)). Which is smaller: -1 or s?
-1
Suppose 0 = 3*r + 12, r - 367 = -5*l - r. Is 80 greater than l?
True
Let m be -6 + (-1 - (-2)/2). Let b be (-4 - (-8)/2)/2. Suppose -5 = o - b. Is m > o?
False
Let f = -1.3 + 4.2. Let z = 9.9 - f. Let j = -6 + z. Which is greater: -3/5 or j?
j
Let h = -3 + 7. Let p be 1/3*3 - -2. Suppose p*q = 7*q - h. Is 1 at least q?
True
Let s(x) = -x**3 - 13*x**2 + 29*x - 13. Let r be s(-15). Suppose 5*z + 5 = -r*u, -3*u + 32 = -5*u + 4*z. Is 0 greater than u?
True
Suppose -4*l + 4 = 5*k - 2, 0 = -l + 5*k + 14. Let c be 3/5 - 44/(-10). Is c at most as big as l?
False
Suppose 5*a + 1231 = -2*j, 2*a = j + j - 484. Let n = 8577/35 + a. Suppose -3*w = 5 - 8. Which is smaller: n or w?
n
Let q be 1055/(-10) + (-3)/6. Let k = -239 + 133. Is k less than or equal to q?
True
Let v = -2/907 - -15431/5442. Let o = 207/2 + -106. Let t = v + o. Which is smaller: t or -1?
-1
Let q(f) = f**2 - 18*f - 16. Suppose -14 = -3*u + 43. Let c be q(u). Which is smaller: c or 5?
c
Let l = -2 + 1.492. Let b = l - -0.008. Is b > 4?
False
Suppose -4*q = -4*j + 16, 3*j + 3*q = 2 - 14. Which is bigger: j or 16/27?
16/27
Suppose -20*w - 12 = -22*w. Suppose -4*p = -2*p - 8. Suppose p*i + w = i. Which is smaller: i or 0?
i
Let k(w) = -w**3 - w. Let c be k(1). Let j be ((-29)/(-87))/((-2)/12). Is c smaller than j?
False
Let j be (16/(-520)*3)/((-2)/(-150)). Which is smaller: -8 or j?
-8
Let n be 10/(-4 + 6/3). Let x be (n/1)/((-19)/19). Let b be (-1 - x) + (-9)/(-3). Which is smaller: -3/2 or b?
b
Let x = -969 - -1155. Are 183 and x equal?
False
Let m = -33 + 33. Suppose a + 9 = -2*x, -4*x + m*a + 5*a - 11 = 0. Let y be (x/8)/(3/18). Which is smaller: y or -5/2?
y
Let t be 1 + -7*(-4)/(-20). Suppose -n - 2 = r - 3, -2*n = -4*r + 16. Suppose 0 = r*w - 12, -5*f + 0*w + 5*w = 15. Is f less than t?
False
Let a be -5 + 20 + (-3)/1. Let p be (-6)/4*(-32)/a. Suppose -4*z = -3*g - 8*z - p, -4*g + 2*z = -24. Is 5 > g?
True
Let x be 2 + (-5)/5 - 1161432/(-215). Let r = x - 5403. Which is bigger: r or 0?
r
Let s = -2840 + 2779. Which is smaller: 0.6 or s?
s
Let n(g) = g**2 - 27*g - 20. Let v be n(28). Let m(p) = p - 1. Let s be m(5). Suppose s*o = v*o. Is 2/17 greater than o?
True
Let b be 3*(-2)/10*(-20)/16. Suppose 8*k = 9*k - 1. Do k and b have different values?
True
Suppose 2218*k + 30 = 2212*k. Suppose -2*m + 24 = -6*m. Which is smaller: k or m?
m
Suppose 0 = 4*l + 15 - 71. Let y = 2 - -10. Which is greater: y or l?
l
Suppose z - 7 = 6. Let b be (z/5 + -2)*-1. Let x = 15 - 16. Which is smaller: x or b?
x
Suppose -4*n + 2*v + 0 = -16, 0 = -4*n + 3*v + 20. Let r be 2*(0 - (1 + 1)). Let w be n/(((-54)/r)/(-9)). Is w >= -2?
True
Let w = 1 + 2. Suppose w*a - 9 = u, a - u + 12 = 5*a. Is a at most -1?
False
Let p = 14.008 + -0.008. Which is smaller: -4/11 or p?
-4/11
Let r be (42/(-35)*5 - -7)/107. Is r at least as big as -4?
True
Let g be ((-1)/2)/((-69)/46)*3. Let h(x) = -3*x**3. Let l be h(-1). Suppose b - 2*u + 0 = 1, -l*u = 12. Which is smaller: g or b?
b
Let s = 377 + -375. Which is greater: s or -10/77?
s
Let b = -136 + 108. Let m = b + 9. Which is smaller: -3 or m?
m
Suppose 12 - 277 = 53*c. Which is bigger: -55/9 or c?
c
Let y = 6.6 + -10.6. Let j = 2.02 + -0.02. Which is greater: j or y?
j
Let t = 11 + -10.8. Let h = 15.8 + t. Let k = 15 - h. Which is smaller: -14 or k?
-14
Suppose -166 + 88 = b. Is b bigger than -78?
False
Let h(o) = -49*o - 15. Let g be h(-3). Let b be 2 + ((-1)/34)/(2/g). Is -2 >= b?
False
Let r = -82 + 81. Let q be r/(5 + -4)*0/(-3). Is -3/86 at most q?
True
Let o be (-184)/(-276)*(1 - 10/16). Which is greater: o or 5/61?
o
Let v = 1 - -1. Suppose 0 = -5*p - 3*y + 7, -v*p + 3*p - 5*y + 21 = 0. Is p equal to -2/25?
False
Let q(a) = a**2 - 4*a - 1. Let k be q(5). Suppose -4*w + k*m + 148 = 0, -w - 4*w - m + 167 = 0. Suppose 20 = -2*o - 0*t + 4*t, 4*o = 5*t - w. Is -6 equal to o?
True
Let w = 47 - 52. Which is greater: w or -29/6?
-29/6
Let t = -4903 + 24882/5. Let u = t + -71. Which is greater: u or 2?
u
Let y = -140/11 - 259/22. Let g = y + 27. Is g > 3?
False
Let l be (-1 - (-12)/24)/(3/(-4)). Let n = 209/72 - 25/9. Which is smaller: n or l?
n
Let x = 0.3 - 0.2. Let j = -27.2 + 4.2. Let v = -18 - j. Is x < v?
True
Let p = 0.049 - -21.951. Let m = p - 22.14. Let b = m - -0.64. Is b at least -2?
True
Let a = -516 + 517. Is a equal to 0.14?
False
Suppose 0 = 27*y - 24*y + 6. Is 29/8 not equal to y?
True
Suppose 3*w - 4 = 21*p - 17*p, -2*p = -2*w + 2. Is 13/58 equal to p?
False
Let g = -0.67 + 0.87. Which is greater: g or 5.7?
5.7
Suppose -12*r + 30*r = 13482. Is r less than 750?
True
Let z(k) = -k**2 - 3*k**2 - 7 + 10*k + 5*k**2. Let n be z(-10). Which is smaller: -6 or n?
n
Suppose -5*m + 2*g + 1379 = 0, -g + 548 = 6*m - 4*m. Which is smaller: 274 or m?
274
Let v be 4/(-34) - ((-1160)/(-255) - 4). Is v equal to -78?
False
Let u(a) = a**3 + 4*a**2 - 6*a + 4. Let m be u(-6). Let g be (m/304)/(8/(2 + 0)). Which is bigger: 0 or g?
0
Let k(o) = -4*o**2 - 2*o + 2. Let f be k(1). Let x be (-3)/12*f/(-3). Is x != 27?
True
Let i = -12.85 - -13. Let w = 17.15 - i. Let t = w + -17.1. Which is bigger: t or 4?
4
Let v = -158/15 + 17/60. Suppose -7858*f = -7860*f - 18. Is f equal to v?
False
Let s be 12/(-40)*80/60. Let n(v) = -v**2 + 4*v + 5. Let q = -4 + 9. Let f be n(q). Which is bigger: f or s?
f
Let y = -76 - -54. Let o = 38 + y. Which is smaller: 15 or o?
15
Let m = 78 + -77. Let i be 6/18 - 2/42. Which is smaller: i or m?
i
Let x = 39 + -24. Let s be (-13)/(-26) + x/2. Suppose 8 = -2*v, -4*v - 4 = b + s. Which is smaller: 5 or b?
b
Let w = 3.1 - 5.7. Let f = w - -2.6. Is f at least 0.4?
False
Suppose -11*l + 14*l - 93 = 5*o, 0 = -4*o. Is l less than 33?
True
Let c = 1383 - 1334. Which is greater: 45 or c?
c
Let z = -15 + 34. Suppose -z*f = -17*f + 24. Let w = f + 19. Is w >= 8?
False
Let y = 5 - 2. Let j(a) = -31*a**2 + 1. Let b be j(-1). Let c = -30 - b. Which is smaller: c or y?
c
Let k(v) = -v**2 - 9*v - 8. Let j be k(-6). Suppose 10*y - 8*y - j = 0. Is 9 < y?
False
Let g be 10/4*26/13. Suppose -g*x - 5 = -5*k - 0, 5*k = 4*x + 3. Let y be (-14)/(-42) - x/3. Which is bigger: y or -3/23?
y
Let z be -94 + (2/(-1) - 1). Let v = 49 + z. Let m be (-204)/v + 2/(-8). Are m and 4 equal?
True
Let s(o) = -o**3 - 7*o**2 - 9