8/3 + 3. Are y and j nonequal?
True
Suppose 4*s + 3 = -4*b - 1, -20 = -4*s + 2*b. Suppose -2*m = s*w - 0*w + 32, 3*w + 4*m = -34. Do -8 and w have different values?
True
Let y(a) = a**3 - 12*a**2 + 18*a + 19. Let g be y(10). Which is greater: g or 2/325?
2/325
Suppose -3*m = 1 - 4. Let c be (m*-1)/((-7)/(-7)). Let r = 0 + c. Is r greater than -5/3?
True
Let d be (1 - 1)/((0 - 3) + 8). Which is bigger: -14/53 or d?
d
Suppose 5*z + 25 = 0, 0 = -2*i + 3*z - 7 + 22. Which is greater: i or 7?
7
Let m(p) = p**3 + 6*p**2 - 5. Let f be m(-5). Let q be -1*(-4)/(16/f). Suppose -o + 2*a = 5*a - q, 0 = 2*a + 2. Is o less than 7?
False
Let x be (-19152)/32 + 21/6. Is -595 less than x?
False
Let p(r) = 2*r + 37. Let x be p(-19). Let n be ((-15)/20 - 3) + 3. Does n = x?
False
Suppose -i = -2*x + 23, -i + 11*x - 20 = 10*x. Let m be -16 - i - (1 + 0). Which is smaller: -1/8 or m?
-1/8
Let x be (-50)/(-18) - (-2)/9. Let b be 3*(0 - 1*(-2)/6). Is x greater than b?
True
Let d be (-15)/(450/40) - (-1)/3. Is d != 4/135?
True
Let s(u) = 3*u - 29. Let p be s(0). Let x = 58 + p. Let t = -5 + x. Are t and 25 equal?
False
Let g(a) = 2*a - 10. Let l be g(6). Suppose -3*j = 3*x - 57, -l*x + 31 + 5 = 4*j. Which is smaller: 22 or x?
x
Let k = -0.1 - 0.1. Let x = -14.54 - -14.34. Let f = x - k. Which is greater: 2 or f?
2
Let q be ((-52)/(-65))/((-1)/(-5)). Suppose q*t + 51 = t. Which is smaller: t or -16?
t
Let u = -346.2 - -346. Is -2/23 at least u?
True
Let x be -3 - (110/(-36) + 0). Let z be 0*-1*4/16. Are z and x nonequal?
True
Let y = 78.988 + -79. Is 1/2 >= y?
True
Suppose -f + 2*n + 1 = 0, -12*f = -17*f - 3*n - 8. Which is smaller: f or 2/3885?
f
Let r = 2.52 - 8.52. Let b be ((-1)/3)/(4/6). Is b greater than r?
True
Let c = -3 + 6. Let d(b) = 13*b + 3. Let i be d(c). Let y be (-3)/(3 + i/(-16)). Is y smaller than 0.1?
True
Suppose 4*n - 4*a = -16 - 28, n + 2 = 4*a. Let p be (-1)/((-40)/n - 3). Suppose -k = 2*u + 3, 8 = -5*k + 3*u - p. Which is bigger: k or -14/5?
-14/5
Let o be (-16)/(-10)*190/(-266). Is 0 < o?
False
Let l = 41 + -11. Let b be ((l/9)/(-5))/(69/18). Which is smaller: -1 or b?
-1
Let h = -189 - -192. Suppose -2*f - 2*i + 34 = 0, 5*i - 61 = -h*f - 0*i. Let u be (-1 - 5)*(-14)/6. Which is smaller: f or u?
f
Let s = 32 - 46. Let n = s - -13.6. Let o = 0.6 + n. Does o = 1?
False
Let c = -35 - -25. Let i be ((-8)/10)/((-2)/c). Which is bigger: i or -5?
i
Let z be (-135)/(-18)*(-6)/(-5) - -1. Suppose -34 = 4*s - z. Let b = -5 + 0. Is b > s?
True
Let v(q) = q**3 + 4*q**2 - 7*q - 7. Let i be v(-5). Suppose 0 = 12*x - 3*x - 27. Are x and i non-equal?
False
Let m = -22/5 - 51/10. Let f be ((-40)/(-12))/((-1)/3). Is f at most as big as m?
True
Let q = 1 - -8. Let x = q - 9. Which is smaller: x or 13/2?
x
Let n = -3.21 - -3.1. Which is smaller: n or -5?
-5
Suppose -3*k + 65 = -4*z - 6*k, 6 = -2*k. Which is smaller: z or -0.1?
z
Let y(u) = u**2 + 4. Let s be y(0). Suppose -f + s*k + 9 = 0, 0*k + 45 = 3*f - 3*k. Suppose 5*m - 75 - 5 = 0. Which is smaller: m or f?
m
Let z = -0.07 + 17.07. Let r = -15 + z. Which is bigger: 0 or r?
r
Let p(m) = m**2 + 24*m + 73. Let f be p(-20). Does -16 = f?
False
Let y = 0.6 - 0.71. Let l = -16.11 - y. Let u = l - -3. Are u and -0.1 nonequal?
True
Suppose 11*n + 1347 = -2426. Let u = 653/2 + n. Is -18 > u?
False
Let s(u) = -u**2 - 22*u - 17. Let m be s(-21). Suppose h + v + 0*v = 13, -m*v - 12 = 0. Is h greater than 15?
True
Let d = 30 - 27. Suppose -1 = d*n + 8. Is -4 >= n?
False
Let g = -16/441 + -263638/2205. Let h = 120 + g. Let n be -21 - (-3)/(-1)*-1. Which is smaller: h or n?
n
Let u be (4/(-3))/((-2)/15). Suppose -t - 4*t = u. Let v = -4 - -3. Which is bigger: v or t?
v
Suppose 4*b = 3*b + 3. Let h(y) = -2 + 2*y**2 - 3*y**2 + 0 + b. Let l be h(0). Which is bigger: -3/7 or l?
l
Let r(j) = j**3 - 5*j**2 + 2*j + 2. Let g be r(6). Suppose -5*k = 5*b - g, 0*b - 20 = b - 5*k. Which is smaller: b or -3?
-3
Let m be (-27)/1086*(-2)/(-12). Let q = -1319/31132 + m. Which is smaller: q or 1?
q
Let p be 1/(-35)*26*5/12. Which is greater: -1 or p?
p
Let f = 204 + -173. Which is bigger: -2/15 or f?
f
Let c = -473 + 472. Which is smaller: 104 or c?
c
Suppose -x + 24 = 3*d, 99 - 17 = 4*x - 2*d. Let k = -10 + x. Is k < 11?
False
Let s(r) = r**3 + 2*r**2 - 2*r - 3. Let d be s(3). Suppose 4*p + d = -4*c, -4*p - 54 = 4*c - 6*p. Which is greater: -10 or c?
-10
Let u be ((-466)/(-139))/(28/(-21)). Let d = -2/139 - u. Is d at most as big as 2?
False
Let v(y) = -y**2 - 6*y - 6. Let q be v(-4). Let g = 2.7 + 5.3. Let l = 8 - g. Which is smaller: l or q?
l
Let z(y) = -2*y**2 + 3*y - 3. Let i be z(4). Let k = -21 - i. Suppose -2*t - k = 8. Which is smaller: -7 or t?
-7
Let o be 36/(-27)*(-15)/4. Suppose 3*j = 5*k + 20, 0*j - 5*k = -5*j + 30. Is o less than j?
False
Let z be (-7)/70 + (-2)/(-4). Let j = 14.428 - -0.072. Let v = -15 + j. Which is smaller: z or v?
v
Let k = -0.19 - 0.89. Let p = 0.08 + k. Let w = -9.2 + -15.8. Is p less than or equal to w?
False
Let y be 11 + -11 + 1/3044. Is -0.1 bigger than y?
False
Let v = 1 + 1. Let i be (1/1)/(99/946). Let c = -101/9 + i. Is c > v?
False
Suppose o = 4*o. Suppose 4*k + 62 = 2*j, 2*j + 0*k - 80 = -5*k. Let l = j - 143/4. Which is greater: l or o?
o
Let f = -48 + 43. Which is smaller: -9/7 or f?
f
Let l be ((-801)/(-36))/(3 - 4) - 5. Is 0.2 < l?
False
Suppose 5*b + 5*a = a + 698, 0 = -2*b - a + 281. Suppose 5*v = -8 - b. Let y be (5 - 2) + 78/v. Is y bigger than -3?
True
Let y be 916/9 - (-34)/153. Let t be (-7)/(-28) + y/(-472). Which is bigger: t or 0?
t
Suppose 0 = -163*m + 153*m + 3060. Which is greater: m or 609/2?
m
Suppose m = -3*r + 12, 0 = -2*r - 3*m + 2 + 6. Let s be (r/10)/(2/60). Is 13 greater than s?
True
Let t = -4/91 + 2/21. Let j = -5 - -5. Which is bigger: t or j?
t
Suppose 4*q - 3*m - 123 = 0, 0 = -2*q + q - m + 22. Suppose -73*o + 81*o - 96 = 0. Let g be (-2)/o*(5 + q). Which is bigger: g or -6?
g
Let g = 735.94 - 0.94. Which is bigger: 0.1 or g?
g
Let s(k) = k**3 + 4*k**2 - 10*k - 22. Let f be s(-5). Which is greater: -23 or f?
f
Suppose -1039 = -12*k - 19. Let o = k - 85. Which is smaller: o or -2/81?
-2/81
Let p be (-5)/(5/(-4)) + -3*1. Which is smaller: p or -4/65?
-4/65
Suppose -198*h + 197*h = -51. Suppose h = -3*i + 75. Let q = 13 + -5. Is q >= i?
True
Suppose 33*n - 3 = 30*n. Let f = 648 - 31751/49. Which is greater: n or f?
n
Let g(a) = -1. Let j(w) = w + 8. Let f(o) = -g(o) - j(o). Let u be f(-5). Let t = 667/5 - 134. Is t at most u?
False
Let q = -0.8 + 0.5. Let r = -69.3 - -66. Let y = 0.7 - r. Is q at least y?
False
Let k(u) = u**3 + 6*u**2 - 5*u + 10. Let d be k(-7). Let p = 24 - 23. Which is greater: p or d?
p
Suppose n = -0*n - 2*n. Suppose -40*w + 39*w + 3 = n. Which is smaller: 1 or w?
1
Let s = -3/92 - -1041/184. Is s <= 7?
True
Let a(n) be the first derivative of 3*n**2/2 + n - 17. Let k be a(-1). Let i = -7/17 - 19/119. Which is bigger: i or k?
i
Suppose 0 = -4*b - 38*r + 36*r + 548, b = -2*r + 137. Do 137 and b have the same value?
True
Suppose 135*x = 141*x + 708. Is x not equal to -118?
False
Let o = 89 - 88.993. Let q = o - 3.007. Is -0.03 at least as big as q?
True
Let w be (((-144)/51780)/2)/((-2)/(-5)). Which is smaller: 1 or w?
w
Let x be (-15 + 14)/(1/(-7)). Suppose -2*y + x = -2*z + 3*y, -5*z - 3*y - 33 = 0. Let p be ((-2)/5)/((-4)/(-60)). Is p smaller than z?
False
Suppose 0 = -0*l + 3*l + 4*s - 9, 4*l - 12 = s. Suppose 0 = -2*x - 2*c - 2, 5*x - 7*c + 4*c = l. Suppose x = 5*g + 5 + 15. Which is bigger: -5 or g?
g
Suppose 52*g + 507 = -1677. Which is smaller: g or -46?
-46
Let s = 29 + -32.4. Let o = -0.201 - 3.379. Let h = o - s. Which is smaller: h or 1?
h
Let i = -9326/15 - -622. Let h = 107/120 - i. Suppose -2*b = -3*b. Does b = h?
False
Let o = 14 - 15. Do o and -16/15 have different values?
True
Suppose 441*p - 4 = 445*p. Let c be (-13)/27 + 3/6. Are p and c unequal?
True
Let d be (12*1)/(-7 + 23/3). Let x be (-4)/(-8)*(d + 4). Which is bigger: 14 or x?
14
Let n = 5.1 - -15.9. Let a = n + -19. Let v = 2.01 - a. Which is bigger: 1 or v?
1
Suppose 4*t + 15 = 5*j, 3*t + 7 = j - 7. Which is greater: -60/17 or t?
-60/17
Let d = 92.8 + -12.8. Is d at most -2?
False
Let t be 1 + -1 + 0/1. Let v(p) = -p**3 + 2*p**2 + 15*p + 1. Suppose 4*g = 3*b - 3, 