 r + 3.08. Let k = -0.158 - -0.058. Which is smaller: k or m?
k
Suppose 45 = -2*r - 13. Let l = -25 - r. Suppose -5*j + l*j - 3*v = -3, 5*j + 2*v - 2 = 0. Are j and -2 non-equal?
True
Let i = 0.304 + -128.304. Is i <= -4?
True
Let v be (-84)/1176 - 1/(-14). Is -2/401 bigger than v?
False
Let x be (-1)/9*(1 + -2 + 0). Do 1 and x have the same value?
False
Suppose 7*s = 3*s + 4. Suppose 0 = -0*f + f + s. Which is smaller: f or 0?
f
Let f(g) = 2*g + 5. Let d be f(4). Let a be (-19 + 2)*1 + 18/6. Let p = d + a. Is p at least 1/17?
False
Let m = 2/867 - 875/3468. Let d = -6 - -5. Do d and m have the same value?
False
Let c = 1625 - 56862/35. Let q = 367/140 - c. Is q bigger than 3?
False
Let z = -227 - -1094. Which is smaller: z or 865?
865
Let f be 2/(-12) - (6650/(-12))/(-35). Is f >= -14?
False
Let b = 36 + -22. Let o(d) = 2*d**2 - 9*d - 30. Let w(h) = -h**2 + 4*h + 15. Let z(n) = 3*o(n) + 5*w(n). Let m be z(10). Which is smaller: b or m?
b
Let o = 53 + -26. Suppose -4*j + 87 = o. Which is greater: -1 or j?
j
Let z(d) = -115*d - 10009. Let l be z(-87). Suppose -5*w + 17 = -3*c, -2*c - 5 = w + 2*w. Does c = l?
True
Suppose 0 = -3*k - 3*v + 3, 4*k - 37*v + 39*v = 0. Let i be 2/(-2) - (7 - 1). Which is smaller: i or k?
i
Let v be ((-2)/3)/((-5)/(-3)). Let f = 16 - 12. Suppose 0 = u + 3, 4*r - 1 = f*u + 15. Which is bigger: r or v?
r
Let f be (-18)/27 - 28/(-6). Suppose -x - 18 = -2*u, -x - 4 = -u + f. Suppose 0 = 4*w - u*w. Is w equal to 3?
False
Let d = -3588 - -7041/2. Let f = 66 + d. Which is greater: -1 or f?
-1
Let x be (2 + -1)*(-74)/(-185). Which is bigger: 3/5 or x?
3/5
Let w = -1993/5 + 400. Let t = -8/5 + w. Which is greater: 1 or t?
1
Let z be 0 + -3 - -3 - -1*2. Let w be -10 - 3 - z/(2/(-3)). Which is bigger: -9 or w?
-9
Let w = -0.05 - -0.48. Let b = w + 3.47. Let j = b + -4. Which is greater: j or -7?
j
Let q = -2 + 3. Let p = -3243 + 3242.8. Is p < q?
True
Let k be 596*(-298)/114 + 1. Let w = k + 1557. Which is smaller: w or 1?
w
Let c(v) = 6*v**3 - 5 - 3*v**3 + 3*v**2 + 2*v + 3*v**2 - 2*v**3. Let b be c(-5). Let f = b - -4. Which is greater: f or 13?
f
Suppose -2*x = -3*b - 15, -5*x + 36 + 7 = -2*b. Which is bigger: x or 0?
x
Suppose -3*c - 40*t + 36*t = -44, 3*t + 83 = 5*c. Is 2 greater than or equal to c?
False
Let k(i) = i**3 - 4*i**2 + 3*i + 1. Let a be k(3). Let p be (a - (-12)/(-9))*-54. Suppose -2*r = -5*r - p. Is r at most as big as -7?
False
Suppose -8*y - 18 = -10*y. Suppose -4*l = 4*m - 32, 0 = -m - 5*l + y + 3. Let o be m*(2 - (-20)/(-7)). Which is greater: -7 or o?
o
Let p be -3 + ((-144)/(-30))/(-4). Which is bigger: p or -0.1?
-0.1
Let m(y) = y**3 - 11*y**2 + 3. Let a = 18 + -7. Let h be m(a). Suppose -3 = h*j - 4*j. Is j at most 5/2?
False
Let i(u) = u - 1. Let l be i(9). Let c be 2*(-3)/6*l. Let v be c/(-14)*14/(-6). Which is smaller: 0 or v?
v
Let y = 6865045/609 + -33815/3. Let l = y + -12/29. Suppose 4*i = 3*i. Which is bigger: i or l?
l
Let v(h) = -h**3 + 11*h**2 + 2*h - 23. Let b be v(11). Let d be (10*2/4)/b. Is 0 at most as big as d?
False
Let f = 326 + -178. Which is smaller: f or 1?
1
Let f(p) = 4*p**2 + 4*p - 10. Let a be f(5). Suppose -20*x + 220 = -18*x. Is a at most as big as x?
True
Let s be 10/8*6/(-35). Suppose 17 = -3*p + 32. Suppose 2*d = p*t + 18, 3*d + t = 4 - 11. Which is bigger: d or s?
s
Let f = 102 + -93. Are 10 and f equal?
False
Let w be 631 + -3 + 2 + -2. Suppose 4*q = 8*q + w. Let x = q + 475/3. Do x and 2 have different values?
True
Let a be ((-3)/(-4))/(69/6). Let b = -71/322 - a. Let j be ((-1)/(-5))/(-8 + (-1464)/(-180)). Which is smaller: b or j?
b
Let r = 106.8346 - -0.1654. Which is greater: r or 1/5?
r
Let b(a) = -a**3 - 14*a**2 - 4*a - 56. Let d be b(-14). Let z be 6/(-24) + 30/248. Which is greater: z or d?
d
Let n(q) = q**2 + 9*q + 12. Let b be n(-8). Suppose 0 = -3*p + 4*t + 19, -2*t - 5 = -p - t. Let y be -1 + (-6)/(-1 - p). Which is greater: y or b?
b
Let g(y) = -12*y**3 + 2*y**2 + 2*y + 1. Let c be g(-1). Let p(z) = z + 0*z**2 - 2 - 3 + 6*z**2 - 5*z**2. Let i be p(4). Are c and i equal?
False
Let d = 17 + -11. Suppose -3*j + f - 7 = d*f, -j - 7 = 4*f. Suppose -3*y = 3*c + 2 + 19, -y = j. Which is smaller: c or -7?
-7
Suppose 0 = -20*b + 39 - 59. Let k be (-5 - -2)*2/6. Is b equal to k?
True
Let k = 287 + -6029/21. Let z be (-2)/(-5) - (-12)/(-5). Let t be (-2)/((12/z)/(-3)). Is k not equal to t?
True
Suppose -4*u - 2*m = -u - 36, -4*m - 12 = 0. Let p(x) = -2*x**2 - 2*x + 3. Let v be p(0). Suppose -v*h = h - 52. Is u at most h?
False
Let x = -39876 - -958285/24. Let b = 375/8 - x. Which is smaller: -6 or b?
-6
Let o be (8/(-4))/(-6)*405/(-12). Which is smaller: o or 0.1?
o
Let r be (12 - 13) + -1 + 16. Let u be r/12 + 5/(-30). Suppose 0 = w + 5*f - 17, -2*w + u = 3*w + 4*f. Which is bigger: w or -4?
w
Let h be 2/4*(-51)/((-255)/(-200)). Is h greater than 5?
False
Let i be 1/(-12) - 12/(-16). Let c(r) = r**2 + 8*r + 3. Let q be c(-7). Is q at least as big as i?
False
Suppose -9*o = 3 + 15. Let g be o + 0 + (-7)/((-21)/(-9)). Which is bigger: -2 or g?
-2
Let j(w) = w - 9. Let g be (-18)/(-4) + 30/20. Let r be j(g). Suppose x - 2*t = 2, -2*x - t - 4*t - 23 = 0. Is x greater than or equal to r?
False
Let t be (-8)/6*(-280)/(-32). Is t < -12?
False
Let r be 0*1/5 - (-2)/(-6). Is -0.4 at most as big as r?
True
Let j = 1 + 3. Let a(u) = 3*u - 9. Let y be a(j). Suppose y*f + 4*i + 1 = -3, 4 = -2*f - 3*i. Is 4 <= f?
True
Let c = 11.71 + -12. Let k(u) = u**3 - 5*u**2 - 9*u - 8. Let f be k(7). Let g = f + -28. Is c > g?
True
Let v = 9 + -80. Let x = -49 - v. Let r = x + -22. Is r less than -1/21?
False
Let v = 437 - 428. Which is smaller: 10 or v?
v
Let q be -4 + (82/8 - (-2)/(-8)). Suppose q*t - 225 = 9*t. Is -76 > t?
False
Let z = 134 - 134. Which is greater: z or 10/19?
10/19
Suppose -4*j - 5*a + 19 = 0, -j - 3*j = 2*a - 10. Suppose -j = f + 3*k + 6, 5*f + k + 7 = 0. Let b = -3/124 - -387/620. Which is bigger: b or f?
b
Let m be (-188)/(-141) + (-46)/35. Let c(r) = -r**2 - 4*r + 5. Let y be c(-5). Let x = y + -1. Is m <= x?
False
Let d = -265 - -2387/9. Is 46 smaller than d?
False
Let s(f) = f**2 + 8*f - 5. Let r be s(7). Suppose -499 = -5*q + c - 3*c, -4*c = -5*q + 487. Which is smaller: q or r?
q
Let w be ((-11)/(-22))/((-13)/2). Let t(n) be the first derivative of -n**2/2 + 5*n + 1. Let j be t(6). Which is smaller: j or w?
j
Suppose -5*k = -2*k + 6. Let c = -6912 + 34556/5. Which is greater: c or k?
c
Suppose -v = b - 6, 3*v - 11 - 15 = -5*b. Let f be (3/(-2))/((-15)/20). Suppose -3*t + f*w + 1 - 2 = 0, 0 = 4*t - 4*w. Which is greater: t or v?
v
Let z(i) = i. Let d be z(1). Let o = -22 - -14. Which is bigger: o or d?
d
Let i be ((-341)/(-77) + -5)*7/10. Let x = 1 - 1.3. Do i and x have different values?
True
Let v = -2545 + 2546. Which is smaller: 0.837 or v?
0.837
Suppose -3*h - 9 = 2*g, -4*g = 2*h + 11 + 11. Let j be 2176/51 - (-4)/g. Which is bigger: 43 or j?
43
Let a(w) = -w - 5. Let o be a(-5). Let i = -20682 + 20731. Which is greater: i or o?
i
Let a be (3/(-30))/((-6)/(-15)). Let x = 26.56 + -0.56. Let g = 18 - x. Is g smaller than a?
True
Suppose 4*t + o = -0*o + 281, 0 = 3*t + 2*o - 212. Let h be (-20)/t - (-218)/616. Is h < 1?
True
Let b = 9 - 6. Suppose 3*u + 12 = -u. Let v(l) = l**2 + 4*l + 7. Let r be v(u). Is b != r?
True
Let j be 8/(-10) - (-455)/475. Which is greater: -1 or j?
j
Let b be ((-182)/(-70))/13 + 124/5. Let v = -84 + 58. Let k = -1 - v. Is b less than or equal to k?
True
Let a = 20297/15 - 1352. Which is smaller: 0.1 or a?
0.1
Let s = -139 + 151.1. Let u = -12 + s. Which is bigger: -0.2 or u?
u
Let a = -189 - -185. Which is greater: -6 or a?
a
Let q(c) = -c**2 + 34*c - 229. Let v be q(25). Is v greater than or equal to -5?
True
Let k = -0.08 + -35.92. Let n = k - -25. Let y = n + 10.7. Which is smaller: 0.3 or y?
y
Let o be 2 - 6 - (17/(-5) - 0). Is 1.9 >= o?
True
Let m be 8/(-36) + (-16)/(-153). Suppose -5*k = -2*j + 7*j - 85, 2*k = -4*j + 62. Let b = -13 + j. Which is bigger: m or b?
b
Suppose 2 = -d + 8. Let q(j) = 6*j - 36. Let u be q(d). Which is smaller: u or 5?
u
Let s = 0 + 16. Is 20 < s?
False
Let g = 2734 - 3057. Is -327 greater than or equal to g?
False
Let m = -0.082 - -0.152. Are 25 and m nonequal?
True
Suppose -3*o - 17 = -3*i - 104, 