+ -112. Let o be 63/t - 1/2. Let r = 0.24 - 0.34. Which is bigger: r or o?
r
Let v = -442405/478 - -1851/2. Let c = -1761/2629 - v. Is c >= 0?
False
Let d = 308903/268840 - -679/1144. Let q = d - 17/10. Let j be -2 + 1 + 0 - -1. Which is greater: q or j?
q
Suppose q - 2*q - 20 = 5*a, 4*a = 3*q - 35. Suppose -q*i = -4*s + 11 - 51, -i + 29 = -5*s. Which is greater: s or -15/4?
-15/4
Suppose -2*t - 4*p = 6, 3*t - 2*p = -p + 5. Let g be ((-10)/(-3))/(t/3). Suppose -g = 3*n - 8*n. Which is smaller: n or 5?
n
Let z = 3520/119 - 141/17. Let t(s) = s**3 - 2*s. Let w be t(-3). Let f = w + z. Is -1 at most as big as f?
True
Suppose 47*d - 58 = -47*d + 36. Let u = 0.21 + -0.2. Is u < d?
True
Suppose -4*k - 14 = 3*j, -2*k + 10 = -7*k. Let d be (j/7)/((-4)/364). Let x = 6 - d. Which is smaller: x or -21?
-21
Suppose -34*n - 285 = 327. Which is smaller: n or -19?
-19
Let a(y) = y**2 - y - 2. Let r be a(4). Let m = 254 - 243. Which is greater: m or r?
m
Let q be (-930)/6 - 1/((-3)/3). Let p = q - -1847/12. Which is greater: p or 1?
1
Let w = 5 + 43. Let x = -143/3 + w. Which is smaller: -0.8 or x?
-0.8
Let q be 5/(-2) - 2195/(-870). Let y = q - 51/116. Which is greater: y or 1?
1
Let p = -3 + 19. Let t = p - 15.7. Let g = 7 - 5. Is t at most as big as g?
True
Let j = -10 - -10. Suppose 0 = -2*o, -2*w - 2 = o - j*o. Which is smaller: w or -6?
-6
Let k be 4090/(-21) - (-12)/36. Let f = k - -194. Suppose -22 = w + 5*t + 2, 3*w + t = -2. Is f less than w?
True
Let q be 1 + (-7 - (-4 + 0)). Let m be (-2)/(4 + q + 0). Which is smaller: -2 or m?
-2
Let q(l) = -l**3 + 11*l**2 + 12*l + 5. Let u be q(12). Suppose 0 = -3*o - f + 7, o - 21 = u*f + 8. Let j = -13 + 18. Is j less than or equal to o?
False
Let r = 3 - 7. Let t = 4 - r. Let u = t + -10. Which is greater: u or 1?
1
Suppose -5*h = 20, -2*p - 8 - 2 = -4*h. Which is bigger: -4 or p?
-4
Let f be (-914)/6 - 51/(-153). Is -148 greater than or equal to f?
True
Suppose 4*g + 211 = 5*a, 0*g + 5*a = g + 64. Let d = g + 51. Let h(f) = 2*f - 3. Let n be h(3). Which is smaller: n or d?
d
Let a = 110.71 - 110. Let m = a + -1.01. Is 1/3 smaller than m?
False
Let r(s) = 3*s**2 - 210*s - 637. Let i be r(-3). Which is smaller: i or 332/17?
332/17
Let t = 4 - 5. Let q = 384 + -317. Which is bigger: q or t?
q
Let a be (-2 + 4)/((-2)/4). Suppose k - 2 = 5*r - 4*r, 0 = -4*r - 12. Let c be (-5 + 2 - -8)*k. Is a bigger than c?
True
Let p(h) = -h**3 - 7*h**2 + h + 9. Let l be p(-7). Suppose -l*o + 0*o = -4*w + 2, 2*w + o = 11. Which is bigger: 0.7 or w?
w
Suppose 3*m + 4 = -3*c - 2, c + 4*m = -14. Suppose -3 = -5*q + c*q. Is q > 3/5?
True
Let m = -337/6 + 173/3. Is 58 greater than or equal to m?
True
Suppose 8*h = 2*r + 3*h + 3, 4*h - 8 = -4*r. Which is bigger: r or 4/37?
r
Suppose -3*w - 3*i + 39760 = -2*i, w + 5*i = 13258. Let z = w - 1153034/87. Let o = -2/29 + z. Which is smaller: 0 or o?
o
Let s = 513 - 4613/9. Which is bigger: 0 or s?
s
Let b = 1.12 + 1.88. Which is smaller: b or -15/2?
-15/2
Let y = -3 - -2.9. Suppose 76 = -3*f + 43*j - 38*j, -f = j + 12. Is f less than y?
True
Let s = 54 + 610. Is s less than 1/4?
False
Suppose -r = r - 356. Let k be r/(-9) + 12/(-54). Let m be (-29)/(-3) + k/30. Which is smaller: m or 11?
m
Let y = 1 - 1. Suppose 0 = -2*v - y*v + 8. Suppose -2*k + 4 = -4*q, -v*k + 8 = -q - 0*k. Are q and 0 equal?
True
Let x(l) = l**3 - 5*l**2 - 3*l - 7. Let u be x(5). Let j = u + 21. Let g be 3/(-39)*-23 - 2. Is g <= j?
False
Suppose a - f = -0*f - 3, -2*f + 12 = a. Suppose -3*x + 0 + 6 = 3*c, 0 = -3*x + c + a. Suppose 12 = -4*z + 5*k, -2*z - k + 2 + 6 = 0. Which is smaller: z or x?
x
Suppose -29 = -3*b - 17. Suppose 5*a = -17 + 52. Which is smaller: a or b?
b
Let w(g) = -g**3 - 18*g**2 + 18*g - 19. Suppose -4*l = -2*l + 38. Let u be w(l). Let v be 2/(-9)*(-5 + 3). Which is bigger: u or v?
v
Let x = 6197 - 4387. Are 1809 and x equal?
False
Suppose 0 = 23*h - 6*h - 1394. Which is greater: 84 or h?
84
Let z = -7 + 7. Let k(r) = 9 + z*r + 9 + r - 7. Let s be k(-9). Are 0 and s non-equal?
True
Let l = -20 + -15. Let d = 30 + l. Which is smaller: d or -1/4?
d
Let m = -5 - -1. Let g = -351 + 245. Let n = g - -104. Which is smaller: m or n?
m
Let a = 6 - 2. Suppose 0 = a*u - 83 + 19. Does 17 = u?
False
Let s(b) = 2*b**2 + 4*b - 1. Let j be s(-3). Let f = 19 + -11. Let v = f - j. Do 1 and v have different values?
True
Let k = 8 - 9. Let c be k/(-6) - (-579)/(-18). Let b be 12/c*-4 - 0. Is b > 0.1?
True
Let a = -144 - -152. Let h be (-132)/9 - (-4)/6. Let m be (12/(-14))/(2/h). Which is bigger: a or m?
a
Let a be (-1)/3 + (-5838)/63. Let y = a - -92. Is y < -3?
False
Let q be 444/(-110) - 10/(-25). Which is greater: q or -3?
-3
Let h be 5983/31 - (-6)/((-2)/2). Is h bigger than 189?
False
Let r be 2/3 + 586/(-924). Let h = -743/13398 + r. Suppose -15*v = -36*v. Is h equal to v?
False
Let r = -105 + 105. Let i = 175 - 1227/7. Is r bigger than i?
True
Let w = 510823861/221 - 2311425. Let c = w + 74/17. Suppose -4*t = -9*t + 5. Which is smaller: c or t?
c
Let u(v) = -v**2 - 20*v - 67. Let a be u(-15). Which is greater: 20/3 or a?
a
Suppose 4*t = -0*t - 1192. Are t and -298 equal?
True
Let o(z) = -4*z**3 - z**2 - z - 2. Let f be o(-1). Suppose f*q = 4*q + 2. Which is bigger: 6/43 or q?
6/43
Let r = -15 - -14. Let m(n) = -n + 21. Let x be m(11). Let u be -3 + 5/(x/7). Is u > r?
True
Let z = -2054959/369 - -5569. Which is smaller: z or -1?
-1
Suppose -c + 268 = -2*m, -293 = 4*c - 2*m - 1341. Is 260 less than c?
False
Let z = -23.7 - -1.7. Let r = z + 27. Let h = r - 5.09. Is h at least -2?
True
Let d = -14.03 + 16.03. Which is greater: 190 or d?
190
Let c = -5567/13 + 428. Let w(j) = -j + 11. Let d be w(5). Let m(g) = -g**2 + 3*g + 17. Let a be m(d). Which is greater: a or c?
c
Let s = -14.027 - -14. Let f = 0.173 - s. Which is bigger: 19 or f?
19
Let g = -2/4217 + -46323/134944. Which is smaller: g or -1?
-1
Suppose -1207 - 2913 = -10*b. Let m be (2 + 2/1)*2/b. Is -1 less than m?
True
Suppose 5*f = p - 16, -8*p - 3*f = -12*p + 13. Which is smaller: p or 1/125?
1/125
Let l(i) = i + 4. Let v be l(10). Let c = 14 - v. Which is bigger: 2/25 or c?
2/25
Let j be (-2 + 2)/(-1 + 0). Suppose j = -4*a - 5*f + 141, a = 3*f + 2*f + 4. Suppose -5*s = -4 + a. Which is smaller: s or -4?
s
Let b be ((-9)/2)/((-4)/(-24)*6). Let r(z) = -2*z**2 + 3*z - 3. Let g = -6 + 8. Let k be r(g). Which is bigger: k or b?
b
Let r = -9752 + 9751.98. Suppose i - 1 = 4*m + 13, 2*m = -3*i. Suppose -4*n = -2*n - i. Which is smaller: n or r?
r
Let p be (-13365)/225*(-10)/69. Which is smaller: p or 10?
p
Let a = 18 + -42. Suppose -4*s - 56 = 3*i, 0 = -5*i + 3*i - 2*s - 40. Are i and a nonequal?
False
Let z(h) = 43*h - 27. Let n be z(-6). Is -284 >= n?
True
Let u be (-8)/(-6)*(4 - 169/52). Suppose -2*p + 0*p = -10. Is u less than p?
True
Let v = -22/735 - 1/294. Is v greater than or equal to 1?
False
Let u = -4851 + 4852. Let y = -53 - 26. Which is smaller: u or y?
y
Suppose 24 = 5*y - 1. Suppose 7*x = -5*l + 4*x + 5, -5*l = x - y. Suppose -q + 4*s = 2*q + 7, 7 = -2*q + 5*s. Is l < q?
False
Let s(d) = -d**2 - 9*d - 5. Let w be s(-8). Suppose -2*o = -w*o + 1. Let a be -1 - (0 + (-52)/48). Are o and a unequal?
True
Let c = 1.8 - 1.83. Let q = -7.9 - -8. Are q and c unequal?
True
Let a be ((-10)/(-20))/(1/(-214)). Let r be 1111/(-10) - 8/20. Let k = a - r. Is k greater than 5?
False
Let b = 1171 - 1171. Which is greater: b or 18/179?
18/179
Suppose -5*m + 155 = -3*n, -2*m + 31 = -m - 2*n. Let g = m - -6. Is g <= 36?
False
Let m = -1 - -1.2. Let d(y) = 5*y - 25. Let o be d(6). Suppose n - o = -4. Which is smaller: n or m?
m
Suppose 0 = -6*m + 2 + 72 + 4. Suppose 3*d = -0*d + 39. Are d and m non-equal?
False
Let p = -95 + 95.43. Let r = -0.16 + p. Let o = r - -2.73. Which is bigger: -2 or o?
o
Let y = 0.6 + -0.2. Let m = -4.6 - y. Let g = 36/5 + -77/10. Which is smaller: m or g?
m
Suppose 0*j - 3 = -j. Let g be (-14)/42 + 2/j. Is g >= 2/31?
True
Suppose 3*q - 5*b = -2545, -19*b + 21*b + 2 = 0. Which is greater: q or -849?
-849
Let a = 18 - 18. Suppose -6*s + 3*s + 21 = a. Suppose -o + 24 = 3*o. Is s not equal to o?
True
Let o = 17.7 - 17.8. Is -0.041 less than o?
False
Let o = -0.332 - -0.179. Which is bigger: o or -2?
o
Let c be (-313)/5 + (-6)/15. Suppose 0