5)/31. Is 0 at most w?
False
Suppose 0*m - 4*h = -4*m, -2*m + 6 = 4*h. Let c = 8.2 - 0.7. Let k = c - 8. Is k less than m?
True
Let j = 3701/560 + -3/80. Is j <= 8?
True
Suppose 3*x + 285 = -4*d, 0*d - 355 = 4*x - 3*d. Which is smaller: -84 or x?
x
Let d = -10073 - -10422.86. Let h = d - 354. Let u = h + 0.14. Which is greater: 2 or u?
2
Let c = 25 - 25. Suppose c*o = -6*o. Which is greater: 7/6 or o?
7/6
Let k be 3168/(-57078) - 4/(-42). Which is smaller: k or 1?
k
Let x = 387 - 387. Which is bigger: x or 2/393?
2/393
Let q = 4 - 3. Suppose -4 = 2*h - 0. Let k be h/(-5) - (-4)/(-10). Is k smaller than q?
True
Suppose 19 = -2*k + 3*k. Let o be (-1881)/(-111) + 90/1665. Which is bigger: k or o?
k
Let p = 54 - 37. Is p at most 25?
True
Let o be -684*(-11)/22 + 3. Is o greater than or equal to 346?
False
Suppose -2*h = -5*h - 120. Let r = h - -39. Is -1/83 at least r?
True
Let l = 3126007/209 + -14957. Which is smaller: -1 or l?
-1
Let z be 22/11*66/(-4). Let l = 31 + z. Which is smaller: l or -5/3?
l
Let m = -2.61 + 2.71. Let j(i) = i**2 + 6*i + 2. Let c be j(-6). Suppose 3*s + v - 11 = 0, -s - c*s - 4*v = -17. Are m and s equal?
False
Suppose -5*q - y + 0*y + 6 = 0, 2 = -3*q - 2*y. Suppose -4*l - 3*s = -2*s - 4, -3*l - q = 2*s. Which is smaller: -0.3 or l?
-0.3
Let f = 91/4 - 1563/68. Which is bigger: f or -0.1?
-0.1
Let m = 1522 - 1534. Let g = 2 - 15. Is g at most m?
True
Let f(u) = 4*u**2 + 8*u + 2*u**2 + 6*u - 18*u**2 + u**3. Let b be f(11). Let q be ((-3)/b)/((-2)/4). Which is smaller: q or -1?
-1
Suppose -147 = v - 199. Let z = 15 - v. Which is smaller: -38 or z?
-38
Let r = -0.2 - -0.1. Let s be (-1)/5 + 3729/(-1540). Let y = -75/28 - s. Which is smaller: y or r?
r
Suppose 20 + 1 = 3*o. Which is smaller: 8 or o?
o
Let c(z) = 4*z**2 + 5*z + 9. Let k be c(-6). Let o = k + -98. Which is smaller: o or 24?
24
Suppose 0 = -x + k - 5, 4*x + 2*k - 12 = -2*k. Let y(o) = -o**3 + 5*o**2 + 24*o + 1. Let g be y(8). Let m be ((-8)/g)/(9/x). Does 1 = m?
False
Suppose -c = 2*c + 3. Let d = 7/173 - 964/19549. Is c >= d?
False
Let a = 19/615 + 8687/216480. Let m = -11/32 + a. Do m and -1 have different values?
True
Let w = 0.4 - -0.7. Let c = 4.3 - w. Let q = c + -0.2. Is q <= -2?
False
Let p = 936 - 932. Is p smaller than 60?
True
Let w be 9/63 - 3668/(-49). Which is greater: w or 78?
78
Suppose 4*t + 5 = -5*z - 285, t = -z - 71. Suppose -21 = j + 45. Which is greater: j or t?
t
Let v be 8300/33328 - 12/48. Is 0 > v?
True
Let k be (-2)/12 + (-69)/18. Let i be ((-44)/(-35))/(k/(-10)). Which is smaller: 2 or i?
2
Let r = -16 + 18.8. Let p = r + 8.2. Let s = -19/7 + 81/35. Is p bigger than s?
True
Let i = 300 - 302. Let h = 5 - 1. Suppose 0 = 2*q + h*m + 18, 3*q - m = 3*m + 3. Does i = q?
False
Suppose 0 = s - 5*s - 16. Let c be 0/s + (3 - 2). Let u be (-4)/c*(-21)/(-42). Is -4 at most u?
True
Let b be (3/(-2))/(3 - 15/4). Suppose f = -b*o - 12, -o - 8 = f + 4. Which is smaller: f or -10?
f
Let j be 0 - 0*(-2)/(-10). Let b be 29/(-6) + (-3)/18. Let m = j + b. Which is greater: m or -3?
-3
Let y = 3735/91348 + -7/164. Which is smaller: -1 or y?
-1
Let f be -10 + 11 + (-4)/(-1). Suppose -f*j = j. Is -5/9 smaller than j?
True
Let w = -8 + -70. Let y be ((-108)/48)/(w/32). Which is smaller: y or 0?
0
Suppose 3*j + 55 = -26. Let z = j - -31. Let v be 6/15 - 4/10. Are z and v equal?
False
Let t = 2/213 + 167/4899. Let j(w) = -w**3 + 7*w**2 - 6*w + 1. Let v be j(6). Which is smaller: v or t?
t
Let l(f) = -2*f**3 - f**2 - 2*f + 8. Let d be l(0). Suppose -4*s - d = -2*n - 3*s, 22 = 4*n - 5*s. Is n less than 25/6?
True
Suppose -2*t = 5*o + 24, -2*t - 5 = -3*o + 3. Let z be t/8 + 9 + -8. Is -8 at least as big as z?
False
Let k = -1096 - -1096. Which is bigger: k or -1/311?
k
Let a(l) = l + 27. Let b be a(-13). Suppose -b*j + 351 = 15. Which is smaller: j or 23?
23
Let s(r) = -r**2 + 7*r - 4. Let a = 10 + -12. Let u = a + 9. Let k be s(u). Is -5 at most as big as k?
True
Let k = -228 - -423. Suppose 5*v - k = 5*o, -o - 3 = -0*o. Let u = -139/4 + v. Is 0 greater than or equal to u?
False
Let v = -6324/1248535 - 2/3517. Let y(s) = -13*s - 910. Let f be y(-70). Is f <= v?
False
Let g = 10.94 + -1.94. Which is smaller: 1 or g?
1
Suppose -g + 4 = g - 3*k, 0 = -3*g - 2*k + 19. Is -2 greater than or equal to g?
False
Let m be 14 + -3*2/6. Suppose q - 2*b = -16, b + 7 + m = -3*q. Do q and -8 have the same value?
True
Let q = -8996 + 8914.06. Let c = -82 - q. Which is greater: -6 or c?
c
Let u be 0 - ((-4)/(-6))/(96/(-72)). Is 1 <= u?
False
Let f = -5588 - -39037/7. Are -11 and f non-equal?
True
Let k be 2*12/(-8)*10/22. Which is bigger: k or 0?
0
Let t(o) = 3*o + 20 - 7*o - o - o**2. Let m be t(-9). Which is bigger: -15 or m?
-15
Let i be (-33)/(-55) - 484/(-10). Suppose -5*y = 3*v - i, -y - 7 - 4 = -2*v. Suppose 3*a - r = -v, r = -2*a - r + 8. Which is smaller: a or -0.12?
a
Let c = 747910294/6629 - 112824. Which is bigger: -1 or c?
c
Let r = 21963/68 - 323. Let g = r + -4/17. Which is smaller: g or 0.05?
g
Let f = 83/14 + -17/7. Let k(n) = 11*n - 28. Let i be k(-5). Let d = 333/4 + i. Which is greater: d or f?
f
Let x be (14/6)/(13168/(-16944)) - -3. Which is smaller: 1 or x?
x
Suppose 0 = -15*q + 14*q + 10. Suppose q*r - 13*r = -3. Is -1/93 at most as big as r?
True
Let q be 16/(-242)*(19/4 + -5). Which is smaller: q or 1?
q
Suppose -5*c + 5*t - 116 - 9 = 0, -98 = 4*c - 2*t. Which is smaller: -25 or c?
-25
Let l be ((-6)/(-20))/(98/(-10) + 11). Which is smaller: l or 2/603?
2/603
Let u = -59 - -56. Let v be (-1)/(u/(-6)) - (-5 + 4). Which is bigger: v or -2?
v
Let g be 4/6 + (-1182)/(-9) + -2. Let m = -135 + g. Is m at least as big as -60/11?
True
Let w = 578 + -578.12. Are 2 and w non-equal?
True
Suppose b = -3*b. Suppose -2*h = -2*l + 18, 4*l - 6*l + h + 14 = b. Suppose 2*t = -5*n - 20, -2*t + 2*n + 13 = l. Which is smaller: -2 or t?
-2
Suppose -3*b = -36 + 6. Let h be b/6 + 1 - (-2)/6. Which is smaller: h or 22/7?
h
Suppose 0 = -7*s + 8*s + z, -s + 2*z - 3 = 0. Let r be ((-14)/(-21))/((-202)/6). Is s equal to r?
False
Suppose 0*t - 2*t + 12 = 0. Suppose t*l - 42 = 108. Suppose a - 22 = -l. Is -2 greater than or equal to a?
True
Let a be 869/(-693) - 8/(-6). Which is greater: 0 or a?
a
Suppose 42*d - 44*d + 26 = 0. Let g(a) = a**3 - 14*a**2 + 14*a + 2. Let m be g(d). Is m equal to 15?
True
Let u(j) = 9*j**2 - 36*j - 1. Let d be u(4). Let h = -1097/3664 + -3/229. Is h at most d?
False
Suppose -5*d = -d + 16, -h = 2*d + 23. Let y = 1 + h. Which is smaller: -2 or y?
y
Suppose -4*c + 4*i + 32 = 0, -c + 4*c = 5*i + 32. Suppose 8 - 2 = -6*g. Let t be g/3 - (-187)/66. Is t less than or equal to c?
True
Suppose -21*c - 60 = -18*c. Which is smaller: c or -12?
c
Let u = 495 - 535.2. Let h = 40 + u. Which is bigger: h or -7?
h
Let s(y) = -6*y - 34. Let c be s(-7). Suppose -2*n - 6*n = c. Do -2/221 and n have different values?
True
Let z be ((-35)/(-10) - 3)*0. Suppose z*b - 4*o = -3*b + 115, 0 = b - 5*o - 53. Does b = 0?
False
Let v be 8/1 - (-387906)/(-48484). Which is greater: v or 0?
0
Let f = -1 + 0.3. Let y = -4/1385 + -2758/4155. Which is greater: y or f?
y
Let u(m) = -m**3 + 5*m**2 - 5*m - 4. Let w be u(4). Let z = w - -13. Suppose -4*r + 3*r = -1. Is z greater than r?
True
Let p = -0.732 - 228.268. Is 0 smaller than p?
False
Let f = 2 - 0. Let b(m) = 3*m**3 - 2*m**2 - m - 1. Let u be b(f). Let c(n) = -3*n**2 - 41*n - 14. Let z be c(-13). Is z >= u?
False
Let z be 708/10*320/12. Is -1 not equal to z?
True
Let o = 41 - 39. Suppose 5*i - 10 + 0 = 0, o = 2*u - 2*i. Do u and 2 have different values?
True
Let f be 2/(-3)*-5*3. Let g be 242/5 + (-4)/f. Let q be 4/(-6)*198/g. Which is bigger: -4 or q?
q
Let h be (1 - 3) + (-310)/(-8). Let d = -2213/60 + h. Suppose 4*m - 4*f + 16 = -4, 3 = m + f. Which is smaller: d or m?
m
Let m be (-1)/((-2)/72)*-1. Let a = -30 - m. Which is bigger: -2 or a?
a
Suppose -21*k + 6 = -20*k. Suppose -k = -4*g - 3*h, -2*h - 2 = 3*g - 6. Which is smaller: -24 or g?
-24
Let f(w) = 27*w - 13. Let a be f(5). Suppose -h = -3*c - 912, -3*h - a + 1642 = -5*c. Let d be (-4)/(-10)*19/c. Is 0 at most as big as d?
False
Suppose -4*q = 2*q + 294. Let x = q + 58. Suppose -4*i + 25 = -5*h, -19 = -i - 3*h - 0*h. Which is greater: x or i?
i
Let r = -57/28 + 15/28. 