k be (2/(-4))/(-6 - (-19810)/3332). Are 10 and k non-equal?
True
Suppose 5792 = -64*w - 3744. Do -148 and w have different values?
True
Let r be 2/(-2) + 126/130. Let z(h) = -6*h - 97. Let f be z(-16). Is f smaller than r?
True
Let a(l) = -l**3 - 5*l**2 + 2*l + 4. Let w be a(-4). Let n = w - -17. Let f be 2/(n/1 + 1). Are -1/9 and f equal?
False
Let k(c) = -c + 7. Let w(u) = 1. Let f(n) = k(n) - 3*w(n). Let s be f(5). Is -12/19 < s?
False
Suppose -1 = j - 4, -5*x - 2*j = 144. Let a be 4 - (1265/x)/(-11). Which is smaller: a or 0?
0
Let t = -29 - 14. Let z = 0.87 + -41.87. Let c = z - t. Which is greater: c or 0?
c
Suppose 5*c + 4*g = 1455 + 200, -5*c = 5*g - 1660. Let s = 40830 + -364523/9. Let i = s - c. Is 0 less than i?
True
Let x(t) = -10*t + 75. Let g be x(5). Which is greater: g or 121/5?
g
Let t = 14.6 + 1.4. Let x = 27 - t. Let d = x + -12. Is -10 less than d?
True
Suppose -5*w = 5*l + 61 + 19, -w - 4 = 0. Suppose 0 = -4*t + v + 4, -v + 4*v = -4*t + 4. Which is greater: l or t?
t
Let i be (10/(-4))/((-1)/(-4)). Let c(k) = 2*k**3 - 23*k**2 - 15*k + 25. Let f = -160 + 172. Let j be c(f). Which is smaller: j or i?
j
Let c = -2 + 1. Let j be (19930/(-3280) - -6) + 7/56. Which is greater: j or c?
j
Let z be (-2 + 62)*12/10. Suppose -12*q + z = -30*q. Suppose 0*a - 24 = 4*a. Which is greater: q or a?
q
Let k be 3/6*5/2. Let t be (-11)/((-110)/100) + -8. Which is smaller: k or t?
k
Let g(d) = d**2 - 6*d - 1. Let k be g(4). Let p = 8 + k. Are 1/13 and p non-equal?
True
Let w(v) = v + 9. Let r be w(12). Let x = r - 21. Which is greater: 2 or x?
2
Let t be (-1)/(-4) - (-6 - (-3462)/216). Let b = t + 959/99. Which is smaller: -2/7 or b?
-2/7
Let r be (-2)/(-10) - (-56)/70. Is r >= 11/10?
False
Suppose 0 = 5*a - 15, -4*t + 4*a + 5 = 41. Let q be 8/10*20/8. Suppose -4*n + 2*n - o = 9, -3*n + q*o = 17. Which is smaller: t or n?
t
Suppose 4*w - 83 = 5*o, -w - 4*o - 80 = -5*w. Suppose v - w = 2*x + 4*v, 4*v + 21 = -x. Let d = 1018/2981 + 6/271. Is x at least d?
False
Let u(w) = w**2 - 4*w - 130. Let y be u(32). Is 765 > y?
False
Let g = 51 + -7. Let d = g + -45. Does d = -1/21?
False
Let p = 0.789 + 2.211. Are p and -0.19 nonequal?
True
Let n = 5.9446 + 0.0554. Which is bigger: n or 5?
n
Let i = 32 + -38. Let a = i - -6. Which is smaller: -2/11 or a?
-2/11
Let y = 191.33 + -191. Are 0.1 and y nonequal?
True
Let g(l) = l**3 - 9*l**2 + 15*l - 8. Let p be g(7). Is p at least 2/637?
False
Let u = 428 + -819. Let c = 14077/36 + u. Is c less than -1?
False
Let i = -0.4 + 0.2. Let l(m) = m - 4. Let t be l(10). Suppose -t*x = -1 - 5. Is x greater than or equal to i?
True
Let c = -1085 + 1039. Is c not equal to -29?
True
Let a(v) = v - 6. Let d(t) = t - 11. Let j be d(14). Let u be a(j). Let y be (2/u)/((-341)/(-33)). Is 1 at most as big as y?
False
Let r = -254 - -253.6. Which is smaller: r or -0.15?
r
Suppose 0 = -2*g + 5*v - 18, 5*g + 5*v = 34 - 9. Which is smaller: g or -2/399?
-2/399
Suppose 11*g + 28526 = 28801. Let y(t) = 26*t**2 - t. Let j be y(1). Is g at most j?
True
Let q = -32 - -23. Let d be (-2*7)/(6/(-9)) - 0. Suppose d - 12 = -x. Is q greater than or equal to x?
True
Let b be 2*(-2)/(-48)*4/6. Let q = -17/63 + b. Is -1 bigger than q?
False
Suppose -3*z = -5*v + v - 37, 3*v + 12 = 0. Is z equal to 39/5?
False
Let z(q) = q**2 + 7*q + 3. Let x be z(-7). Let t be 1/x + (-66)/(-18). Which is greater: t or 5?
5
Let b be 0/2 + -1 - -4. Suppose 70*z - 447 = -27. Is b smaller than z?
True
Suppose 3*w - 52 = w. Let u be (w/6)/(7/(-21)). Let q = 16 + u. Is q less than 4?
True
Let g(t) = -t**3 + 6*t**2 - 3*t + 5. Let c be g(5). Let v(a) = a**3 - a**2 - 5*a. Let y be v(0). Is y less than or equal to c?
True
Suppose 0 = -44*r + 226 - 6. Let i(b) = 12*b - 1. Let o be i(1). Suppose -18 = -2*n + 2*l, 4*l + o = 3*n - 4*n. Is r equal to n?
True
Let z = 0.3 + -0.2. Suppose -k = -3*u - 11, -5*k = -10*u + 5*u - 5. Is z at least as big as k?
True
Let w(s) = s**2 + 18*s - 1 + 15*s - 37*s. Let a be w(4). Let m(l) = l**2 + 8*l + 12. Let p be m(-5). Is p equal to a?
False
Let b(p) = -p**3 - 13*p**2 - 31*p - 61. Let a be b(-14). Are 568 and a unequal?
True
Suppose 9 + 0 = -3*i - 3*x, -i + 4*x = -12. Suppose -9*q - 11 = 25. Let c be (-2)/q*(-14)/(-35). Which is greater: i or c?
c
Let u = -1654.3 + 1809. Let z = 155 - u. Which is bigger: -0.3 or z?
z
Let q = -256327033/416 + 616173. Let r = q - -1/416. Is r less than 3?
True
Suppose -4*v = -9*v + 30. Suppose j - 77 = -v*j. Which is smaller: j or 9?
9
Let m be (-4 - (-5 - -4 - 2))*1. Is -2/413 greater than m?
True
Let j(u) = 101*u**2 + 6*u + 4. Let c be j(-3). Are c and 1791/2 non-equal?
True
Let h be (-5 + 4)/((32/(-2))/(-4)). Let k = -0.1 - -0.35. Let w = k - 0.3. Which is greater: h or w?
w
Suppose 215 = -z + 214. Which is smaller: 18/53 or z?
z
Let l = 78 + -78. Let s be -36*(2/4 - l). Is s at least -19?
True
Let y = -7.9 - -8. Let r be (-11)/(-44) - 9/4. Let f be r*(-2)/28*-2. Is y less than f?
False
Suppose -8 = -4*g, 3*g = -3*l - g - 148. Is l smaller than -51?
True
Let x = -0.4 - -0.2. Let f = -453 - -443. Is x at least f?
True
Suppose 6 = 2*g - 0. Suppose g*q - q + 56 = 0. Let y be ((-3)/(-4))/(6/q). Are -5 and y non-equal?
True
Let h = 33.84 + -33.9. Which is bigger: h or -0.03?
-0.03
Let h be 2/6 - (-86)/30. Suppose -8104 = -2*i - 8096. Is i equal to h?
False
Let u be ((-6)/80)/((-6)/(-15)). Let j(b) = -b**2 + 4*b - 1. Let s be j(4). Which is greater: u or s?
u
Let m(s) = -s. Let g be m(-6). Suppose l - g*l - 50 = 0. Suppose 3*o + 4*q + 21 = 2*o, -9 = 3*q. Which is bigger: o or l?
o
Let g = -339 - -371. Which is smaller: 14 or g?
14
Let l(q) = 25*q + 22. Let n be l(5). Let d = n + -89. Which is smaller: d or 57?
57
Let i(u) = -u**2 - 9*u + 11. Suppose -5*t = -4*q + 21 + 13, -t = -5*q - 10. Let w be i(t). Let h be (1/(-4))/(w/(-4)). Is 0 less than h?
True
Let y be 6/81 - (-1750)/189. Is 0 <= y?
True
Let y = -14 + 16. Let b(k) = 5*k + 2 - 2 + 2 + k**y + 0*k**2. Let m be b(-5). Which is bigger: 3 or m?
3
Let w = 4501/6 + -750. Which is greater: w or 87?
87
Let w be 12/(-21) - (-420573)/819. Let r = -513 + w. Which is smaller: r or 1?
r
Let c be 6 + 4 + 8 - (-1 - -6). Which is bigger: 23 or c?
23
Let t(w) = -2*w**3 + 4*w - w**2 + 0*w**3 - 8*w + 2 + 5*w. Let v be t(-1). Are -15 and v equal?
False
Let m = 343 - 343. Is -1/697 smaller than m?
True
Let k = -30.6 + 2.6. Let v = k + 56.7. Let a = v + -26. Is a <= -0.1?
False
Let u = 3002 + -2991. Which is smaller: 26 or u?
u
Suppose 3*r = i - 6*i - 380, -5*i - 390 = r. Does i = -80?
False
Suppose 3*v + 2*v = 0, -4*m - 2*v = -36. Suppose -16 = -4*g + 4*o, 4*g = 3*o + 22 - m. Which is smaller: g or -3/28?
-3/28
Let h be (1/(-9))/((-4)/12). Let u = -3/71 - -441/355. Let c = -7/10 + u. Which is bigger: h or c?
c
Let h be (18/(-3) - -2)/6. Is 0.2 equal to h?
False
Let a = 0.2 - 0. Let t = -2484/5 + 497. Is t != a?
False
Suppose 17*b - 22*b = -60. Suppose -b - 21 = -3*f. Are 11 and f equal?
True
Suppose -g - 138 = g. Which is bigger: g or -2?
-2
Let y = -337 + 339. Let i = -7661/11 + 697. Is y bigger than i?
True
Let r = 299804/75447 + -330/83. Do 0 and r have different values?
True
Let y = -116277/82 + 1418. Let p be (-10)/(-14) + (-4)/(-14). Which is smaller: y or p?
y
Let n be 3/(-2) + (-3)/(-6). Let j be 4/(-2 + (-1 - -4)). Suppose -y - j*y = 0. Which is greater: y or n?
y
Let r(c) = -c**3 - 2*c**2 - c. Let p be r(-2). Let g be (-1)/8 - 1974/(-48). Let j = g - 39. Is j at least p?
True
Suppose -12 = -3*k - 3*m, 5*k + m - 22 = k. Suppose -2*c = -k*c + 40. Let u = c - 11. Do u and 1/8 have the same value?
False
Suppose -5*v + c = -2, c = -2*v + 6*c + 10. Which is smaller: v or -1/28?
-1/28
Let a be (24/30)/((-1)/(-5) + 0). Suppose 4*r - 4*n = a, 2*r = 4*r - 3*n - 5. Which is greater: r or -13/9?
-13/9
Let f = 12 + -10.9. Let l = 10 + -11.2. Let d = l + f. Which is bigger: -2 or d?
d
Let x be (4908/396 - 12) + 3/(-9). Let l = 1 + -3. Let m = l + 2. Which is smaller: x or m?
m
Let k be 4 + (-2532)/(-32) + 4. Let z = k + -87. Is 0 at most as big as z?
True
Let f = -66 + 85. Do f and 18 have the same value?
False
Let o be -2*(124/(-244) - 4/(-8)). Let a(w) = w**2 + 3*w - 5. Suppose 0 = 3*r + 12. Let i be a(r). Is o at least as big as i?
True
Let m(f) = -91*f - 739. Let r be m(