e 12 + ((-921065)/(-1870))/(-41). Which is smaller: a or 0?
a
Suppose 173 = -2*c - 177. Let h = -171 - c. Which is smaller: 11 or h?
h
Let i(b) = -11 + 33*b**2 - 34*b**2 - 12*b + 0. Let o be i(-11). Suppose -5*j = a - 4, 4*a + 7 = 3*j - o. Is j smaller than 1/37?
False
Let n = -484 + 228. Let z = n - -256. Which is smaller: 14/11 or z?
z
Let m = -364.4 + 382. Let t = 11.6 - m. Which is bigger: 2/25 or t?
2/25
Let z be 20/1716*(-2)/5. Let x = z + -115/6006. Which is greater: x or -1?
x
Let m(a) = 1678*a - 17. Let y be m(2). Let o be (-5)/(-45) - 455/y. Which is smaller: 0 or o?
o
Let k = -714 - -714.01. Is k >= 80?
False
Let c(b) = 17*b - 1093. Let y be c(65). Which is greater: y or 492/37?
492/37
Let i be (-2)/(-12)*((-9251)/(-232) + 19). Is 10 < i?
False
Let n(p) = -5*p**2 + 2*p + 3. Let d be n(3). Let m = d - -42. Suppose -3*u = -m*u. Are u and 9 unequal?
True
Let t(m) = -m**3 + 5*m**2 - 4*m + 2. Let l be t(4). Suppose -3*o + 8*o + 3*s = 23, l*s = 2. Suppose 3*w - 9 = r - 0, w + 19 = o*r. Are 6 and r non-equal?
False
Let r = -158.1499 + 2608.1609. Let m = 2449 - r. Let g = m - -0.011. Is -0.42 less than g?
False
Let f = -29 + 18. Let l = -341.3 - -343.3. Which is bigger: f or l?
l
Let g = 46 + -33. Suppose -17 + 61 = 11*n. Let a be (-22 + n)*(-6)/9. Is g < a?
False
Let i = 10106/567305 - 8/415. Let o = i + 20527/15037. Which is bigger: 0 or o?
o
Let d = 509 - 508.9286. Let t = d + 39.9286. Is 2/3 at most as big as t?
True
Suppose 22 = -4*u + 3*h, -46*u + 51*u - 3*h + 23 = 0. Which is bigger: -4/2273 or u?
-4/2273
Suppose 0 = 143*g - 142*g + 4. Let k be 1/(g/4) + -19. Let l = k + -4. Is l != -23?
True
Let z be (-3942)/162 - 5/3. Which is greater: -54 or z?
z
Let d(q) = 1253*q - 445. Let a be d(2). Which is greater: a or 2059?
a
Let h = 8 - 6. Suppose 0 = -4*q + 2*o + 30, 2*q = -4*o - o - 15. Suppose -5*i + 6*i + q*a - 22 = 0, 4*a - 8 = 4*i. Is i != h?
False
Let t be (144/5)/(-3)*(-1760)/264. Let q be (43 - t)*5/(-9). Which is bigger: q or 0.1?
q
Let v = 12 + 4. Suppose -v*z + 12*z + 12 = 0. Suppose z*p = -25 + 25. Is 12/23 at most as big as p?
False
Let h be 2/13 - (-648)/351. Suppose -h*j + 3*a = 610, 2*j + 361 = a - 241. Does -300 = j?
False
Let o be 1/12 - ((-215764)/(-48) - 3). Which is smaller: -4493 or o?
-4493
Let x = 656/27159 + 30/823. Let j = -12 - -12.14. Which is greater: j or x?
j
Let d = -2 + 5. Suppose 0 = d*z, 0 = -2*n - 0*z - 2*z + 2. Let i be (30/9 - -2)/6. Is n bigger than i?
True
Suppose -55*v = -659 + 714. Which is greater: -70 or v?
v
Let i(q) = 2*q**2 + 11*q + 18. Let b = -39 - -34. Let l be i(b). Is 12 < l?
True
Let o = -119 + 137. Let p(f) = -f**2 + f + 39. Let z be p(0). Suppose 5 = -i, 0 = -2*u - i + z - 8. Is o smaller than u?
False
Let w = -0.19 + 0.09. Suppose 44 - 184 = -5*z + 2*p, 5*z - 140 = -2*p. Which is bigger: z or w?
z
Let h = -7707/44 + -117827/308. Are -557 and h non-equal?
True
Let l(x) = -x**2 + 10*x + 13. Let z be l(11). Let y = -661/6 + 315955/2868. Let g = 13379/4780 - y. Which is smaller: g or z?
z
Suppose 741*r + 4*k = 737*r + 260, 5*k + 15 = 0. Is r at least as big as 8?
True
Let v be -352 - (2 + 6 + -10). Suppose 0 = -131*n + 132*n + 350. Do n and v have different values?
False
Let b = 38909813/115412 - 661/2623. Let v = -337 + b. Is 1 greater than or equal to v?
True
Let z(t) = -t**3 - 11*t**2 + 26*t + 1. Let n be z(-12). Let h = n - -28556/171. Are h and -1 equal?
False
Let o(k) = -101*k**3 - 7*k**2 - 13*k. Let d be o(-3). Which is smaller: d or 3?
3
Let c(m) = -13 + 42 - 3*m - 22 + m. Let d(f) = 2*f - 8. Let z(t) = 4*c(t) + 3*d(t). Let x be z(2). Is 0 <= x?
True
Let t = 450.44 - 444. Let n = 6.28 - t. Which is smaller: n or 4?
n
Suppose 2*p - 246 = 5*p. Suppose -292 = 3*s - 4*u, 2*s + 5*u - 329 + 424 = 0. Is s >= p?
True
Suppose 91*u = 103*u. Which is smaller: -2/7927 or u?
-2/7927
Let v = -426 - -429. Suppose -j = -5*a + 9, a + v - 1 = 4*j. Let g = 0.027 + 39.973. Is g less than j?
False
Suppose 21*w - 11*w + 151648 = -22*w. Is w <= -4738?
True
Let k = -0.24 + -514.76. Let d = -514 - k. Let o = 26 - 12. Which is bigger: o or d?
o
Let l = -0.59 - 0.11. Let p = 30.5 - 31. Let s = l - p. Is 23 < s?
False
Let n be (-9)/3 + (131 - -3). Let t = -14673/112 + n. Let x = 2845 - 2846. Is x > t?
False
Suppose 0 = -5*a - 1259 - 201. Let i = a + 291. Is 2/287 smaller than i?
False
Let d = -33.85 - -33.87. Let u = -1.62 - -0.75. Let q = 0.13 - u. Is q equal to d?
False
Suppose 0 = 42*s + 27*s + 8*s - 22*s. Let w be (2/2348)/(3/(-12)). Is w bigger than s?
False
Let m = 222 + -249. Let t be 3/m - -7*(-3)/(-27). Is 2/9 < t?
True
Suppose -2*c + 5*h = h - 22, -4*c + 24 = -3*h. Let j be c - (-8 - (0 - 3)). Let z be ((-4)/j)/(27/12). Is -0.05 != z?
True
Let c = -1.65553 + -0.04447. Is c < -0.53?
True
Let x(h) = -19*h**2 + 0 + 0. Let g be x(1). Suppose 109*s + 3474 = -3*s - 81*s. Which is smaller: g or s?
g
Let w = -2302 - -2291. Which is greater: w or -159/14?
w
Let b be -1 + 0 + ((-3472)/1372)/((-12)/(-14)). Is -4 <= b?
True
Let f = -7797 - -7797. Which is bigger: f or -6/439?
f
Let s = 27 - -13. Suppose 14 = -2*x - 3*o + s, -20 = -5*o. Suppose 5*f = 12*f + x. Is 2/7 greater than or equal to f?
True
Let o = -33352 + 33361. Which is smaller: o or 455/9?
o
Let w(a) = a**3 + 9*a**2 + 2*a + 12. Let x be w(-8). Let p be (-28)/(-238) + (-8982)/51. Let u = p + 235. Is x smaller than u?
False
Let f = -27148 + 27150. Which is bigger: -32 or f?
f
Let u = -4.64761 - -0.03061. Let p = 0.017 + u. Let d = p + 5.6. Is 12 <= d?
False
Suppose -4*w + 12*w = 1768. Let c be w/7 + (-32)/56. Let y = 42 + -10. Which is smaller: y or c?
c
Let p be -14 - (-2842 + 16/(-1)). Which is bigger: 2845 or p?
2845
Let u be (-62 - -70) + (-4021)/(-6). Which is smaller: 679 or u?
u
Let i be 9/(-12) - 915/732. Which is greater: 3.63 or i?
3.63
Let l = -10501 - -10841. Is -5 less than or equal to l?
True
Let s = 460.0628 + -0.0628. Let x = s - 457. Is x greater than -105?
True
Let r be (-2)/3 - 552/(-207). Suppose -r*x - 7 + 10 = -3*a, 19 = -4*x + a. Is x less than -60/13?
True
Let o = -43 + 45. Suppose -o*b - 20 = -4*b. Let r be 2/b + 1/(-35)*27. Is r >= -2?
True
Suppose 67*c - 13*c + 108 = 0. Let v = -15.039 - -15. Is v less than c?
False
Let p be (-2680)/2144 - 5365/124. Are -45 and p equal?
False
Suppose -5*d = -4*l - 848, 2*d + 38 - 370 = -2*l. Which is greater: d or 163?
d
Suppose -643*m = -648*m - 18330. Let w be 7/(8526/m) + 3. Which is bigger: w or 0?
0
Let t be 3/(-2)*2112/(-72). Let l = 454 - 411. Which is greater: l or t?
t
Let t = -45.8 - 15.2. Let j = t - -61.77. Let o = -0.67 + j. Is -82 at most as big as o?
True
Let d = 223989/508 - -232/127. Which is smaller: d or 444?
d
Let h(c) = c**3 + 9*c**2 + 14*c - 4. Let m be h(-7). Let a be m - (4/9 + 8789/(-1530)). Which is smaller: 2 or a?
a
Let y = -22186 + 22184. Which is smaller: -420 or y?
-420
Let i(g) = g**3 - 11*g**2 - 45*g + 490. Let x be i(11). Let d = 61.874 + 0.126. Is x != d?
True
Suppose -4*b - 446 = -l, 4*l = 4*b - 118 + 558. Let o = b - -150. Which is smaller: 1/2 or o?
1/2
Let l(f) = 3*f**2 + 2*f - 17. Let u be l(4). Let i be (9/(-8))/(-3) + (-198)/1296. Which is greater: i or u?
u
Let h = -36 + 52. Suppose h*l = 11*l + 30. Suppose -7*y + 8 + l = 0. Which is bigger: y or 4/3?
y
Let g = 54 + -53. Suppose 5*a - 7 - 4 = -3*r, r - 3*a = -g. Let m be (22/(-4))/(r/4). Which is smaller: -10 or m?
m
Let s be 0 + 2*19 + -2. Let m = -7561 + 7595. Is s smaller than m?
False
Suppose 1054 = -4*x + 4*t + t, -5*x - 4*t = 1297. Let y = x - -264. Which is smaller: y or -6?
-6
Suppose -250*q = -267*q - 119. Let f be (-9)/q + (-16)/56. Let t be (-12)/(-14)*(-10)/45. Is t bigger than f?
False
Suppose 168*a + 16785 = 90*a + 87*a. Is a > 1863?
True
Let f be (0 + 0 + 15/(-18))/(180/1350). Suppose -11 = 2*r - 1. Is r smaller than f?
False
Let u = -8303/7 - -7804729/6580. Does u = 1?
False
Suppose -5*p - 4*x - 8339 = 0, 2*p - x = -0*x - 3320. Is p greater than or equal to -1660?
False
Let z = -115 - 4239. Which is smaller: -4353 or z?
z
Let z be 20/(-320)*-40 + 0. Does z = -6.57?
False
Suppose 155 - 4601 = 19*l. Let r = l - -235. Let t(z) = -z**3 - 4*z**2 + 3*z - 7. Let g be t(-5). Which is greater: g or r?
g
Let y be -6 + ((-957)/330)/(-3 + (-10)/(-4)). Do y and 4467 have the same value?
Fa