b = 54/337 - 14798/100763. Is b less than -1?
False
Suppose 2*w - 470 = 4*l, -3*w - 9 = -0*w. Let n(m) = m**2 + m. Let o be n(-2). Let c be l/49 - o/((-4)/6). Which is smaller: c or 0?
0
Suppose -y - 10 = -8. Let z be y - (120/5)/(-8). Which is smaller: 7/94 or z?
7/94
Suppose 25*l + 78 = 12*l. Let t be (-325)/15*((-48)/(-380))/l. Which is smaller: 0.1 or t?
0.1
Suppose -3 - 49 = -2*z. Let u be (-309)/(-12) - ((-19)/(-20) + 72/(-60)). Is u at most as big as z?
True
Suppose 7*b + 126 = 21*b. Suppose -4*q - 4*f = -36, 11*q - 2*f - 2 = b*q. Which is bigger: 29/6 or q?
q
Let u = -719/6 + 122. Let p(l) = 9*l + 5*l**2 + 6*l - 4*l**2 - 8*l + 13. Let g be p(-5). Which is smaller: g or u?
u
Suppose -10*b + 214 = 96*b + b. Do b and 44/71 have the same value?
False
Let u = -16201 - -16200. Which is smaller: 1/12635 or u?
u
Let i = 8.9 - 10. Let y = -6.1 - i. Let b = 827 + -3307/4. Is y less than b?
True
Suppose 0*z - 5 = -5*z. Let v(y) = 2. Let x(d) = 10*d**2 + 2*d + 7. Let p(j) = -4*v(j) + x(j). Let r be p(z). Is 10 at most as big as r?
True
Let q = 225 + -215.5. Let x = -72 - -143/2. Which is smaller: x or q?
x
Let x = 36.74 - 33.74. Is x at least as big as -15?
True
Let v be ((-3)/(-193))/(-1 - (6 + -8)). Let b = -199/386 + v. Let h = -0.58 + -0.12. Are b and h equal?
False
Let a = 8243 - 9641.5. Is a != 0?
True
Let r = -603 - -612. Let z = -159294/13 + 12261. Which is greater: r or z?
r
Suppose -d = -12*f - 4*f - 61531, -f = 2*d + 3856. Is -3846 greater than or equal to f?
True
Let w = 429/4 + -108. Let r = -891 - -929. Is w less than r?
True
Let w = 11488 - 11491. Suppose 0*a = -3*a + 3*x - 6, -3*a - 4*x - 13 = 0. Is w greater than or equal to a?
True
Let u be 1329/221 + (175 - 181). Let s be (1 - 0) + (-2)/2. Which is smaller: u or s?
s
Let i = -74 - -76. Let m be i/(-16)*-2*(-204)/39. Is m != -1?
True
Let f = -10.07 - -10. Let d = 6.07 + f. Let o = -24121 - -120607/5. Which is smaller: d or o?
o
Let d = 0.04198 - -0.05802. Let s = 26121 - 2376951/91. Let a = s - 3/13. Is a at most d?
False
Let q = 0.31 + -0.3. Let o = -0.59 - -29.59. Let f = o + -28.9. Which is greater: f or q?
f
Suppose -3*l + 639 = -l + 197 + 68. Let a = -260 + 446. Which is greater: l or a?
l
Let g = 185 - 187. Let s be ((g/10)/1)/((-28)/35). Does -31 = s?
False
Suppose 111*h + 242 = 148*h - 59*h. Let u(w) = -w**2 + w - 7. Let a(i) = -i + 5. Let c be a(5). Let m be u(c). Does m = h?
False
Suppose 0 = -g + 4*g. Suppose 29*n - 19*n + 4080 = 0. Let w be n/(-970) - (-170)/(-425). Is w bigger than g?
True
Let h(l) be the first derivative of l - 4/3*l**3 - 3/4*l**4 + l**2 + 5. Let o be h(1). Which is bigger: -17/5 or o?
-17/5
Let t = -0.02311 + 3.32311. Let a = -17/2 + 93/20. Let l = 18/5 + a. Which is greater: t or l?
t
Suppose -6 = m, 0 = 3*x + x - 2*m - 4. Is x at most as big as -3?
False
Let s(w) = -w**3 + 2*w**2 + 9*w - 6. Suppose 4*h = -12, 6*d = 2*d + 3*h + 61. Let l = d - 9. Let j be s(l). Is j at least 11?
False
Let m = 14716.1 - 14716. Is 0.01544 at least m?
False
Suppose 70 = -0*b + 5*b. Let o = -2 + b. Suppose q + 5 = 0, 0*l - 3*l + 3*q + o = 0. Which is smaller: l or 1/6?
l
Let p = 4 - 108. Let w = 3948/227 - 7669/454. Which is greater: p or w?
w
Suppose 24*f - 28*f = 0. Let w(r) be the first derivative of r**4/2 + 2*r**3/3 + 2*r**2 + 2*r + 41. Let i be w(-2). Is i > f?
False
Let n = -81739/10 - -8173. Are n and -35/3 equal?
False
Let h be (3/135)/((-1122)/55). Which is greater: h or 0?
0
Suppose 4*f - 4*k - 8 = 0, -83*f + 4*k = -85*f + 4. Is 5.44 less than or equal to f?
False
Let p = 44 + -87/2. Suppose -1095 - 1401 = 16*f. Let n = f + 157. Is n < p?
False
Let h = -4.3347 - 14.6653. Let s = 0.6 + 0.4. Let l = s - 0.8. Is h less than l?
True
Let k = 611/10 + -61. Let j = -236 + 208. Let c be (0 + -2 + 4)/(26 + j). Which is smaller: c or k?
c
Let a = -10570 - -10570. Which is bigger: a or 12639?
12639
Let d(g) = -6*g - 4. Let t be d(7). Let n = t - -72. Let r = -11 + n. Is 16 not equal to r?
True
Let g be (41 + (-83 - -37))/(1142/8 - 0). Which is smaller: 0 or g?
g
Let z(x) = x**3 - 61*x**2 + 2*x - 123. Let t be z(61). Is t less than -9485?
False
Let j(r) = -2*r**3 - 2*r**2 - 12*r - 4. Let m(n) = -3*n**3 - 3*n**2 - 11*n - 4. Let i(g) = 4*j(g) - 3*m(g). Let l be i(-5). Which is greater: -148/5 or l?
l
Let l = -3907 - -4599. Is l smaller than 691?
False
Let f = 40 - 47. Let k = 336 + f. Which is smaller: 1 or k?
1
Let c = -169.67 + 168.67. Which is smaller: -13684 or c?
-13684
Let n = -19455/56 - -1389/4. Let d(s) = -6*s + 25. Let p be d(4). Does n = p?
False
Let l(k) = -k**2 + k. Let v(x) = -4*x**2 + x + 8. Let n(r) = -2*l(r) + v(r). Let o be n(-3). Let j = o - -8. Which is greater: j or 4?
4
Let z = -2 - -8. Let d be ((-8)/z)/((-1)/(-3)). Suppose -136 + 176 = -5*f - 3*o, 3*o - 5 = 4*f. Is f smaller than d?
True
Suppose 4*x - 147 = -27. Let v be (30 - 36)*(-2)/x. Which is smaller: 1 or v?
v
Suppose 0 = 2*l - 901 + 889. Let i be 4/l - (-768)/36 - 4. Which is smaller: 21 or i?
i
Let s be -1 + 6888/(-3056)*(-20)/30. Is 2 at least s?
True
Let g = -14362963/8592 + 5015/3. Which is smaller: g or 1?
g
Let k = 12233 - 12270.962. Let b = -38 - k. Let i = b - -13.038. Is i less than -3?
False
Let b = 546 + -54. Suppose 2*z = 8*z - b. Which is smaller: 81 or z?
81
Let k = -45 - -45. Let h be (-4 + (-14)/(-4))*-2. Let o be -1 - (h + 2/(-4)). Is k <= o?
False
Let k = -21 + 20. Let a be (2548/3831 - 4/6)*k. Let p = a - -26813/2554. Is p less than 10?
False
Let r = 21278226594728/49153 + -432897821. Let m = -6/199 - r. Is m less than 1?
True
Let d be -2 + 2 + (-6)/(-21). Let c = 12616 + -12592.7. Which is smaller: d or c?
d
Suppose 7876 = 6*d - 10*d. Let w = -17671/9 - d. Is 6 at most w?
False
Suppose -761 - 3309 = -407*m. Suppose 17 = 3*d + x + x, 4*d - 61 = 5*x. Does m = d?
False
Let l(k) = 14*k**2 + 1. Let s = 22 + -21. Let f be l(s). Suppose -6 + f = h. Which is bigger: 7 or h?
h
Let b = -1483 - -1475. Is b >= 10?
False
Let o = 186 + -265. Let g = 80 + o. Let j = -10 - -19. Is g at least as big as j?
False
Let l = 29 + -17. Let s be (-3)/12 - (-3 + 1413/l). Let z = 117 + s. Is z < 0?
False
Let k be (-34)/36*(-4 - -1). Let o be (-9)/(((-4)/20 - 1)*(-350)/(-140)). Which is greater: k or o?
o
Let d = 1589 + -1593.963. Is 1 >= d?
True
Suppose 272*f - 21022 = 219*f + 56888. Which is greater: f or 1468?
f
Let w = 198.69 + -17.29. Let h = w + -3.4. Which is smaller: h or -2/5?
-2/5
Let s = -23 - 34. Let l = s - -50. Let m = -6.9 - l. Is 2 equal to m?
False
Suppose -4*l - 5*n + 77 = 0, 60 = -2*n + 70. Let a be -1*(-1 + 2) - 6. Let x = l - a. Which is bigger: 18 or x?
x
Let z = -3903 - -3903. Which is bigger: -3/2123 or z?
z
Let k be 38/(-703) + (-245)/259. Are 1/4326 and k non-equal?
True
Let f be ((-90)/(-1395) - (-726)/279)*42. Which is bigger: 33 or f?
f
Let c = -397.88 + 370. Let h = c - -6.88. Which is smaller: -1 or h?
h
Let d = 1.027 - -0.113. Let z = -0.24 + d. Let l = -1.9 + z. Is 2/3 at most as big as l?
False
Let k be 4/18 + 812/(-90). Let y = 346 + -344. Suppose -5*t = -3*p - 50, t = p + y*t + 6. Is p smaller than k?
True
Suppose -5*i - 3*u - 5 = -i, -13 = 5*i - 3*u. Let h be -6 + (-1729)/21 + i/3. Is h at most as big as -88?
True
Suppose -102 = 4*m + 2*v - 0*v, -4*v = m + 36. Let k be m - 2*(-2)/2. Let j = 78961 + -78983. Is j less than k?
False
Let l = -26246.6 - -25814. Which is smaller: l or -1?
l
Let s be (-12)/(-10)*(-1 - (-39)/(-6)). Which is bigger: s or 6?
6
Let k = 18957 + -18962. Does k = -975/8?
False
Let r(g) = g**3 + 21*g**2 - 6*g. Let z be r(-20). Let b be 1/(-7) + z/112 + -3. Which is greater: b or -2?
b
Suppose 4*w - 3*l = 3*w + 1345, 5*l = -2*w + 2745. Suppose -w*b = -1364*b + 2472. Are 618 and b equal?
True
Let j be -1 + 4 - 2 - -1. Let g be (j + -2)*(-6)/(-24). Which is smaller: g or 2/1647?
g
Suppose 0 = 5*h + 125 - 415. Suppose 5*p = -5*o + 15, -4*p + 0*o + 12 = -2*o. Suppose -m - 125 = 3*u - 307, -2*m = p*u - 187. Which is bigger: h or u?
u
Suppose 4*y + 9*n + 35 = 4*n, -5*y = 3*n + 34. Let j be (0 + (-2)/(-669))*(y + 2). Which is bigger: j or 1?
1
Let u be -3*(-3 + 1) + (78 - 81). Is -668 greater than u?
False
Let v(w) = -90*w + 13. Let r be v(1). Let l be (r/14)/((-1)/(-10)). Are l and -55 equal?
True
Suppose 0 = -3*x - 2*l + 1779, -3*l - 1989 - 383