 + 61 = -3*j, 3*x + 75 = -50*j + 45*j. Are -14 and j non-equal?
True
Let b(w) = w**3 - w**2 + 62. Let y be b(0). Let m = y + -28. Let z be (-404)/m + 4/(-34). Is z at least as big as -25/2?
True
Let l = 4.407 - 3.407. Which is smaller: l or -372/7?
-372/7
Suppose 265*h - 1286 = 280*h + 529. Are h and -119 nonequal?
True
Let d = 224/3 - 893/12. Is -2109 greater than d?
False
Let k be (-2292)/(-577) + -1 + -21*(-8)/(-56). Which is smaller: k or -1?
-1
Let m(h) = -h**2 - 5*h + 8. Let i be m(-9). Let n = 30 + i. Let s(a) = -4*a**2 + 4*a - 3. Let f be s(n). Is f less than -11?
False
Suppose 0 = 5*m - 79 + 289. Let j be 14/4*9/m. Let d = 0.06838 - 18.06838. Which is smaller: j or d?
d
Suppose -a = -5*a + 5*f - 9347, -4691 = 2*a + f. Let k be -7 + 2 + 131856/56. Let g = k + a. Which is smaller: 6 or g?
6
Let q be 11/968*16 + (-63037)/220. Let b = q + 1203/4. Which is bigger: -0.1 or b?
b
Let m(r) = r**3 + 11*r**2 + 7. Let g be m(-11). Suppose -g*y = -4*y - 345. Let j = -113 + y. Is 2 equal to j?
True
Let h = 404.565 - 0.565. Let m = h + -405. Which is smaller: -12 or m?
-12
Let y be (-3864)/(-1449)*(34/(-32) + 1). Suppose 0 = 3*b - 4*b. Let g be b - 0 - 2/8. Which is smaller: y or g?
g
Suppose 0 = -5*t - 4*f + 1113 + 5281, -1274 = -t + 4*f. Let s be (-2)/9 - (-320)/t. Suppose 3*m + 12 = 3*z, m - 2*z + 7 = -2*m. Is m <= s?
False
Let p be 10*(-2 + 2/(-5)). Let z = -216 - -218. Let n be (7 + (-133)/14)*z*5. Is p greater than n?
True
Let v = 1369.1 - 1370.1. Suppose 0 = -4*t + 24 - 8. Suppose t*a = 26 + 26. Which is greater: v or a?
a
Let h be 64/11466*-30 - (-4)/26. Do h and 0 have the same value?
False
Suppose 0 = -7*t + 17*t + 280. Let j be 12/t + (-594)/35. Let o = j + 17. Which is smaller: o or 59?
o
Let t = 156323/76735 - 209/103. Is 1 bigger than t?
True
Let p = 1254.717 - -0.283. Which is bigger: p or -0.5?
p
Let s = -3.47 + 4.77. Let f = s - 5.3. Which is smaller: f or 2/7?
f
Let f = -17.858 + 17.558. Is f less than or equal to 54/13?
True
Suppose 2*k + k = 15, 2*v = -4*k + 14. Let i be (-1)/v - (-212)/12. Let n be i/(-30) + (-1)/15. Which is bigger: 1.2 or n?
1.2
Suppose 8 = 3*i + i. Suppose -33194*a + 33074*a + 360 = 0. Is a equal to i?
False
Let y = 100 + -81. Let r = y + -11. Let i(h) = h**3 - 9*h**2 + 12*h - 15. Let b be i(r). Which is smaller: 15 or b?
15
Suppose -6*y + 49 = 55. Which is greater: 25/57 or y?
25/57
Let c(p) = p**2 - 15*p - 30. Let z = 16 + 1. Let l be c(z). Suppose 11 = -5*g - 2*q - 6, 2*g + l*q = 6. Which is smaller: g or -3?
g
Let z = 0.049 - -70.951. Let g = -71 + z. Which is smaller: -5/3 or g?
-5/3
Suppose 6*y - 5*j - 255 = -1550, 3*y = -2*j - 643. Does -215 = y?
True
Let w = -6500/49 + 624654/4655. Is 1 smaller than w?
True
Let v be 5/(210/83846) - (-130)/(-39). Is v less than 1991?
False
Let w(c) = -336*c + 38. Let z be w(-1). Does 374 = z?
True
Let j = 9.27 + -0.27. Let q = j - -31. Let b = -39.1 + q. Is b at most 1?
True
Let y be 0 + -5 + -3 + 15. Suppose y*f - d = 2*f - 8, -13 = 4*f - 3*d. Is -2 at most as big as f?
True
Let m be ((-2)/(-12))/(66/(-25608))*9. Which is greater: -589 or m?
m
Let l = -23487/5 - -68652511/14615. Which is greater: 0 or l?
l
Let x = -218/217 - -54554/18879. Is 1 at least x?
False
Let a(t) = t**3 - 21*t**2 + 54*t - 492. Let b be a(19). Which is greater: b or -186?
-186
Let o be ((-6)/(-15) - 0)*-15 + (-14 - -52). Suppose -11 + 42 = h. Are o and h non-equal?
True
Let m be ((-4)/(-7))/((-2)/(-21)*3). Suppose -1 = -b + 4. Suppose m = -3*t - 1, -t = b*n + 1. Is -2/69 >= n?
False
Let r = 6 + 80. Let q = r + -56. Let w = -1.04 + 0.04. Is q < w?
False
Let g(d) = -6*d + 10. Suppose 37 = -3*i - 2*t, i - 3*i - 13 = -t. Let j be i/6*8/(-6). Let z be g(j). Is z >= 0?
False
Let v be (-16)/6*(637/(-28) - -19). Let k be (-2)/(-6) - (-182)/39. Which is smaller: v or k?
k
Let r = -26 + 49. Suppose 3*f - 46 - r = 0. Suppose -2*y = 5*p - 53, 2*y - 6*p + 2*p - 44 = 0. Is f at most as big as y?
True
Let f = 154.762 + -164.6647. Let j = f - 0.0973. Let v = 3/50 + 79/350. Which is bigger: v or j?
v
Suppose 7*l = -7*l - 58870. Let s = l + 37933/9. Which is greater: 11 or s?
11
Let o(l) = -l**3 + 3*l**2 - 33*l + 95. Let f be o(-6). Which is greater: 616 or f?
f
Let q = 23250.4 + -23250. Which is smaller: -3147 or q?
-3147
Let p = 0.39137 + -0.29137. Which is greater: p or -18686?
p
Let q = -16 - 24. Let p(u) = -3*u**2 - 36*u + 672. Let i be p(-22). Let n be (126/(-15))/(i/q). Is n at least as big as 27?
True
Let f = -145/282 - -2/141. Suppose 5*z = -4*r + 275, -4*r + 5*z = r - 400. Let v = 65 - r. Which is smaller: f or v?
v
Let v = 5319 + -5313. Does v = 45/4?
False
Let k = -68 + 70. Let u(s) = -36 - 4*s - 26*s - s**2 - k. Let x be u(-28). Is 67/4 != x?
True
Let s be (-1774)/(-5) + 56/245*70/(-20). Is 8 greater than s?
False
Let w = 291.563 + -291.5. Let b = 2/5 - -1/10. Which is smaller: w or b?
w
Suppose 39*a + 3 = 35*a - m, -3*a - 8 = -5*m. Which is bigger: a or -19/96?
-19/96
Let i = 19927/39 - 511. Let r be (-1166)/(-954) + (-2)/9. Suppose -2*g + r = -3*n - 2, 0 = g. Which is greater: n or i?
i
Suppose 0 = 2*x - 81 - 45. Suppose 51*t + 1792 = 83*t. Let u = t - x. Does u = -7?
True
Let g = -7227/4 - -1791. Let z = g - -197/12. Let s = 2.8 + -2. Is s < z?
False
Let h be 2 - 19*3/4. Let v(m) = -2*m**3 + 3*m**2 - 8*m + 8. Let z be v(2). Are h and z unequal?
True
Let k = 15602/7 + -2212. Is 18 at most as big as k?
False
Let o(j) = j - 4. Let k be o(5). Let h be (-2)/15*3*(9 - (-24856)/(-2764)). Which is greater: h or k?
k
Let n(i) = -i**3 - i**2 + 2*i - 67. Let b be n(0). Let o = b - -142. Let z = -76 + o. Is 0 != z?
True
Suppose -10*v = -9*v. Suppose v = -u + 24 - 27. Do 0.058 and u have the same value?
False
Let b = 0.66 + 0.34. Let k = -2836 + 2884. Which is bigger: k or b?
k
Suppose 135*i - 112*i - 43148 = 0. Is i != 1873?
True
Suppose -48 = 6*x - 120. Suppose 0 = t - 5*n - 23 - x, -3*t - n = -25. Is t smaller than 5?
False
Let g be (-56)/(-10) - (-96)/(-160). Suppose -11*k + 8 = -13*k - 2*i, g*k + 4*i = -15. Do k and -2/159 have the same value?
False
Let n = -7848/7 + 211595/189. Which is greater: -2 or n?
n
Let a = -26 - -67. Suppose p = -3*p - 5*l + a, 4*l = -4*p + 44. Let t be 2/(-2) - -5*3. Is p at least as big as t?
True
Suppose -366*w + 375*w = -7065. Let u = w - -773. Let m = -32 + 18. Is m at most as big as u?
True
Let t be 444/198 + 2/3. Let c(o) = 188*o + 1882. Let n be c(-10). Which is smaller: t or n?
n
Let m(f) = -f**3 - 42*f**2 - 80*f + 1. Let n be m(-40). Let q be (-21)/(n - 4)*105/84. Let w(c) = -2*c - 2. Let r be w(-6). Are r and q unequal?
True
Let f be (-1)/103*(980/15)/14. Which is bigger: f or 0?
0
Let j(g) = g**2 + 30*g + 40. Let l be j(-32). Suppose 0 = 10*v - 2*v + l. Are -13 and v non-equal?
False
Let j be 1/12*171/(-6). Suppose 33*d + 32*d = 195. Suppose 8 = -4*c + d*g, 0*g + 2*g = 0. Which is smaller: c or j?
j
Let w = 11182 + -11181. Is w at most as big as -7/62?
False
Let q = 215.21 - 217. Let g = q - -2.01. Which is smaller: 1/3 or g?
g
Suppose -1006 = 3*d + 4*k, 5*d - 5*k + 1638 = -2*k. Let g be (-987)/d + 3 + -6. Is g at least -1?
True
Suppose 5*r - 110 = -5*c, -5*c - 2 = -22. Let a be 2/8*(-1 + r/12). Let m be 6/4 + 4/(-8). Which is greater: a or m?
m
Suppose s + 0*s = 22. Let u = 47727 + -238633/5. Is s >= u?
True
Suppose 33*s + 58357 - 3511 = 0. Is s bigger than -1661?
False
Let b = -52202/11 - -211415/44. Let u = 0 - -1. Which is bigger: b or u?
b
Let g = -168 - 128. Let v = g + 290. Which is smaller: -13 or v?
-13
Suppose -7 = -3*y + 11. Let s be 20/y + (-8)/24. Suppose 0 = s*b + u + 16, 0*b + u = 5*b + 24. Is 4 < b?
False
Let d = -30821 + 30821. Which is bigger: d or -25.76?
d
Let j = 0.076 + -0.06. Let c = -9.3 - 2.684. Let m = j - c. Which is greater: m or 2/3?
m
Let p = 110126/2505 + -658/15. Which is smaller: p or -1?
-1
Suppose -7 = 2*b - 3*k, -k = -0*b + 3*b - 17. Let r = 0.726 - 0.116. Let c = -0.91 + r. Is c > b?
False
Let u = 9 + -8. Let d be (9/(-2)*(-44)/(-33))/(-1). Let x be d + -2 - 522/131. Which is smaller: x or u?
x
Let p = -15 - -5. Let t = 256 + -349. Let y = -101 - t. Which is bigger: p or y?
y
Let v be (-1)/((-3)/(-2) + (-26)/16). Let c be (34/v + -4)/((-26)/8). Which is smaller: c or -1?
-1
Suppose -143*n = -142*n - 11*r - 52, 0 = -3*n - r + 5