 is smaller: l or -19?
-19
Let q be 6/(-4)*(-13)/78. Is -1/48 bigger than q?
False
Suppose 5*s - 86 = 3*t, -3*t - 75 - 31 = -s. Which is greater: -4 or t?
-4
Let y = -1213 - -6046/5. Let h be -8 + 2 - (-2 - 0). Which is smaller: y or h?
h
Let t = -0.1 - -0.1. Let s = 55.42 - 56.02. Are s and t equal?
False
Let y be (-20)/(-50)*(5/7 + 0). Is y less than -336?
False
Let d = -1112 + 1114. Is 1/10 > d?
False
Let t be ((-20)/(-6))/((-20)/(-330)). Suppose -2*p + 43 = t. Is 0.04 < p?
False
Let b(p) = -4*p + 4 + 17 + p. Suppose 0 = -n - 3*o + 3 + 3, 5*n - 50 = 5*o. Let y be b(n). Is 0.3 smaller than y?
False
Let i be (-11914)/(-112) + (-3)/8. Is i less than 106?
False
Let a(t) = -2*t**3 + 66*t**2 - 132*t + 77. Let r be a(31). Is -169 greater than r?
True
Suppose -3*q - j - 247 = 4*j, 4*j = -2*q - 164. Let l be q/((-8)/(-2)) - 3. Let c = l - -25. Are -4 and c nonequal?
True
Let n = 38.3 - 39. Let k = -0.67 - n. Which is smaller: k or 1?
k
Let q be 0/(-2*(-2)/(0 + -2)). Let d be 350/87 - (6 - (3 - 1)). Which is smaller: d or q?
q
Let k = -5 + 8. Let w be (18 + 0)*k/9. Suppose 4*j - 2*j = -4*p - 12, w = -5*j - 2*p. Do 1/4 and j have the same value?
False
Let r = -38.1 + 37. Let t = 1.3 + r. Let c be -2 - (-1 - (-15)/(-17)). Which is greater: t or c?
t
Suppose 27 = 5*v + 7. Suppose -v = 3*d - 16. Is 0 less than d?
True
Suppose -34 = -3*n + 5*x, -12 = -n + 3*x - 2*x. Let y = 6 - n. Let o be ((-9)/21)/(10/y). Is -1 != o?
True
Let a = -311 + 310. Is 3/26 > a?
True
Let m(f) = 3*f - 16. Let w be m(7). Suppose -5*d + 2*h + 20 = 0, -d - 2*h + w*h = -17. Is 2/3 < d?
True
Let q = 19.2 - 21. Let l = -1.59 + -0.11. Let c = l - q. Which is smaller: -3 or c?
-3
Suppose -15 = -n + 2*n. Let r = -14 - n. Suppose r = 2*f - 1. Is f > -2/23?
True
Let k be 35/100*12/(-30). Is 0.1 greater than k?
True
Suppose 12 = 2*f - 26. Let n = 15 - f. Suppose -28 = 5*b + 2*b. Is n >= b?
True
Let q = 1 + 7. Let h be -6*(-2 + q/6). Let n = -23 + h. Is -19 less than or equal to n?
True
Let z be (2 - 5 - 4) + -3. Let g be 2*(-46)/26 - (6 + z). Which is smaller: g or -1?
-1
Let c = 395 + -555. Which is smaller: -2/7 or c?
c
Let x(z) = 16*z**2 + 34*z - 36. Let j be x(1). Which is smaller: 151/12 or j?
151/12
Suppose 2*q + 4*r - 100 = 6*q, 0 = 5*q - 2*r + 122. Let l = -29 - q. Is 2 >= l?
True
Let b be (0 + (-12)/262)*154/308. Is 0 < b?
False
Suppose -2*f - 3*n = -307 - 88, 4*n - 1005 = -5*f. Is 208 bigger than f?
True
Let o(b) = -7*b**2 - 55*b - 20. Let q be o(-7). Do 67/3 and q have the same value?
False
Let a(s) = s**2 - 17*s + 2. Let t be a(17). Suppose 3*d = t*b - 11, 5*b + 15 = 4*d + 39. Is d != -8/15?
True
Let d = -0.248 + 79.248. Which is bigger: 0.3 or d?
d
Suppose -5*l = 3*r - 3*l + 4, -2*r - 21 = 5*l. Suppose -3*w - 12 = 3*p, -4*p - 6 - r = 2*w. Are p and -4/3 equal?
False
Let g = 11 + -10. Let d be (g - 2)*(-160)/10. Which is smaller: d or 15?
15
Suppose -2 = -2*x - 5*l + 4*l, 4*x + 20 = 4*l. Do 2/69 and x have different values?
True
Suppose 2*z + 0 = -6. Let y(i) = 2 - i**2 - 8*i + 4 + 2*i**2. Let j be y(7). Which is bigger: z or j?
j
Let o = 5/54 + 19/378. Which is smaller: o or -0.02?
-0.02
Let p(d) = -d**3 + 13*d**2 + d - 9. Let s be p(13). Let r be (15/6)/(s/(-16)). Are r and -1 equal?
False
Let r = -2 - 6. Is -33/4 at most as big as r?
True
Let v(j) be the second derivative of j**4/12 - 3*j**3/2 + 5*j**2 - 6*j. Let t be v(7). Let n be t/(-18) - 110/(-72). Is 3 smaller than n?
False
Suppose -2*k = -4*s + 2366, -2*s - 47*k + 52*k = -1187. Which is smaller: 592 or s?
s
Suppose -20 = -5*t - 5*o, 4*t - 64 = 3*o - 13. Suppose 3*z = 14 + 7. Are z and t unequal?
True
Let o be 1 + (-5)/((-20)/(-12)). Let w be o/((-2)/5)*1. Suppose -3*y = -4*y + 4, -3*d + 14 = w*y. Which is smaller: d or -1?
d
Let v be (-1)/(-2)*(-48)/(-22). Let w be 2 + -9*(-26)/(-117). Which is smaller: w or v?
w
Let g(b) = 2*b**2 - 13*b + 6. Let t be g(6). Suppose t = -l - 5*l - 84. Is l greater than -12?
False
Let l(v) = -2*v + 117. Let t be l(50). Which is smaller: 82/5 or t?
82/5
Suppose 0 = -2*d - 4*c + 18, 4*d - 2*c + 159 - 145 = 0. Which is bigger: 7/38 or d?
7/38
Let v be -2 + 9/(-15)*-3. Suppose -5*h = -4*s + 29 + 7, h + 24 = 5*s. Suppose 16 = s*i + 4*n, -n = -0*n - 5. Which is smaller: i or v?
i
Let u = -4685 + 482551/103. Which is greater: u or 0?
0
Let n(w) = 37*w**2 + 4*w - 4. Let y be n(1). Suppose 156 = -41*i + y*i. Are -37 and i equal?
False
Let g be 0/4 - (4 - -5)/9. Let f = -1.2 + 1. Let p = f - 0.8. Are p and g equal?
True
Let q = -271 + -35. Which is smaller: -1 or q?
q
Let v = -87.4 - -96. Let d = 8.2 - v. Are -7 and d non-equal?
True
Let k(a) = 2*a + 14. Let g be k(14). Let j = 41 - g. Is j < 3/14?
True
Suppose -f - 6*f + 2*f = 0. Is f less than 6/155?
True
Let o = -191 + 193. Is 4 greater than o?
True
Let f = 93/8 + -853/72. Suppose -5*j - 12 = -2*s, -s - 2*s - 3*j - 3 = 0. Which is smaller: s or f?
f
Let l = 148/3 + -50. Suppose -r + 4 = 3*r. Let x = r - -1. Which is bigger: l or x?
x
Suppose 0*l - 15 = -5*l. Suppose 0 = -3*i + 15, 6*i = 5*u + l*i + 20. Is -1/15 at least as big as u?
True
Let x be 10/4*(8104/820 - 10). Are 0 and x non-equal?
True
Let y = -583/5 + 117. Let i = -85 - -64. Are y and i unequal?
True
Suppose 101 = 4*c + 1273. Let g = -3221/11 - c. Let u = -1 + 1. Which is smaller: u or g?
u
Suppose -5*x + 5*v = 0, 0*v - v + 1 = 0. Let d be (-1 + x)/(15 + -13). Which is bigger: -1/4 or d?
d
Let f = -5080 + 878843/173. Which is greater: f or 1?
1
Let g be (-10 - -1)*(-4)/6. Suppose 4*r = l + 162, -44 = -r - 5*l + 7*l. Let s be g/8 + 10/r. Is s less than 0?
False
Let h be (0 - (-210)/(-49)) + 4. Is h smaller than 31.8?
True
Suppose -82 = -4*p + 18. Is p at least 7?
True
Let o(b) be the second derivative of b**4/12 - b**3 - b**2/2 - b. Let w be o(6). Let k = 512093/23 - 22265. Is k equal to w?
False
Let l = -21 + 29. Suppose 5*h - l*h = 48. Let p be h/6 + (-2)/(-3). Which is greater: 0 or p?
0
Suppose -2*r = -r - 4*o - 1, 0 = 4*r + 5*o + 38. Let t = 5 + r. Let l = 6 + -8. Is l less than or equal to t?
True
Let u be 1*-1 - (-1)/1. Let p = 1894 + -17044/9. Which is greater: u or p?
p
Suppose -19*f = -14*f + 1140. Let j be 58/f - 3/18. Are j and 1 equal?
False
Suppose -i = -3*m - 99, 18*m - 16*m - i = -67. Is -1 less than m?
False
Suppose 5*j - 72 = 11*j. Let p be -2 + (-21)/(-6)*j/(-21). Is -1/3 not equal to p?
True
Let h(o) = -13*o + 14. Let c be h(3). Let x = -126/5 - c. Is 4/5 at least x?
True
Let h = 750 + -387. Are h and 363 unequal?
False
Let v = 37 - -90. Which is greater: v or 128?
128
Let b be 7/2 + (-5)/10. Suppose 4*w = -75 + 31. Let c = -6 - w. Which is bigger: b or c?
c
Let t = -152 + 151. Which is greater: t or -0.095?
-0.095
Let m(i) = -9*i**3 - 27*i**2 + 49*i - 47. Let k(r) = 5*r**3 + 13*r**2 - 25*r + 24. Let x(u) = -11*k(u) - 6*m(u). Let o be x(18). Is o > -3/44?
True
Let d be 657/30*115/18. Let m = d - 140. Which is greater: m or -1?
m
Let x be ((-32)/(8/4))/(24 - 1). Which is bigger: x or 0?
0
Let j = 22.009 - -0.191. Let l = 22 - j. Does -25 = l?
False
Suppose -4 = y - 3. Let r be 9/18*2*-8. Let z be y + r/10 + 2. Which is greater: z or 0?
z
Let k = 379.4 - 379. Which is bigger: k or 0.096?
k
Let i = 59 - 33. Let l = 0.966 - -0.034. Is l at most i?
True
Let v be 0 + -1 - 328/3. Suppose 11*c + 1743 = 544. Let m = c - v. Which is greater: m or 2?
2
Let q = 17.71 - -3.29. Which is smaller: 3/2 or q?
3/2
Suppose -2*l = -3*i + 4078, -3*i - 152*l = -150*l - 4070. Is i less than 1358?
False
Let g = 1509 + -173533/115. Is 0 less than or equal to g?
True
Suppose 4*s + q = 64, 18 = 3*s - s - 3*q. Let r be (-4)/22 + 564/(-44). Let n = r + s. Which is greater: 1 or n?
n
Let s(x) = 11 - 11 - 2*x. Let v be s(1). Is -1 greater than or equal to v?
True
Let w = 1229/188 - -10/47. Is w bigger than 7?
False
Let k = -394 + 385. Which is smaller: k or -5?
k
Let q be 2 - (30/(-2))/(-3). Let c(l) = 2*l**2 - 3*l - 4. Let z be c(3). Suppose 4*d = 2*d - i - z, 5*d + 14 = -i. Is q less than d?
False
Suppose 4*v - 2*b + 606 = 0, -4*v = b - 362 + 953. Is -149 > v?
False
Let w = 2.7 + -3. Let z = 12.76 - 12.86. Which is bigger: z or w?
z
Suppose 42 = 6*o + 210. Let u be ((-8)/18)/(o/21). Let n = -319/204 - -28/17. Which is bigger: u or n?
u
Let g(l) = -33*l - 48. Let d be g(-3). Is d at most as