 l. Is d at least 0?
True
Let r be 0 + -3 + 0 - 642. Let v be -2 + r/(-252) + 18/(-36). Are 1 and v equal?
False
Suppose 2*i - 7*i + 485 = 0. Suppose 25360 = 8*p + 24592. Which is greater: i or p?
i
Let d = -6456 + 6958. Is 499 less than d?
True
Let y = -99.04066 - -0.04066. Are y and -12 equal?
False
Suppose -3*s = -2*v + 1986, -19*s = -18*s + 2*v + 662. Which is smaller: s or -663?
-663
Let m = -66.1 - -66. Let q = 1783/3 - 600. Is m at most q?
False
Let h = -34.4 - -31. Let l = h - -4.4. Let v = 0.002 - 48.002. Is l < v?
False
Let g = 7112 - 7106. Let j be 0 - (22*-1 - -1). Suppose -2*l - j = -5*l. Which is bigger: l or g?
l
Suppose 2*l + 7 = -9. Suppose 4*i = -6*i + 1660. Suppose 0 = i*q - 174*q - 16. Which is greater: l or q?
q
Let l be (-3 - 42/(-10))/(6 - 5168/860). Suppose 0 = 4*f - c - 3*c + 504, 2*c = -4*f - 528. Which is greater: f or l?
l
Let j = 244749/109 + -2245. Which is greater: 2 or j?
2
Let k = 14.64 - -0.36. Let a = -15 + k. Let n = 1.11 - 1.164. Which is smaller: a or n?
n
Suppose 3081 = -12*w - 7718 + 1379. Do -786 and w have different values?
True
Let p = -169 - -134. Let q be 0 + -5 + (-196)/p. Let h = -4 + 4. Which is greater: h or q?
q
Let m = -28 + 41. Suppose 18*f - 3*f + 255 = 0. Let w(n) = -n**2 - 12*n + 97. Let b be w(f). Does m = b?
False
Let s = 52.5 - 6.5. Let d = -0.03231 - -48.03231. Let i = s - d. Are 8/5 and i equal?
False
Let y = 15335 - 15329. Are -1/715 and y unequal?
True
Let x(g) = 9*g + 55. Let t be x(-6). Let n be (7 + (-236)/34)/(t/5). Is n >= 0?
True
Suppose 12 = -4*o - 3*t, 0 = 4*o + 2*t - 0*t + 8. Let a = -4828763/63 + 76649. Let f = a + -2. Which is smaller: o or f?
f
Let a = -366 + 454. Let s = 113 - a. Let f = -36 + 107/3. Is s equal to f?
False
Let f be 42952/77 - (-60)/330. Which is smaller: 555 or f?
555
Let q = 33 + -38. Let i be (-252)/48*96/99. Do i and q have different values?
True
Suppose 106*n = -114*n - 2460920. Which is smaller: -11185 or n?
n
Let x be (-4)/10*(-2)/(-3)*9/6. Which is smaller: -590 or x?
-590
Let r be 182/56 - (-1)/(-4). Suppose -5*q - r*n - n - 158 = 0, 4*n + 8 = 0. Which is smaller: -152/5 or q?
-152/5
Let u = -57 + 30. Let w = u - -11. Are w and 5 equal?
False
Let k = 0.12271 + 0.07729. Which is smaller: k or 898?
k
Let s = 1 - -2. Suppose -438*q + 431*q + 42 = 0. Suppose q*u + 9 = s*u. Which is smaller: u or -6?
-6
Let g = -555 + 559. Let d be 48/15*(g - 535/(-10)). Which is greater: 182 or d?
d
Suppose -4*p - 15 = h, 8*p - 3*h + 6 = 3*p. Let q(u) = -14*u**2 - 1. Let s be q(-1). Let i = s - -43/3. Is i at least p?
True
Suppose 0 = 2*m - 0*m - 2, 3*m - 31 = 4*v. Let n(h) = -h + 12. Let w be n(v). Suppose -7*o - w - 163 = 0. Which is bigger: o or -25?
-25
Let z = 64.11 - 69.11. Which is smaller: z or -2.2?
z
Suppose 1045 + 429 = 11*x. Let d = x - 133. Let n = 2.93 - -0.07. Which is greater: d or n?
n
Let n = 13.792 - 1.382. Let o = n - 12.5. Which is bigger: -2/59 or o?
-2/59
Let n = -24.5 - -39.5. Let b = -13 + n. Let i be 8/(-4*1) + 2. Which is smaller: b or i?
i
Let n(i) = 2*i**2 - 132*i - 1022. Let j be n(-7). Is j less than 1/7230?
True
Let f be 7 + (-30)/9 + (-2)/(-6). Suppose -2*r = v - 1 - 19, f*v = -5*r + 56. Is r at most 0?
False
Suppose -328*c + 278*c - 57 + 7 = 0. Let r = 732809/151 - 4853. Which is smaller: r or c?
c
Let t = -3019 - -2809. Which is smaller: t or -204?
t
Suppose 91*f + 59*f = 865 + 35. Let w(n) = -10*n - 5. Let t be w(-5). Let k be 18/t*74/4. Which is bigger: k or f?
k
Suppose -5*q - 3761 = -5*h + 9464, 0 = q + 3*h + 2669. Which is greater: q or 0?
0
Suppose -3*z - 42 = -3*n, n + 3*n - 5*z - 60 = 0. Let l(c) = c**2 - 13*c + 61. Let r be l(n). Which is smaller: -2/5 or r?
-2/5
Let b = -6 + 13. Let z = 354 + -385.5. Let x = -31.5 - z. Which is bigger: x or b?
b
Let l(r) = -5*r**2 - 126*r - 24. Let d be l(-25). Is -30/227 not equal to d?
True
Let k = 6.65 - 0.76. Let n = k + 1.11. Which is smaller: n or 0.6?
0.6
Suppose 6*j = 37 - 37. Let s be 1/11*(-1 + -13 + j). Which is greater: -2 or s?
s
Let k be 2/6 + 104*(-20)/12. Let z = 1209/7 + k. Is z != -43?
True
Suppose -4*u + 14 = -2*l, 27*l = 3*u + 30*l + 12. Is u < -15/1681?
False
Let f(g) = -6*g - 16. Let k be f(-3). Suppose -k*j - h = -18, 2*h - 3 = -5*j + 40. Is -0.12 at least as big as j?
False
Suppose 4*q = 3*n - 777, -4*q - n = -2*q + 401. Let r be (-9)/q*1/(-5). Which is smaller: r or 0?
r
Suppose 4*z - 8 = -2*k + 8, -2*k = -4*z + 16. Let r = -21.479 - -21.6. Which is bigger: k or r?
r
Let p(q) = -q**3 - 10*q**2 - 3. Let z be p(-10). Let b be ((28/3745)/(-1))/(z/(-30)). Which is greater: b or 0?
0
Let b = 8 - 21. Let t be ((-20)/2 - (13 + -20)) + -4. Is t less than b?
False
Suppose -170*l - 4*m + 59 = -171*l, l + 3*m = -45. Is l smaller than -359/7?
False
Let g be 10/(-25) - (-5232)/(-20). Which is greater: -2 or g?
-2
Suppose 0 = 88*u - 97*u - 603. Let p = u + 64. Which is greater: p or -0.03?
-0.03
Let h = -81787168/223 - -366760. Which is bigger: h or 0?
h
Let i = 9/1061 + 908/18037. Let p = 2.1 - 14.1. Let k = p + 12.1. Which is smaller: i or k?
i
Let g = -57.67 + 57.77. Do g and -3465 have the same value?
False
Let f = -235 - -236.4. Let q = 0.7 - 3.7. Let w = q - 0. Is f < w?
False
Let d(v) = -v + 3. Let x be d(-5). Let k be (-3)/189*(-11)/((-209)/2). Let i = k - -9179/1197. Which is smaller: x or i?
i
Let c = 3 - 10. Let z = 446818 - 446812. Which is bigger: c or z?
z
Let d be (36/543)/(0 + 2). Suppose -6425 = -21*w - 6404. Which is smaller: d or w?
d
Let k = -1 + -1. Let z = -14595.189 - -14586. Let q = -0.189 - z. Which is smaller: k or q?
k
Let y(s) = 15*s - 6. Let i be y(6). Let a = 307 - 224. Let u = i - a. Is u greater than or equal to -1/4?
True
Let h = 46378 + -1251662/27. Which is smaller: h or 21?
h
Let k(n) = -n**2 - 4*n + 6. Let o be k(-5). Let u be (20774/(-47))/(((-15)/9)/5). Let x be 25/(-30) - (-1573)/u. Which is greater: o or x?
o
Suppose -2*d + 7*d = 0. Suppose d = -16*b + 1475 + 1933. Let x = b - 112. Which is greater: x or 102?
102
Let t = 14/1261 - -3480206/13871. Let d = 37332/143 - t. Is 10 not equal to d?
True
Let a = 16214288/551 - 29427. Is a at least 1?
False
Suppose 4 = -6*o + 34. Suppose 0*w + 50 = o*w. Is w at least 10?
True
Let n be (-123)/(-54) - 2/(-9). Let l be -4*(-10)/(-40)*(301 - -1). Let q = 301 + l. Is q less than n?
True
Suppose -x + 2 = q - 22, 0 = x - 5*q + 6. Suppose 4*y - 36 + 22 = 2*f, -x = -5*y + f. Is 48/19 > y?
False
Let o be 44/(-28314)*-583 - 6/9. Is o != 0.3?
True
Let p = -3/2644 - -3363189/18508. Which is smaller: 183 or p?
p
Let m = 90 - 82. Let h(o) = -o**2 + 6*o - 5. Let d be h(m). Let l = 21 + d. Is 1/4 at least as big as l?
True
Suppose 2*k - 5*s = 20, -2*s - 8 = k - 0*k. Suppose 2*t = 2*o, k = -8*t + 4*t + o. Suppose -4*b - 16 = t, -4*b - 16 = q + q. Which is smaller: -2/9 or q?
-2/9
Let m be 29 + -28 - 1*1686/1689. Is m > 1?
False
Let i = 12.13 + 17.63. Let u = i - -0.24. Let a = 30.1 - u. Which is smaller: -10 or a?
-10
Let q(g) = 6*g**3 + 3*g**2 - 2*g - 9. Let x be q(-2). Let a be 40 + (-1 - -2) - -1. Let o = x + a. Is o <= 7/4?
True
Let a = 28.72845 - 28.821. Which is smaller: a or 2?
a
Suppose 0 = -3*s + 4*s - 2. Suppose -2*y + 4*h - 2 = 0, 3*y + 10 = -y + s*h. Suppose 8*d = 3*d - 10. Is d != y?
True
Let i be 54/(-13) - 118/(-767). Let m be 5 + (-45)/10 + (-302)/i. Which is bigger: m or -1?
m
Let y = 0.045 + 0. Let m = -18.955 - y. Let r = m + 18. Which is greater: -0.04 or r?
-0.04
Let u = -4.70191 - 0.32429. Let m = u + 0.0262. Which is smaller: -21 or m?
-21
Let s be (-3 - (-1125)/24)/(3/(-52)). Let r = 744 + s. Which is smaller: r or 1?
r
Let j be -3 + (-60)/(-5)*-1. Let f(g) = -g**3 - 14*g**2 + 12*g + 7. Let d be f(j). Suppose 7*t - 3*t + d = 0. Which is greater: t or -12?
-12
Let z(q) = -58*q. Let j be z(5). Let u be (2337/7 - 5) + 24/(-28). Let p be (-1)/(-5) + u/j - -1. Is p greater than or equal to 1/4?
False
Let r be 747/6 + 0 + 6/4. Let n be 88/396 + 134/r. Which is smaller: n or 1?
1
Let t be (6/8*(44 + -48))/283. Which is smaller: t or -1?
-1
Let i = 137298907/519252 - 3173/12. Which is smaller: 0 or i?
0
Let m(o) be the second derivative of -17*o**3/2 - 5*o**2/2 + 22*o - 1. Let d be m(-2). Which is bigger: d or 96?
d
Suppose -33 + 29 = 4*m. Let f(p) = 4*p**2 + 22*p + 7. Let t be f(-5). Let i(k) 