 b be i(-27). Are b and -66 nonequal?
True
Let j be (58/2842)/((-3)/(-21)). Let s = 5 + -2. Is s less than or equal to j?
False
Let z be 0 + (-5)/10 + -3. Let g be 8/(-20) + (-328)/(-20). Suppose -13*t - g = -9*t. Which is smaller: z or t?
t
Suppose -38*j + 39*j + 7 = 0. Suppose 4 = -2*t + 8. Suppose 30 = -t*v - 3*v. Is j at least as big as v?
False
Let u = -1023/140 + 36/5. Let a = 14 - 13. Which is bigger: a or u?
a
Let r be (-1)/(-6) - (-2)/(-28). Suppose -13 = f - 4*n + 3, 4*f - n + 4 = 0. Are r and f nonequal?
True
Suppose 5*k + 2*v = 519, -5*k + 0*k = v - 517. Suppose -5*i - 94 = -t - 2*t, -4*i = 3*t - k. Which is greater: 34 or t?
34
Let d be (-60)/35*-1 - 2/(-7). Suppose -10 = d*m, 2*m + 55 = 4*j - 51. Which is smaller: j or 26?
j
Suppose 3*h = -o - 50, 0 = o - 0*h + 2*h + 46. Let t = 38 + o. Suppose -4*w - 5*u = 10, -w + 0*u - u - 2 = t. Is w greater than 7/8?
False
Let a = 0.93 - 0.9. Let q = 0.13 - a. Let j = -0.1 + q. Is 0 bigger than j?
False
Let h(x) = x**3 + 6*x**2 - x - 6. Let j be h(-6). Let u be 2/(-6) - ((-1475)/210 + -2). Let p = -61/7 + u. Is p >= j?
False
Let l(r) = -r**3 + 3*r**2 + 56*r - 17. Let s be l(9). Is s greater than or equal to 1/181?
True
Suppose 5*a = -n + 18, 3 - 9 = 2*n - 4*a. Which is smaller: 4 or n?
n
Let a = 2/307 + -45/54032. Is 0 greater than or equal to a?
False
Let t(p) = p**3 - 49*p**2 - 47*p - 12. Let n be t(50). Is 140 > n?
True
Let x(a) = -15*a - 132. Let o be x(-9). Which is smaller: o or 18/11?
18/11
Let h(s) = -s**2 + 4*s**2 - 2 - s**3 - s + 3*s**2. Let a be h(6). Let v be (-1)/(-3) - a/(-78). Which is greater: v or 0?
v
Let b be (-6 + 9582/1596)/(1/(-4)). Let s be -2 - (-2 - -3 - 2). Which is greater: s or b?
b
Let s be (10/8 + 1)*56/(-5). Does s = 0.1?
False
Suppose -14 = 3*w - 10*w. Is w at most as big as -4?
False
Suppose -3*z = w + 22, w + w + 2*z = -28. Suppose -3*r = 5*k - 90, 2*k + 2*r - r - 37 = 0. Let g = k - 32. Is g greater than or equal to w?
False
Let s be 1 + -1 - (-123)/205. Suppose b - 6*b = 3*o - 21, 3*b - 17 = -4*o. Which is smaller: s or o?
s
Suppose 14*q - 9*q = 160. Is 27 >= q?
False
Let a(y) = y + 0 + 0. Let h be a(-2). Let f = -369/2 - -184. Is h greater than or equal to f?
False
Suppose -132*m = -117*m. Let q = 91591/67 + -1367. Which is smaller: q or m?
m
Let w(h) = h - 2. Let t(y) = y**2 + 1. Let f be t(-2). Let r be w(f). Suppose 2*j - v = -8 - 3, 0 = 4*j - r*v + 17. Which is bigger: 0 or j?
0
Let v = 4 + -7. Let k(b) = -b**3 - 3*b**2 + b - 3. Let f be k(v). Let q(x) = x - 4. Let c be q(-3). Is c bigger than f?
False
Let j(m) = m**2 - 19*m - 48. Let g be j(21). Let o be 66/(-8) - (-6)/24. Are g and o non-equal?
True
Let l = -585/4 + 146. Is -48 > l?
False
Let j = 39 + -58. Let k = j + 22. Suppose -5 - 1 = k*r. Which is smaller: -4/5 or r?
r
Suppose -4*a + 14 = 10. Suppose -6 = 2*r, 16 = 3*m - 2*r + a. Let z be (0 + 0 - 2) + -2. Which is bigger: m or z?
m
Let o = -13 + 14. Let v be (-18)/(o - (1 + 1)). Which is smaller: v or -1/2?
-1/2
Suppose 0 = -2*h, -2*w - 2*h + 12 = w. Let m(z) = -3*z + 4. Let v be m(w). Which is smaller: -6 or v?
v
Let s = 1484 + -1481. Let p be -1 - (1 + (-36)/7). Which is greater: s or p?
p
Suppose 0 = -0*b + 5*b + 50. Let f(q) = 2*q + 7. Let o be f(-4). Let u be -12 + 4/2 + o. Is b smaller than u?
False
Suppose o = 2*q - 4*o, q - 3*o = 1. Let m be (10/(-8))/((-19)/(-4) + q). Is m > 5?
False
Suppose -3*y - 362 = 5*u - 7*u, 3*y - 5*u + 347 = 0. Is -125 less than y?
True
Let s be 2/(40/(-2))*58. Let x = 763 - 3777/5. Let y = x + s. Which is bigger: y or 2?
2
Suppose -12*s = -4*s - 6*s. Which is greater: -3/190 or s?
s
Let w(m) = 121*m. Let n be w(7). Is -0.1 >= n?
False
Let h(i) = 127*i - 723. Let w be h(5). Which is smaller: -85 or w?
w
Let z = 17 + -13. Suppose 4*q - 9*q = 0. Suppose q = -w + 5 - 4. Is w at most z?
True
Suppose 3*m = 5*o - 10*o + 20, 12 = 2*o + 2*m. Let i be 1 + (434/(-214) - -1). Let x = 187/963 - i. Are o and x nonequal?
True
Let m be (-1)/4*40/(-2). Suppose -3*y = -5*p + 10, -2*p + m*y = -p - 24. Are -3/49 and p non-equal?
True
Let t = -11/635 - -32411/1797685. Which is bigger: 0 or t?
t
Suppose -5 = -m + f, -3*m + 0 = 3*f - 3. Suppose -m*k = 27 + 9. Is k smaller than 0?
True
Let g = 156 + -157. Which is greater: g or 4/41?
4/41
Suppose -42 = 3*o + 36. Let y = -172 - -209. Let s = y + o. Does 13 = s?
False
Let i = -0.1375 + -0.0425. Which is smaller: 2 or i?
i
Let o = 629/1703 + 2/131. Which is smaller: 2/3 or o?
o
Let b = 91 - 87. Is b != 6?
True
Let m = -7642/65 - -584/5. Which is smaller: 0.1 or m?
m
Suppose 2*a + 66 = 5*a. Let p = a - 27. Let y be ((-8)/20)/(p/50). Is y != 22/7?
True
Let y be 9 + 852/(-126) + (-25)/15. Is 0.23 >= y?
False
Suppose -12*n + 47 - 119 = 0. Which is greater: 4/3 or n?
4/3
Let m(y) = 39*y**2 + 3*y - 1. Let u be m(2). Let o = 241 - u. Let q be 3 - (-4)/(o/(-52)). Are 5 and q nonequal?
True
Let l = 442 - 505. Which is smaller: l or -59?
l
Let y(f) = -40*f. Let x be y(-5). Let d be 1 - (24 - 0)*8/x. Is 0 greater than or equal to d?
False
Let m = 202 - 192. Let h be 42*((-1)/4)/(-1). Is m equal to h?
False
Suppose 11*i + 62 - 62 = 0. Let y = 1296 + -59611/46. Which is smaller: i or y?
i
Suppose 188 = 2*n + 3*y, -5*y + 8*y = -4*n + 388. Suppose 5*l - n = -10. Suppose 0 = -5*m + d + l, -m + 2 = 4*d + 11. Is m less than or equal to 2?
False
Let i = -3 + 2.9. Let s = 0 - i. Let o = -920 + 934. Is s smaller than o?
True
Let y be (4/(-14))/(2/(-3659)). Let p = 344 + -869. Let o = p + y. Do o and -1 have different values?
True
Let c = 455 + -439. Which is smaller: c or -0.5?
-0.5
Suppose 5*h - 68 = 3*j, 5*h = 4*j + 40 + 29. Which is smaller: 198/17 or h?
198/17
Suppose -6*o - 3*o = 0. Suppose o = -5*f + 6 - 21. Which is smaller: f or 3?
f
Let h = -4.8 - -5. Let s(n) = -3*n**2 + 11*n - 12. Let j be s(8). Let c = j + 814/7. Which is bigger: c or h?
c
Suppose 3*y - 120 = -y + 4*v, -5*y + 180 = 5*v. Suppose 4*f + 11 = 3*z - 19, 4*z = 3*f + y. Suppose -3*a = -4*a - z. Which is smaller: a or -7?
-7
Let r = -5 - -1. Let v(d) = -d**2 - 8*d + 3. Let a be v(r). Is a not equal to 18?
True
Suppose 3*w - 16 + 7 = 0. Let d(f) = 2*f + 5*f - 3 - f**2 + 3*f - 5*f. Let h be d(w). Is h equal to 14/9?
False
Let z = -71 - -69. Let f = z + 0. Which is smaller: f or 0.6?
f
Let z be -11 + 7 - (-2769)/690. Which is smaller: 0 or z?
0
Let o = 1.4 - 2. Let x = o + 3.6. Which is smaller: 0.05 or x?
0.05
Let v(w) = -2*w - 2. Suppose -2*z - 2*b = 6, 3*z + 0*b + 5 = b. Let h be v(z). Let p be (-4)/6 - ((-12)/9 - 2). Do p and h have different values?
True
Let x(o) = -4*o + 9. Let u be x(3). Let w be 2/8 - -1*u/4. Which is bigger: -1.6 or w?
w
Let s(y) = -y - 123. Let m be s(-20). Is -103 > m?
False
Let c = -1034 + 85825/83. Which is greater: c or -1?
c
Let l = -510 + 15812/31. Suppose -2*n = 3*x - 0*x + 5, 4*x = -n - 10. Let t be (43/(-86))/((-1)/n*-1). Which is greater: l or t?
l
Let q = 57.86 - 0.86. Let n = -38 + q. Let v be 27/36 + (-2)/8. Which is smaller: v or n?
v
Let u = 159 + -152. Let m = u - 24. Is -0.1 not equal to m?
True
Let b(c) = -6*c + 10 + c**2 + 3*c**3 - 2*c**3 + c**2. Let d be b(-4). Let q be ((-4)/(-40))/((-2)/(-8)). Is q bigger than d?
False
Let c be -1*3 - (10 - (-2862)/(-222)). Is -1 equal to c?
False
Let f = -1239 - -1277. Let t be (78 + 0)*(-1)/(-2). Is t bigger than f?
True
Let i be (5874/54 - -7) + (-2)/(-9). Let j = i - 113. Is 3 equal to j?
True
Let u be (-2 - -1)*9*(-4)/12. Let x be (-4)/6*u/(-9). Suppose z = -1 + 2. Which is greater: x or z?
z
Let s be 950/(-13055) + 3/18. Let z = s + 1/746. Is z != -1?
True
Let u = -0.125 + -0.875. Which is smaller: u or -380?
-380
Let y = 332 + -331.965. Does 4 = y?
False
Let i = 9/107 + -2125/26536. Is i equal to 0?
False
Let x be -4*1/(8/6). Suppose 11*b + 59 = -7. Let f = x - b. Which is greater: 5 or f?
5
Let n(o) = -2*o**3 - o**2 + 4*o + 50. Let y be n(-6). Which is smaller: y or 421?
421
Let q be (-12)/180 + (-593)/(-9345). Which is greater: q or 0?
0
Let t = -358 - -359. Is 2/1217 at most as big as t?
True
Let c = -5693/118428 + 45/556. Is c < 0?
False
Let j = -8 - -4. Suppose 4*b + 593 = 5*n, -4*b - 50 = -n + 539. Let d be (-1)/4 + b/36. Which is smaller: d or j?
d
Let o(q) = q**3 + 16*q**2 - 35*q - 41. Let r be o(-18). Which is bigger: r or -58?
-58
Supp