9*z**2/2 - 4*z + 1. Let p be x(13). Which is smaller: -56 or p?
p
Let d be (14/(84/606))/(-3). Does -34 = d?
False
Let k = 178/191 + -229455/246008. Is 1 at least as big as k?
True
Suppose -740 = 4*j + 33*j. Let r be 8/j + (-5 - 18/5). Is -57/7 smaller than r?
False
Suppose 1134*l = 1132*l - 792. Is l <= -396?
True
Let p = -38 - -41. Suppose 27 = 6*s - p*s. Let r(j) = -j**2 + 8*j + 21. Let v be r(s). Which is smaller: -2 or v?
-2
Let i = -133 - -130. Let t be ((-33)/(-9))/(-11)*1*i. Let q be (-8)/(-10) - 1/(-5). Is t less than q?
False
Let q = 638 - 633. Suppose 0 = -b + 3*o + 24, -4*b + 21 = -q*o + 8*o. Suppose l + 3*p = 13, 13 = l - 0*l - 5*p. Which is smaller: b or l?
b
Let n = -222 + 242. Suppose -5*y = -3*i + n, 0 = 3*y - 13*i + 10*i + 18. Is y < -30/13?
False
Suppose -3982*b + 3972*b = 590. Which is smaller: 14 or b?
b
Let p(t) = -2*t**2 - 7*t - 7. Let k be p(-2). Let y be (5/(-1) + 4)/(k/(-2)). Which is greater: y or -22/7?
y
Let v = 362 - 101. Let h = -262 + v. Is h >= 3/38?
False
Let n be 87 - 8/5*(-15)/(-6). Let x(l) = l**3 + 30*l**2 - 39*l - 164. Let y be x(-31). Is n greater than y?
False
Let t be ((-25)/(-100))/((-771)/116188). Let s = -113/3 - t. Which is smaller: -0.2 or s?
-0.2
Suppose 136 = -2*j + 144. Let t be ((-546)/(-65) + -12)*(-5)/j. Let l = -0.1 + 1.1. Which is bigger: t or l?
t
Suppose 119 = 4*j - 33. Let t(v) = -3*v**3 - 27*v**2 - 2*v + 19. Let m be t(-9). Suppose 10*g - 407 = -m. Is j at least g?
True
Let u be (3*-2 + -1)/((-5580)/(-465)). Is 0 less than u?
False
Let g be (-16)/6*465/(-10). Suppose -7*l - g = -89. Which is smaller: -17 or l?
-17
Let p = -59 + 28. Let a = p - -34. Suppose a*f - 2 = 1, -1 = y - 2*f. Is -1/10 greater than or equal to y?
False
Let u = 8212136/211 + -38920. Is u smaller than -1?
False
Let k be 0 + 7 + 3 + -7. Suppose -16 - 20 = -k*i. Let d be (-10)/(-3)*954/265. Do i and d have different values?
False
Let p = -2370.774 + 8.774. Are 0.2 and p nonequal?
True
Let h = 11837 + -11831. Which is smaller: 1739 or h?
h
Let a be (-6)/21*(-3 - -10). Let u be (a/(-2 + 62))/((-20)/50). Is u != -1?
True
Let z(v) = -v**2 + 2*v - 1. Let d be z(2). Let c be -6 + 10*(-7 + 6). Let u be (c/(-12))/(-2*d/3). Which is smaller: u or 3?
u
Let t = 0.23 - -55.77. Let j = -71 + t. Which is smaller: 0.6 or j?
j
Let f be -3 - (20 + (-2)/2). Let t(m) = 8*m**2 + 14*m + 32. Let i be t(-4). Let v be i/50 + f/11. Which is greater: v or 1?
1
Let z be (15/(-60) + (-1)/(-4))/1. Is -1/1385 != z?
True
Let a = -87 + 162. Let d be (((-6)/10)/(-3))/(42/a). Let t(b) = b**2 - 7*b + 5. Let v be t(6). Which is smaller: d or v?
v
Let d = -0.0405 + -14.2595. Which is bigger: d or -0.06?
-0.06
Suppose -139175 = -206*s + 94017. Is s at most 4525/4?
False
Let x(s) = -s**2 + 8*s - 29. Let h be x(5). Let p be (-250)/(-175) - (-4)/h. Is p equal to 0?
False
Let x(y) = 336*y + 1050. Let f be x(-4). Is -1181/4 less than or equal to f?
True
Suppose 4*n + 6763 = 5*g, 5*g + 10*n = 8*n + 6781. Let y = g + -627367/463. Which is smaller: y or -1?
-1
Suppose -5*l = 9 + 6, 0 = 2*a - l - 1. Let j be (a - 1)*(-1)/1. Let k be -25 + (-6307)/(-204) + 12/(-2). Is k bigger than j?
False
Let s be (((-1377)/34)/(-27))/((-3)/1). Which is smaller: s or 2038?
s
Let t = -8958 + 8901. Let u be (-1 - -2)/(2 + -1). Is u smaller than t?
False
Suppose -3*i + 2*i + 50 = 5*t, -i = 0. Suppose 0 = 2*p - 2*u - t, -4*p = -5*u - 27 + 3. Does p = -18?
False
Suppose -5*h + 537 = -3*g, -4*g = 3*h - 6*h + 705. Which is greater: -177 or g?
g
Let b = 2505061/11 + -227533. Is b not equal to 200?
True
Suppose -3*t = 6, 4*a - 6*t + 2*t - 20 = 0. Let i = -120/41 - -1417/246. Which is greater: a or i?
a
Let s be (4/11388*-2)/(48/(-648)). Is s > 1?
False
Let s(f) = f**2 + f + 4. Let d be s(3). Let x = 23 + 17. Let u = x + -25. Is u bigger than d?
False
Let c = 1872 - 9357/5. Let x(z) = z**3 + 2*z**2 - 3*z. Let s be x(-3). Let w be 1 - 0/(-1) - s. Are w and c nonequal?
True
Let h be (1372/(-70))/(3*(-6)/10). Which is greater: -6 or h?
h
Let a = -48.193 - -0.193. Let l = a - -46. Is -7 <= l?
True
Let p = 217 - 236. Let v(f) = 7*f + 133. Let r be v(p). Is r < 15/52?
True
Let n = 193 + 1138. Which is smaller: n or 1332?
n
Let u = -9.7 + 3.7. Let t = u + 7.08. Let x = 0.08 - t. Are 12 and x nonequal?
True
Let l = 0.20148 - 0.07408. Are l and 2/13 nonequal?
True
Let x(w) be the first derivative of -5*w**2/2 - 2*w + 1. Let m be x(-3). Suppose -35 = 8*r - m*r. Which is greater: 6 or r?
r
Let z be 636/(-70) - 2/10. Let g = 9750 + -9758. Is z > g?
False
Let u(z) = -22*z**2 - 709*z + 9. Let i be u(-32). Is i smaller than 163?
False
Let a(z) = 2*z**3 + 71*z**2 + 20*z - 212. Let l be a(-35). Is l >= 315?
False
Let j be (5/(-40)*0)/4. Let i be (j - -1)/(73/6). Is i greater than or equal to 1?
False
Let n be (26/(-4) + 8)*-2 + (4 - 2). Is -12/379 at most n?
False
Let h = -2.755 + 45.755. Let z = -6.7 - 41.3. Let n = z + h. Which is smaller: n or -3?
n
Suppose 561 = 34*t - 31*t. Let n = t + -187. Is n smaller than 0?
False
Let y be (-3 - -4)*-1 - (0 + -2). Let t be (-2 - 8 - -18) + y*-4. Are t and -2/9 nonequal?
True
Let i = -15 - -13. Let o = i + -19. Let d = o + 14. Which is smaller: 2 or d?
d
Let q = -6457729/1468 + 4399. Which is smaller: -1 or q?
-1
Let r = 55/7 + -57/7. Let d = -1436 + 1565. Which is greater: d or r?
d
Let z be -1 + 3 + (-6 - -3). Let j be z/(-6) - (-21)/(-150). Which is bigger: -1 or j?
j
Suppose 5*t - 12 = q - 3, 4*q = -5*t + 14. Are t and 79/42 unequal?
True
Let a = -0.04858 + -0.31142. Let f = -3.003 - -0.003. Is a at most as big as f?
False
Suppose 33*d - 34*d + g - 90 = 0, 182 = -2*d + 4*g. Let k = d + 89. Are -10/11 and k equal?
False
Let q be 10/20 - (-3)/2. Suppose 4*x - 34 = -q. Let u be 2 + x/(-20) + (-2)/(-5). Which is smaller: 5 or u?
u
Let g(j) = -j**3 + 3*j**2 + 2*j + 13. Let r be g(4). Suppose -r = -22*f + 17*f. Which is smaller: f or 10/7?
f
Suppose 8*q = 2*k + 5*q - 2684, 1332 = k + q. Is 1336 at most as big as k?
True
Suppose 0 = -49*c + 46*c + 3. Let d be (48/56)/((-66)/(-63) - c). Is d at most 2/3?
False
Let l = 3991 - 3984. Which is greater: -129 or l?
l
Let l(i) = 189*i + 2658. Let c be l(-14). Let n be 132/(-5) - (-2)/5. Let g = 37 + n. Which is greater: c or g?
c
Suppose -68819 - 50710 = 143*d + 57362. Which is greater: d or -1239?
d
Let q = 188 - 228. Let h be (-15)/q*-30*-4. Which is smaller: 42 or h?
42
Let z = 78 - 75. Suppose 0 = -2*q - 2*s - 592, -z*q - s + 0*s - 878 = 0. Which is smaller: -290 or q?
q
Suppose 3*x - 4065 = 3*q, 4*q + 33*x = 4*x - 5189. Do q and -1335 have different values?
True
Suppose 3*y = -4*d - 3644, 26*y - 30*y = d + 4837. Is y less than or equal to -1207?
True
Let p be (-1 - (-1128)/40)*1*-5. Let k = p - -224. Which is greater: k or 89?
89
Let o(a) = a**3 - 16*a**2 + 11*a + 23. Let x = -240 - -255. Let m be o(x). Is -36 bigger than m?
True
Let u(p) = 16 + p**3 - 9*p + 7*p - 15. Let y be u(1). Is 2/45 greater than or equal to y?
True
Let s be (120/18 + -7)*-6. Suppose 0 = -0*u - 2*u - 5*x - 142, -5*x + 102 = -s*u. Is -63 not equal to u?
True
Suppose y + 63*v + 54 = 67*v, 36 = -y + 2*v. Do y and -599/36 have the same value?
False
Let h = 9798 + -9723. Is h <= -18?
False
Let i = -0.16 + -1.04. Let n = 13/72 - 679/1368. Let g = n + -20/57. Which is greater: g or i?
g
Let l = -467332 + 42992453/92. Let i = l + 271/12. Which is bigger: 0 or i?
0
Let m be (-2 - (-12)/8)*(-136)/(-102). Let g = 0.2 - 0.1. Which is smaller: g or m?
m
Let m = -72 - -73.13. Let s = 1.1 - m. Let z = s + 0.03. Are z and -8 unequal?
True
Let d be (-3)/(-1)*(-8)/12. Let u(i) = 11*i**2 - 5 - 350*i + 346*i - 12*i**2. Let o be u(d). Are -1/76 and o non-equal?
True
Let f = -1639/3857 - 2/551. Let x be (-232)/(-28) - 2/7. Let v be (-10)/(-20)*x/9. Which is smaller: v or f?
f
Let n = -220.0386 - -0.0386. Let w = -227 - n. Which is greater: -5 or w?
-5
Let n = -4934 - -4961. Does n = 30?
False
Let a(y) = 14*y - 5*y**2 - 45*y**3 + 0*y**2 + 44*y**3. Suppose 0 = -10*c - 21*c - 217. Let q be a(c). Which is smaller: 3 or q?
q
Suppose -3*s - d - 6 = 0, d + 2*d = 0. Let z = s - -3. Which is smaller: z or 2/83?
2/83
Suppose 84*c = 81*c - 360. Let v be 3080/c - (-5)/3. Is -24 at most v?
True
Suppose 0 = 4*o + 13702 - 41822. Let d be 4/(-10) + o/(-50). Is d smaller than -14