
Suppose -3*l + 18*l = 14*l. Let u be 4 - (l + 344/84). Is 0 greater than u?
True
Let k = -1/113 - 1007/1130. Is -2 at most as big as k?
True
Let r = 831.2 - 824.2. Let d be (-5)/7 - (-2 - -1). Do r and d have different values?
True
Let q be 6/(-10)*(-35)/42*-6. Let d(g) = -g**3 - 5*g**2 - 7*g - 3. Let x be d(q). Which is smaller: -4/79 or x?
-4/79
Suppose 8*x - 1 = 15. Suppose -x*y = -4*t - 8, 3*t + 4*y = 7*t + 12. Let a = -18/151 + -1312/1661. Which is bigger: t or a?
a
Let z = -632 - -682. Is z != 44?
True
Let o be 2 + 382*3/180. Let b = o + -27/10. Is 6 >= b?
True
Let m(g) = 42*g + 523. Let b be m(-19). Which is smaller: b or -1378/5?
-1378/5
Let m(w) = w**2 - 4*w - 2. Let x be m(-3). Suppose -4*g = -q - x, -2*q + 2*g = -0*g + 8. Suppose -j + f = -0*j + 2, f = -q. Is -3 less than j?
False
Let u be -13506*((-6)/(-2))/(-9). Let x = 1211040/269 - u. Is x at most as big as 1?
True
Let l = -3.7 + 4. Let k = -56 - -37. Is k equal to l?
False
Suppose t - 4*t - 84 = 0. Let m(v) = v**3 + 7*v**2 - 5*v - 6. Let c be m(-7). Let u = t + c. Which is smaller: u or 4?
u
Let r = 171601/478 - 359. Which is smaller: 1 or r?
r
Let l(r) = 6*r + 203. Let m be l(-34). Which is smaller: 1/858 or m?
m
Let s be (-9)/72 - (-50279)/312. Let z = s + -161. Which is smaller: z or 0?
0
Let y be ((-4)/2 - 1)*(-344)/(-144). Let s be -1 - 1 - (-159)/(-18). Let h = y - s. Is 5 bigger than h?
True
Let l(v) = 80*v + 385. Let g be l(-8). Does -257 = g?
False
Suppose 1632 = -4*t - 8*t. Let n = 72 + t. Do -64 and n have different values?
False
Let t = -3925/124 + 127/4. Let w = t + 53/93. Let x be (9/10)/((-6)/(-5)). Which is greater: x or w?
x
Suppose -4 = -4*j, 0*j - 5*j = k - 51. Which is smaller: -2 or k?
-2
Let r = 0.89 - 0.79. Is 158 less than or equal to r?
False
Let h = 92 - 89. Let t be (-4)/(-8) - h/((-24)/(-10)). Let p = 1 + -1. Which is smaller: t or p?
t
Suppose 15829 + 8986 = 35*z. Which is smaller: z or 708?
708
Let f = 18 - 12. Suppose v = -f*m + m - 23, -4*v - 28 = 4*m. Let i be 13/v + (-1)/1. Does i = -5?
False
Let h be (-34)/(-10) - 2/5. Suppose -h*a + 4*a - 5 = 3*q, q + 3*a - 15 = 0. Suppose q = -0*k - k + r + 2, -4*k = 3*r - 29. Are k and -2 equal?
False
Let u(x) = x**2 - 5*x. Let n be u(0). Suppose 5*g - g - 72 = 0. Let l be (-2)/(-3)*g/32. Which is bigger: l or n?
l
Let q = 1416/3883 + -5807935/710589. Let d = 32/61 - q. Do 8 and d have the same value?
False
Let s = 0.8 - 1.1. Let g = 204.3 + -204.8. Which is smaller: g or s?
g
Suppose 3*c - 178 = 11. Let o = -12575 + 12639. Which is greater: c or o?
o
Let z be -1 + 1 + (-6468)/(-33). Is 197 less than z?
False
Let c = 92.8 + -80. Let p = 13 - c. Are p and 0 non-equal?
True
Let g(j) = -j**3 + 4*j**2 + 2*j + 6. Let v be g(4). Suppose -3*q + v*q = 11. Is -2/91 != q?
True
Let s = 0 + 0. Let k = 1.3633 + 0.0367. Which is bigger: s or k?
k
Let o be 2118/15288 - ((-22)/26 - -1). Is 1 at least o?
True
Let d(u) = u**2 - 9*u + 4. Let p(m) = -m**3 - 9*m**2 + 8. Let q be p(-9). Let z be d(q). Is z greater than or equal to -7?
True
Let j(m) = -4*m - 144. Let b be j(-36). Which is smaller: b or -6/109?
-6/109
Let p = -1/42 - 1/7. Let q = 8 - 7.9. Is p < q?
True
Let y(j) = -44*j + 230. Let z be y(7). Is -78 greater than or equal to z?
True
Let x = -37 + 38. Is x greater than 1/3?
True
Suppose -390 = -29*k + 32*k. Let t be k/125 + (-3)/(-3). Which is smaller: 0 or t?
t
Suppose 0 = -b + 4*b - 2*f + 9, -2*b - 11 = -3*f. Let v be 8/2*4 - 1. Let c = v + -19. Is b >= c?
True
Suppose -3*l + 254 = -b, -5*l - 6*b + b = -430. Let c = l - 77. Is 10 less than or equal to c?
False
Let g be (1/(-26))/((-7)/(-14)). Let j be (0 - 10)*(-15)/6. Let h = j - 26. Which is smaller: g or h?
h
Suppose 0 = -10*j + 21*j - 10*j. Does j = 1/128?
False
Let w(n) = n**3 + n**2 - 2*n - 21. Let v be w(0). Let z(l) = -l**2 + 9*l + 16. Let f be z(11). Let m = -15 + f. Is m < v?
False
Let d = 13872.27 + -13972. Let j = d - -99. Let y = j + 0.03. Which is bigger: y or 1?
1
Let r = -7 + 4. Let t be 5 + (-21)/(-48)*-12. Do r and t have different values?
True
Let h = -26/765 - 258388/5355. Is -1 at most as big as h?
False
Let n = -61 + 76. Suppose 47*u - 52*u + n = 0. Which is bigger: u or 30/13?
u
Let u(y) be the first derivative of y**3/3 - 9*y**2/2 - 10*y + 8. Let w be u(10). Suppose -15 = -q - 3*s, -2*q + 5*s - 25 = -w*s. Which is greater: q or 4/5?
4/5
Let x = -6/107 + -160/963. Let p = 17144/111267 + -2/8559. Are p and x equal?
False
Let y(o) = -16*o**3 + 4*o**2 + 7*o - 5. Let x be y(2). Is -100 > x?
True
Let m = 3.8 + -11.8. Let f(v) = -v**3 + 7*v**2 + v - 8. Let l be f(7). Let o = 0 - l. Which is greater: o or m?
o
Let l = -103 + 68. Let j be (4/l)/(2/(-5)). Which is bigger: j or -0.1?
j
Suppose -4*t + 5*y - 1124 = 0, 118 + 163 = -t - 5*y. Which is bigger: 1 or t?
1
Suppose -27 = -3*h - 18. Which is bigger: -1 or h?
h
Let g = 0.38 + -0.38. Which is bigger: g or 1.8?
1.8
Let j be 510/12*(-8)/(-10). Suppose -j + 12 = -11*u. Is -0.7 equal to u?
False
Suppose 2*n + 6 = -2*k + 3*k, 0 = -4*k + n + 38. Let g be (k/225)/((-1)/(-5)). Are -18 and g nonequal?
True
Let t = 117 - 65. Is t greater than -2?
True
Let k = 15 + -13. Suppose -3*b = k*b - 5. Let g be 14*b*2/(-4). Is -8 at most g?
True
Suppose 2*z = -f - 27, -f - 3*z - 39 = 2*z. Is 4 at least f?
True
Let i be 2/(-7) - (-96)/42. Let t(u) = -u**3 + u**2 + 2*u + 1. Let s be t(i). Let a be s/(132/45 - 3). Is -15 equal to a?
True
Let w = 291 + -169. Is 1/2 greater than or equal to w?
False
Let z = 83 - 77.1. Let d = -6 + z. Suppose -h - 9 = 2*h. Is d less than or equal to h?
False
Let c(h) = h**3 - h**2 + 25*h - 90. Let z be c(7). Is z greater than or equal to 1515/4?
True
Let n be (-65)/(-13) + (-647)/129. Which is smaller: 0 or n?
n
Let d(l) = -37 + 4*l - 7*l - l - 3*l. Let g be d(-6). Which is smaller: g or 8?
g
Let r = -1605 - -8027/5. Which is smaller: -0.04 or r?
-0.04
Suppose -3*d - 2*f = f - 3, 5*d = -3*f + 7. Let l be ((-4)/d)/2 - 0. Let b = -799 - -799.5. Is l bigger than b?
False
Let d be (28/8 + -3)*-2. Is d greater than 1/203?
False
Let s = 2 + -2. Let l = -1 - s. Let w be (-5)/30*(l + -1). Which is bigger: w or -6?
w
Let p(k) = k - 20. Let o be p(10). Let b be (-38)/(o/(2/2)). Which is greater: b or 3?
b
Let u(h) = h**2 + 6*h - 9. Let r be u(3). Let q(v) = v**3 - 19*v**2 + 20*v + 21. Let o be q(r). Is -0.1 at most as big as o?
True
Let q = 880.83 - 874. Let w = q + 0.17. Let z = -1.31 + 0.31. Is w greater than z?
True
Let x(k) = -k**2 + 6*k - 2. Let g be x(5). Let p be (-9)/(g/((-27)/(-3))). Let s be p/25 - 0 - -1. Which is greater: 1 or s?
1
Let k = 288 + -279. Which is bigger: k or -3/5?
k
Let c(q) = -2*q - 2. Let d be c(-1). Which is bigger: d or -2/59?
d
Let a(q) = -370*q**3 - q**2 + 4*q - 3. Let r be a(1). Is -371 greater than r?
False
Suppose -6 = q - 14*k + 15*k, 17 = -4*q + 3*k. Suppose -3*l = -6*y + y - 40, -20 = 5*y + l. Is y < q?
False
Let z = -1.5 + -2.6. Which is bigger: -5 or z?
z
Let z = -0.128 + -5.572. Let w = z - -7.7. Are w and 21 nonequal?
True
Let k = 0.03 - 0.37. Let d = -0.3 - k. Let t = 0.06 + d. Which is bigger: t or -0.1?
t
Suppose 0 = -30*x - 171 - 99. Let t be (-1 + (8 - 2))/(-1). Let l(d) = -d**3 - 5*d**2 + 3*d + 7. Let i be l(t). Which is smaller: x or i?
x
Let a = 0.92 - 1.72. Let v = -0.7 - a. Let q be 2 + -3*(-10)/18. Which is smaller: q or v?
v
Let p be ((-3)/(-9))/(-5 - (-2104)/420). Which is greater: p or 34?
p
Let l(g) = -67*g - 10. Let p(a) = 67*a + 9. Let f(s) = 4*l(s) + 5*p(s). Let z be f(-5). Let t = -9239/28 - z. Which is bigger: t or -1?
t
Let g = -8 + 4. Let b = 0.1 + -0.02. Let q = b + -0.08. Is g at least q?
False
Let u be ((-2)/(-14) + (-16)/14)*283. Is -282 != u?
True
Suppose -6*t = -11*t - 15. Are -1/16 and t nonequal?
True
Let z = 5 + -3.8. Let v = 1.33 - z. Let a = -1.13 + v. Which is smaller: a or -0.2?
a
Let h be (84/24 - -1)*1/6. Is h greater than -6/13?
True
Let y = 3.1 + -2.1. Let v = -0.4 + y. Let a = -1.3 - -0.3. Is a less than or equal to v?
True
Suppose 2*u + x + 39 = 0, 2*u - 2*x + 0*x + 24 = 0. Which is smaller: u or -4?
u
Let n be (-5)/55*-11 + 8/(-9). Which is greater: n or -1/3?
n
Suppose 0 = x - 5 + 8. Let o be (-1)/4 + x/(-12). Which is smaller: o or 4/23?
o
Let q(j) = -4*j + 32. Let p be 221/17 + 0 + -3. Let i be q(p). Which i