Let w be 4/(-10)*(-10)/4 - (-1 - -1). Which is smaller: 2/6997 or w?
2/6997
Let j(k) = -12*k + 2. Let q(g) = g + 1. Let p(x) = j(x) + q(x). Let t be p(5). Let i = t - -30. Is i <= -21?
True
Let l be ((-4)/(-3))/(25*(-48)/(-3555000)). Which is bigger: l or 3951?
3951
Suppose 73 = 5*p - 27. Let y = 18 - p. Let u = -743/240 + -5/48. Is y equal to u?
False
Suppose 29*i + 815 = 786. Do i and 7/1117 have the same value?
False
Let c be -12 + 24 - (25 + -13). Do c and 2/3921 have different values?
True
Let c = 274982/27 - 10185. Is -3 != c?
True
Let k be (12/10 + -1)*12337/73. Let o = k + -343/10. Does o = -2?
False
Let c = -76.077 + 0.077. Let z = c + 64. Is z > -0.09?
False
Suppose 5*v = 3*k + 826, -90*v + 87*v - 576 = 2*k. Which is greater: k or -1416/5?
k
Let n = -7539/2 - -1820669/483. Which is smaller: 1 or n?
n
Let w = 3893 - 3826. Is -2/15 >= w?
False
Suppose y + 0*h + 4*h = 435, 0 = 5*h - 5. Let z be (19830/(-8))/((-391)/(-68)). Let m = z + y. Which is smaller: 1 or m?
m
Let l be (-1 - 403/1)*(-441)/378. Let w = -483 + l. Let n be (8/16)/((-2)/52). Is n at most as big as w?
True
Let s(l) = -2*l**2 - 16*l - 2. Let f be s(-8). Let p be ((-9)/48)/(-1 + f). Which is greater: p or -1?
p
Let z = 15 + -14. Let j = 597 + -599.9. Is z smaller than j?
False
Let l = 3052.32 + -3052.1. Which is bigger: l or -141?
l
Let t = -2/35093 - -70248/1087883. Which is smaller: t or -191?
-191
Let o(f) = f**3 - 31*f**2 - 27*f + 452. Let k be o(31). Is -384 < k?
False
Let v(z) = z**3 - 4*z**2 - 2*z - 5. Let i be v(6). Suppose -g - 4*g = i. Do g and -11 have different values?
False
Suppose -3*p = -s + 9, -p = s - 2*p + 1. Let h be 2/(s/159 - 0). Let y = 209/4 + h. Is y less than -2?
False
Let j = -990.5451 - -990.6. Is j at least as big as 2?
False
Let v be ((-3142)/270 - (-7 - 5)) + 2/(-5). Which is smaller: v or -132/7?
-132/7
Suppose 20*b - 50 = 22*b. Let f = 33 + b. Suppose -6 = f*y - 14*y. Which is bigger: -0.02 or y?
y
Let f = 763/4 - 192. Let n = 92 + -211. Let c = n + 123. Do f and c have the same value?
False
Suppose 78 = z - a, -5*z - 4*a + 700 = 310. Which is smaller: z or 30?
30
Let q be (-4142 + 4)/((-3)/(2 - 56/16)). Which is smaller: q or -2080?
-2080
Let x be (-4)/16 + 1/(-8). Suppose 0 = 181*b - 137*b - 352. Is b equal to x?
False
Suppose -5*v + v - 3*q = -269, 0 = -5*v - 4*q + 335. Suppose -v + 62 = -9*w. Is w greater than or equal to 2/35?
True
Suppose -3*m = -11*m + 32. Let j be 6/(-2 - m)*-6. Which is bigger: j or 7?
7
Suppose 0 = -71*m + 12121 + 1440. Is m at least 13?
True
Suppose -2*o + 4*z + 0 + 2 = 0, 2*z = -o - 3. Let f = 2113/18 + -890/9. Is o smaller than f?
True
Let w = 967 - -3400. Are w and 4367 unequal?
False
Let g = -198.35 + 196. Let q = g + 3.35. Let z = -296/1505 - -6/43. Is z greater than or equal to q?
False
Suppose -141*q - 153429 - 60327 = 0. Is q at most as big as -0.2?
True
Suppose 0 = 42*v + 32*v + 6*v - 801760. Is 10023 less than or equal to v?
False
Let z be (6/21 + (-8)/(-70))*5. Let f(y) = -121*y + 20. Let n be f(z). Are -223 and n non-equal?
True
Suppose -5*a - 25 = -2*z, 3*a + 4 = z - 11. Suppose -26*v + 20*v + 2430 = z. Suppose 0 = -7*c - 2*c - v. Which is smaller: -46 or c?
-46
Let s(g) = g**3 + 19*g**2 + 53*g - 9. Let l(x) = -x**2 + 1. Let c(a) = -2*l(a) - s(a). Let b be c(-13). Is b < 56/3?
False
Let a(h) = h**3 - 10*h**2 - 2*h + 6. Let f be a(10). Let l = f - -9. Suppose 782 + 2762 = 886*w. Is w != l?
True
Let y be ((-37302)/18 + 7)/(22/(-30)). Let b = 2812 - y. Which is smaller: -1 or b?
b
Suppose 5*h + j = 482, -9 = -3*j - 3. Suppose 0 = 32*g - 20*g - h. Is g at least as big as 9?
False
Let b(u) = u**3 + 7*u**2 - 25*u - 136. Let c be b(6). Is -4 at most c?
True
Let g(f) = -f**2 + 3. Let m = 175 + -181. Let t be g(m). Is -95/3 at most t?
False
Let f(v) = 9*v**2 + 11*v - 49. Let w be f(4). Let d = w + -1517/11. Is d > 0.3?
True
Suppose g = -3*o - 5240, 6*o = 2*o + 20. Let t = 47357/9 + g. Is 7 > t?
True
Let g be (9*119)/3 + 42/14. Let j = -355 + g. Which is bigger: j or 17/3?
17/3
Let m = 306 - 305. Let z be m + 0 - (10 + 13437/(-1485)). Is 1 less than z?
False
Suppose -22 = -2*v - 3*n, -4*n = -3*v - 2*n + 7. Suppose v*u - 2*u = 6. Let q = 4/3715 - 3779/59440. Is q < u?
True
Let m(y) = y**2 - 3*y - 16. Let s be m(6). Suppose 4*g = s*g + 16. Suppose -2*w = 5*t + g, 0 = 3*w - 2*t + 4*t + 1. Which is smaller: w or 6/13?
6/13
Suppose 3*u - 9 = 5*o, -4*o + 3*u = u + 8. Let q be 386/o + (-10)/(-30)*5. Which is smaller: q or -0.1?
q
Let d = 6 + -6.7. Let z = -7.3 - -5.6. Let o = d - z. Which is smaller: 4 or o?
o
Let z(t) = -5*t + 27. Let m(v) = -15*v + 83. Let h(c) = -4*m(c) + 11*z(c). Let x be h(7). Do 6/7 and x have different values?
True
Let p = -3 + 12. Let s = -7 + p. Let f(i) = -2*i**3 - 23*i**2 - 14*i - 26. Let m be f(-11). Is s less than or equal to m?
True
Let z = -0.26926 + 0.16926. Are z and 3306 equal?
False
Let w be 0 - (-6)/5*(-300)/5. Let g = 72 + w. Let r = 23465/56 - 419. Which is greater: g or r?
r
Suppose 0 = -11*u + 17*u - 390. Suppose 17 - u = -v. Is v <= 48?
True
Let o be 1 - 2/((-1136)/(-623)). Let d be (6/(-142))/((-1652)/(-56) - 28). Let b = o + d. Which is smaller: -4 or b?
-4
Suppose 0 = -11*x + 75 + 35. Let f(l) = -2*l**3 + 20*l**2 + 2*l - 13. Let z be f(x). Which is bigger: 9 or z?
9
Let i be (-55 - -52)*497/(-3). Is 3487/7 at least as big as i?
True
Let o(x) = -21*x - 3. Let c be o(-2). Suppose 3*n - c = -12. Let m(d) = d**2 - 9*d - 17. Let r be m(n). Which is greater: 1 or r?
1
Let q(k) = -6*k - 10 - 7 - 18. Let y be q(-6). Is 1/140 < y?
True
Let m = -9.369 - -22.369. Is 192 less than or equal to m?
False
Suppose -d = -3*j + 2304, -468*d - 2297 = -467*d - 4*j. Do -2325 and d have different values?
False
Suppose 0 = 16*w - 3*w - 1976. Let r = 0.091 - -0.109. Which is smaller: w or r?
r
Let r = -2806 - -2824. Which is smaller: r or -156?
-156
Let k(r) = 6*r**3 - 3*r**2 + 4*r - 2. Let w be k(1). Suppose -4*f + 7 = -4*j - w*f, 5*j + 4*f = 5. Let l be 19 + -21 - 4/j. Which is smaller: l or 11?
l
Let a(y) = y**3 + 5*y**2 - 3*y - 5. Let x be a(-5). Let m = -73 - -97. Suppose 5*o = -4*p + 45, m*p = 20*p + 3*o + 37. Is x != p?
False
Let p = 608 + -595. Let h(c) = c**3 - c**2 - 14. Let x be h(0). Let z be (0 + 0)/(p + x). Which is smaller: 2/3 or z?
z
Let g be (20/60)/((-6)/11898). Do -658 and g have the same value?
False
Let c(o) = 6*o**2 - 82*o - 54. Let h be c(-30). Is 7805 greater than h?
False
Suppose 2*j = 16 - 2. Let f be ((-24)/j)/((-20)/10). Let s = -7 + 10. Which is greater: f or s?
s
Let s = 10 + -9. Let z be 31/1 - -1*s. Is 100/3 greater than or equal to z?
True
Let h be (-105522)/(-60) + 9/30. Which is greater: 1760 or h?
1760
Suppose 32*p = 29*p + 6. Let x be ((-52)/4 - p) + (-1 - 0). Let w = 15 + x. Is w less than -1/24?
True
Let q = -0.042 + -0.038. Let k = 7.08 + q. Let s = 8 - k. Is s bigger than 1?
False
Let v = -629535/7 + 3849485/42. Let a = -3263/2 + v. Is a smaller than 90?
True
Let a = -50 + -122. Let u = -182 - a. Which is smaller: -5 or u?
u
Let q be (-3)/7 + 1 - 260/14. Let v be (-52)/494*(-3 + (-51)/q). Which is smaller: 0 or v?
0
Let y = -73 - -383. Let b = -310 + y. Which is bigger: b or -1/39?
b
Suppose 6*q - 53 + 17 = 0. Let d be (-344)/26*(-5 + 36/8). Which is bigger: q or d?
d
Suppose -3*v = -4*q + 92, -62*v - 92 = -4*q - 63*v. Suppose 3*d - 48 = d. Which is bigger: q or d?
d
Let j(i) = -i**2 - 13*i - 36. Let b be j(-6). Suppose 4*d - 459 = 3*c, 10 = -4*c + b. Is 114 smaller than d?
False
Suppose 0 = 3*d + o - 53, -3*d + 6*d + 2*o = 46. Is -19 at most as big as d?
True
Let a = 115044/19 - 6055. Which is smaller: a or 10?
a
Let t(l) = 10*l - 51. Let q be t(23). Let r = q - 182. Let o be 4/6 + 26/(-6). Is o at least as big as r?
False
Let w(o) = -4*o**2 - 94*o + 426. Let t be w(-31). Which is bigger: t or -2522/5?
t
Let b = -56511/64 - -883. Suppose 0 = 14*r - 10*r - 5*o + 3295, -5*o = -15. Let z = r - -819. Is b > z?
True
Let h(f) be the second derivative of -f**4/6 + f**3/6 + 5*f. Let p be h(-1). Let b be (p + 4)/(1/(-4)). Is -5/2 less than b?
False
Suppose 0 = q - 33 - 64. Let d = 112186 - 1457163/13. Let u = d - q. Is 1 at least u?
True
Let a(x) = x**3 - x**2 + 5*x + 25. Let w be a(5). Let m be 1/12*5/(w/(-520)). Which is smaller: -1 or m?
m
Suppose -4*o - 1