-351 or j?
j
Let u = 215 - 44. Let o be ((-6)/u)/(4/(-18)). Are -1 and o nonequal?
True
Suppose 4*t = -d - 6 - 10, -3*t = 4*d + 12. Let y = 6 + d. Is 5 < y?
True
Suppose -g - 4 = -5. Let t be (5/(-2))/(g/(-2)). Suppose 5*q - 4*b = -10, b - 6*b = t*q - 35. Which is bigger: q or -2/15?
q
Suppose 226*p + 49*p = 367 + 183. Let s be 46/36 - 4/(-18). Is s > p?
False
Let y = 0.33 - 0.03. Let o = 8.35 + -3.35. Do o and y have the same value?
False
Let b = 0.9 - 6.9. Let v = 4 + b. Let t = 1 + v. Which is smaller: t or 0?
t
Let g(r) = -r**2 + 9*r + 29. Let w be (-8*12/(-9))/((-2)/(-3)). Let d be g(w). Which is greater: -82 or d?
-82
Let m = 0.1184 + 426.8816. Is m <= -0.2?
False
Let x = -2 - -3. Let j(k) = -6*k**2 + 3*k. Let v be j(1). Let b be (-8 - -3)*(6/10)/v. Is x less than b?
False
Let i(f) = 1 + 9*f - 3*f - 7*f - f**2. Let k be i(-1). Let m be 4*5/(-55)*(-3)/4. Which is bigger: k or m?
k
Let q(y) = -y**3 - 10*y**2 - 10*y - 8. Let l = 12 - -24. Let m be l/30*30/(-4). Let f be q(m). Which is bigger: 4 or f?
4
Suppose 33*h + 15 = 36*h. Let n(o) = o**3 - 8*o**2 + 6*o + 3. Let v be n(7). Let x be v/(-10) - 0/2. Do h and x have the same value?
False
Let k(o) = -o**2 - 4*o - 2. Let n be k(-3). Let y be 8 - 5 - 164*(-25)/(-1380). Which is smaller: y or n?
y
Let j be (-2)/(-10) + (-137)/185. Let z = 156/259 - j. Let a = 38/21 - z. Do 0 and a have the same value?
False
Let w(p) = -527*p**2 + 5*p - 4. Let a be w(1). Are -525 and a equal?
False
Let u = -23 - -25. Let l be (u/4)/((-8)/(-16)). Is l equal to 1/3?
False
Let r be ((-212)/30)/((-8)/(-108)). Let s = -95 - r. Let d = -28 - -361/13. Which is smaller: s or d?
d
Let b = 15 - 10. Suppose -j - 161 = -0*c - 3*c, b*j - 4*c = -750. Let p = j + 2331/16. Do 0 and p have different values?
True
Let d be (2/4)/(10/(-16)). Let p be (-2)/((-1384)/(-2))*(-56)/42. Let c = p - 352/1557. Does c = d?
False
Let m(b) = b**3 - 2*b**2 + b + 2. Let n be m(-1). Let o be 1/n*(-11)/(77/28). Let i = -214/5 - -44. Does o = i?
False
Let k(n) = n**3 + 13*n**2 + 7*n - 3. Let p be k(-6). Which is greater: 206 or p?
p
Suppose 0 = 7*m + 5 + 16. Let p(s) = 2*s**2 + 3*s - 4. Let o be p(m). Which is greater: o or 4?
o
Let x be 0/((27 + -31)*15/12). Is x at most as big as -2/589?
False
Suppose 5*b - 35 = -20. Suppose -b = 3*w + 2*f, 4*w - f = f - 18. Which is greater: w or -2?
-2
Let w = 46 + -50. Which is greater: -0.15 or w?
-0.15
Suppose 3*p - 5*k = -2*k - 9, 2*k = -5*p - 1. Let q be -2*2/(-4) - p. Let z = 331 - 327. Is q equal to z?
False
Let u = 19 - 2. Which is smaller: u or -1/3?
-1/3
Suppose 0 = -2*t - 5*g - 1, 2*t - 4*g = -10. Which is bigger: -0.2 or t?
-0.2
Let p = -34.99 - 0.01. Let r = 47 + -81. Let u = p - r. Which is greater: u or -0.2?
-0.2
Let o = -33 + 37. Suppose -5 = 3*w - 2, -t - 2 = 2*w. Suppose o*f + f + 5 = t. Which is smaller: 2/101 or f?
f
Let j be (-2)/4 - (-996)/64. Let x = -15 + j. Does x = 0?
False
Let t = -85 - -86. Let j be (-1 - 0) + 17/7. Is j != t?
True
Suppose 0 = 3*p - 10*p + 140. Suppose p + 5 = 5*a. Which is smaller: a or 6?
a
Let c = 0.3 + -4.3. Let q = 4 + c. Let y = -71 + 69. Which is smaller: y or q?
y
Let u = -70.971 - 2.149. Let a = -75 - u. Let o = a - 0.12. Is 1/4 smaller than o?
False
Let c = 15 + 73. Let z be (-770)/c - (-1)/(-4). Which is bigger: z or 3/7?
3/7
Let o(f) = 3*f + 3 + 7*f - 9*f. Suppose 0 = -6*l + 3*l - 2*q - 13, 2*l - 3*q = 0. Let c be o(l). Which is bigger: c or -1?
c
Let p be (-30)/25*(-4)/6*-10. Let a be (-4 - (-20)/4)*p/94. Are 1 and a equal?
False
Let t = -47 - -48. Let c be (1 - 3)*t/(-7). Suppose 0 = -0*n - 5*n + 5. Is c bigger than n?
False
Let v(r) = r**3 - 6*r**2 - 6*r - 8. Let s be v(7). Let m = 17 + -67. Let o be (-70)/m + 1/s. Is -6/7 greater than o?
False
Suppose 4*s + 2*x + 168 = 0, 2*x - 216 = 5*s + 3*x. Let d be s/55 - 98/(-10). Are 8 and d equal?
False
Let j(c) = c**3 + 5*c**2 - 2. Let w be j(-4). Let l be ((-10)/w + 1)/(-1). Let a = 0.1139 + 0.8861. Is l equal to a?
False
Suppose 5*v + 33 = -4*x + 4*v, 2*v = -x - 17. Let w = 10 + x. Let s be ((-27)/(-18) - 2)*14/(-4). Which is bigger: s or w?
w
Suppose -p = -2*p. Let k be p/(-3)*(-5 - -4). Suppose k = 11*v - 9*v - 2. Is 2/31 greater than v?
False
Let o(j) = 2*j - 11. Let n(d) = -d. Let v(k) = -n(k) - o(k). Let z be v(11). Which is greater: z or -16?
z
Suppose 2*f + 6 = 8*f. Let m = 1445/7 - 205. Which is smaller: f or m?
f
Let w be (1 + 6/22)/(391/(-23)). Let y = -1/22 - w. Which is greater: y or 1?
1
Let r(t) = -7 + 5 - 11*t - 36. Let d be r(-6). Is 29 equal to d?
False
Let a = -4122 + 638908/155. Let q(z) = -z**3 - 9*z**2 + 21*z + 188. Let m be q(-9). Is m smaller than a?
True
Let h be 8/(-12)*(-15)/2 - 6. Is 2/177 < h?
False
Let a(i) = i**3 + 23*i**2 + 3*i + 70. Let c be a(-23). Which is smaller: c or 4/309?
4/309
Suppose -30*f = -41*f + 1760. Is 161 at least as big as f?
True
Suppose 3*w = 2*u - 0*u + 140, 0 = -3*w + 3*u + 141. Let v = w - 54. Which is bigger: -10 or v?
v
Let f = -2 + 3. Let h = 3.596 + 0.004. Let d = 4 - h. Is f equal to d?
False
Let u be (1 - (-4)/8)/((-3)/(-2)). Which is greater: u or 2/31?
u
Suppose -702 = -21*k + 18*k. Let u be (-4)/(-26) - 36/k. Which is smaller: 8/3 or u?
u
Let b = -2 + -1. Let v = 308 + -3406/11. Which is bigger: v or b?
v
Let z(j) = -j**3 - 4*j**2 + 2*j - 7. Let m be z(-5). Suppose 4*h = 2*t - h + 22, 2*h - m = 0. Which is bigger: 3/10 or t?
3/10
Let u = 11.8 - 13.1. Let m = 1 + -2.2. Let p = m - u. Which is smaller: p or 6?
p
Suppose 0 = r, z = -3*r - 8 + 23. Suppose -2*s + z = 3. Let q(o) = 3*o - 8. Let x be q(s). Are 11 and x nonequal?
True
Suppose -2 + 4 = s. Suppose 0*p - 76 = -5*p + 4*k, -40 = -3*p + k. Suppose -7*w + p*w = 0. Is w > s?
False
Let o be 9/(-6) - 3/(-6). Let u be (-11)/(33/14) - o. Does -5 = u?
False
Let p(y) = y**3 + 15*y**2 - 20*y - 16. Let f be p(-16). Is f < 48?
False
Suppose 0 = -3*n - 5*w + 5, -3*n + 5*n = 3*w + 16. Suppose -2*r + 1 = -n*o + 3, -2*r - 2 = 5*o. Let x be (-9)/30*(o - -2). Which is bigger: 1 or x?
1
Let n(c) = c**2 + 16*c + 136. Let l be n(-36). Is l at most 856?
True
Let l be (-4)/6 + (-8)/(-3) + 2. Let a = 2.4 + 2.7. Let i = a - 5. Is i > l?
False
Let a be 7/(-15) - 4/(-6). Suppose 4*c - 5*j + 29 = 0, 5*j - 30 = 23*c - 18*c. Are c and a equal?
False
Let z = -2 - 0. Let g(m) = -7*m + 8. Let j be g(1). Let f be (12 - z)/(0 - j). Which is greater: f or 0?
0
Let c be 2035/(-7) - (-10)/(-35). Which is bigger: c or -292?
c
Let b(k) = -k**3 - 4*k**2 + 2*k. Let h = 32 + -24. Suppose h = -4*m - 8. Let z be b(m). Is -9 smaller than z?
True
Let h be 12/(-18) + (-28)/(-6). Suppose 3*i - d = 2*i, -d = i - h. Is 2 less than i?
False
Suppose 17*w = 13*w + 240. Suppose 16*p + w = 21*p. Suppose -2*f = -8*f - p. Is f not equal to -10?
True
Let g = 46 + -78. Let b be ((-1)/2)/(8/g). Which is bigger: b or 3?
3
Let g be ((-24)/(-14))/6 - (-16)/(-7). Let b be 51*((-7)/(-3) + g) - 0. Do b and 17 have the same value?
True
Suppose -5*q + 3*g + 6 = -g, 0 = -3*q - 2*g - 14. Let x be 4/10 - (q - (-34)/10). Is -2/161 greater than or equal to x?
True
Let h = 1/179 - -355/537. Is h less than or equal to 0.014?
False
Let h = -15 + 6. Let i(m) = 4*m**2 - m - 1. Let v be i(-1). Suppose 5*y + 32 = 4*t, -t - v = -2. Which is smaller: y or h?
h
Suppose 3*y = f - 16, f + 4*y + 33 = 4*f. Suppose -f*a - 34 = 239. Which is smaller: a or -38?
a
Let k be 3/(9/(-6)) - (-1445)/720. Which is smaller: 0 or k?
0
Let d(u) = -2*u**2 + 40*u - 71. Let i be d(2). Is 2/625 > i?
False
Let y be (-14)/(-63) - (-31)/9. Let n = -79/6 + y. Are -11 and n equal?
False
Let t = 481.5 - 492. Which is greater: t or -2?
-2
Suppose -40 = 2*v - 5*p, -4*v = -7*v - 3*p - 81. Let g = -13 - v. Let l = g + -8. Which is smaller: 5 or l?
l
Let k be (-2)/10 + 134/770. Let g be (-2 + 2)*7/(-35). Which is smaller: k or g?
k
Let r(t) = -t - 6. Let l be r(-6). Let q = -241 - -391. Let g be q/(-35) - (-4 - l). Which is smaller: -6 or g?
-6
Let l = -321.86 - -326. Let x = l + -0.14. Which is bigger: 1 or x?
x
Suppose 0 = 223*o - 220*o - 177. Which is greater: 61 or o?
61
Let f(g) = -16*g + 97. Let u be f(6). Which is bigger: u or 3/149?
u
Suppose 4*v + 9*z = 5*z + 1748, z - 2193 = -5*v. Is v greater than 439?
False
Let g(v) = -16*v - 69. Let l be g(-4). Is l != -6?
True
Suppose -5*a - 2*j + 1408