se 4*l = -i + 21. Suppose 0 = 4*n + 4, -v = v + l*n + 4. Which is smaller: 2/9 or v?
v
Let s = -2 + 1. Let z = 1297 - 1303.59. Let a = z - -6.7. Which is smaller: s or a?
s
Suppose -b - 3*b + 5*g = 5, -2 = -2*g. Suppose -5*f + 3*w + w + 52 = b, 0 = 2*f + w - 13. Suppose f*m + 20 = 3*m. Which is smaller: -3 or m?
m
Let t be 4/(-2) - (6 + 8/(-1)). Let w be ((-2)/6)/((-5825)/(-30)). Let x = w + 5839/8155. Which is bigger: t or x?
x
Suppose -8190 = 134*t - 99*t. Is -234 > t?
False
Let i be (0 + (-8)/(-3))/((-62)/465). Suppose -2*x - 3*x = -175. Let t be 4/(-2) + x/i. Which is bigger: t or -4?
t
Let u be (((-912)/20)/(-6))/6. Let f = u - 46/15. Is -3 equal to f?
False
Let b = -94.1 + -23.9. Let p = -118.1 - b. Which is smaller: 87 or p?
p
Let k be 36/(-40) - 7 - (-2)/(-20). Is k at most -8?
True
Suppose 0 = -3*j + 13 + 8. Suppose 0 = -j*b + 8*b. Which is smaller: b or -5/9?
-5/9
Let a(w) = w**2 - 7*w - 45. Let k be a(11). Which is bigger: k or 1/11?
1/11
Let h = -0.01 + 2.01. Let w = 0.962 + -0.042. Let b = w + 8.08. Which is greater: b or h?
b
Suppose 2*a - 5*a = -48. Let t = 20 - a. Suppose 3*l = -t*i + 19, 5*l - 2*i + 4*i - 13 = 0. Which is greater: -4/9 or l?
l
Suppose 5*q + 4*b - 1676 = 0, 8*b - 3 = 11*b. Which is smaller: 335 or q?
335
Let s be ((-2)/1)/(-2 + -9 + 13). Let p be 7/(-45) - 2/5. Which is bigger: p or s?
p
Let s(d) = d**3 - 46*d**2 + 47*d - 97. Let x be s(45). Which is smaller: -1 or x?
x
Let n = -0.3 - -0.35. Let c be (80/600)/(1 - (-38)/5). Let i = c - 268/645. Which is greater: i or n?
n
Let k be -6 - (-10406)/1992 - (-6)/10. Let u = -16/83 - k. Is u less than 1?
True
Let c be 8091/(-217) + 4/14. Which is bigger: c or -151/4?
c
Let w = -8 - -44. Let h(k) = -2*k**3 - 7*k**2 - 10*k - 19. Let s be h(-4). Which is bigger: s or w?
s
Let r be 1/(-2) - 1651/(-26). Let o = -63 + r. Which is greater: 16/13 or o?
16/13
Let k(c) = -4*c**2 + 37*c + 5. Let y be k(6). Is y at least 85?
False
Suppose a - 3*n - 7 = -2, 5*a - 41 = -n. Which is smaller: -6 or a?
-6
Let h be 23/851*12/(-10). Is h < -1?
False
Let d = -694 - -46501/67. Is d greater than or equal to 3/4?
False
Suppose -q - 5 = -4*m - 6, 2*m + q = 1. Suppose 3 = -3*j - 2*h, 0 = 4*h - m*h. Which is bigger: j or -1/2?
-1/2
Suppose -76*i = -80*i - 4068. Does i = -1018?
False
Let a = -122.8 - -122.8. Is a != -0.484?
True
Let d = 25 - 23. Suppose 3*w = o, 3*w = d*w - 3*o. Let q be (w + 3 - -1) + -2. Is 1 <= q?
True
Let b = -42 + 38. Let a be 2/(-6) - b/12. Which is smaller: 8/15 or a?
a
Let l(v) = -3*v**2 + 1. Let m be l(-1). Suppose 4*i + 9 = -t, -i + 3*t = -2 + 14. Let r be (i + (-3)/m)*-2. Is r < 3/2?
False
Let s be 8*3/(-6) + 3. Let l = 363/1096 + 6/137. Is s >= l?
False
Let u = -2824 - -2747. Which is greater: -0.5 or u?
-0.5
Let u = 0.29 + -4.39. Let j = -2.3 - u. Which is smaller: 0.1 or j?
0.1
Let p = 70 + -176/3. Let y = p + -12. Let h = -2 + 2. Are y and h unequal?
True
Let j be -113 - (-4 - (-3 - -3)). Let t = j - -107. Is -30 > t?
False
Let b = 213 - 210. Let d = -2/13 + 90/247. Which is smaller: d or b?
d
Let c be 4/(-6) - (-4)/42. Let r = -912 + 913. Which is smaller: r or c?
c
Let l = -1731/8 + 218. Do l and 3 have the same value?
False
Let l(t) = -20*t - 5. Let i be l(-1). Let f be -3 + 39/i - (-66)/(-60). Do f and -2 have the same value?
False
Suppose 0 = 2*s + 2436 - 204. Is s less than or equal to -1115?
True
Let b(x) = x**2 - 29*x - 12. Let s be b(29). Let c(t) = t - 3*t**2 - 8*t**2 + 1 - 2*t. Let r be c(1). Is s greater than or equal to r?
False
Let w be (112/(-588))/((-174)/7). Which is greater: 0 or w?
w
Let f = 6 + -4. Suppose 2*p - 2 = 0, -o = -f*p - 0*p. Suppose 0 = h + o*h. Which is smaller: -5 or h?
-5
Let f be ((-12)/(-5))/(14/35). Suppose -5*v = f*v + 33. Which is smaller: v or -11/7?
v
Let r(d) = -3*d + 295. Let i be r(28). Is 212 less than i?
False
Let m be ((-4)/8862)/((-56)/392). Which is smaller: 0 or m?
0
Let a = -285 - -295. Which is bigger: a or 61/7?
a
Suppose 0 = 9*o - 28*o - 76. Which is bigger: -6 or o?
o
Let u(s) = s**3 - 14*s**2 + 12*s + 16. Let d be u(13). Suppose -10 = -2*v - 4*j, -2*j + 5 + d = 4*v. Is v at most -1/6?
False
Let w = -0.95 - -2.95. Let q be ((-7)/4)/(2/8). Is w bigger than q?
True
Let o = -3.8 - -3. Let j = -8.68 + -1.12. Let q = o - j. Which is bigger: q or -0.2?
q
Let a = -505 - -234. Is a less than -271?
False
Let y be 11628/(-5) + 3 + 18/(-45). Let r = y + 11552/5. Which is greater: -12 or r?
-12
Let n(j) = 11*j - 3. Let g be n(-7). Let b be ((-4)/g)/((-15)/(-24)). Which is smaller: b or -1?
-1
Let c = 55 - 48. Let v = c - 7.04. Is 0.1 at most as big as v?
False
Let a(p) = -3*p**3 - 3*p**2 - 3*p - 5. Let z be a(-2). Which is bigger: z or 1?
z
Let h = -0.41 - -19.41. Let d = 33 - h. Which is smaller: d or 0?
0
Suppose 5*x = -4*x + 9. Suppose -1 = 15*z - x. Are 2/47 and z non-equal?
True
Let o be ((-42)/(-70) - 344/(-810)) + -1. Is 0 smaller than o?
True
Let x be (-1)/(-3 - -1)*6. Suppose 2*v + p - x*p = 0, -28 = -3*v - 4*p. Suppose -4*a + 4*y = 6*y - v, -5*y = -3*a + 29. Is a greater than 4?
False
Let f = -12366/19 - -651. Let n = -14 + 76. Suppose -53*h + n*h = 9. Which is smaller: h or f?
f
Let t be (14/5 + 4)/((-6)/(-60)). Is 70 < t?
False
Suppose -5*z + 6 + 3 = -4*v, 2*v = 4*z - 6. Is 1/234 less than or equal to z?
True
Let s = -9 + 14. Let y be 1 - s - (0 - 9). Let c(m) = -m**3 + 4*m**2 + 4*m - 4. Let u be c(y). Which is greater: u or -7?
-7
Suppose 7 = 3*p + 5*k, -p = p + k. Suppose 0 = -2*u + 3*u + 1. Is p >= u?
True
Let q = -1201.671 + 1202. Which is greater: q or 0.2?
q
Let g = -0.03 - 0.02. Let u = g - 1.95. Let o = 3 - u. Which is greater: 2 or o?
o
Let f = -3.8 - 0.2. Let g = -267 - -267.2. Are g and f unequal?
True
Suppose 4*n + n = 15. Let v be n/((-42)/(-8)*6). Suppose d - 1 = 2*d. Does v = d?
False
Let m = 68 - 88. Let n be (-201)/(-105) + 4/m. Is n at least as big as 2?
False
Let k = 37.5723 + 0.4277. Let y = 0.2 - 1.2. Do y and k have different values?
True
Let d be (-33)/2 + 2/(-4). Suppose 102 = -10*t + 4*t. Is d smaller than t?
False
Suppose 5*d = 4*r - 35, 2*d - 12 - 7 = -5*r. Suppose 5*s - r*o = -o - 336, 5*o - 267 = 4*s. Is s at most as big as -68?
True
Let w(o) = 5*o**2 - o**3 - 5 - 12*o + 39*o - 16*o - 2*o**2. Let c be w(5). Let b be ((-2)/(-18))/(10/(-24)). Which is bigger: c or b?
c
Suppose -c + 32 = c - f, -3*f = 0. Let g be 40/(-7 - -2) - 8. Let m = c + g. Is m <= 3/5?
True
Suppose -5*q = -4*m + 53, 0 = -4*m - 2*q + q + 23. Let s be 3/m - 16/(-28). Which is smaller: 3 or s?
s
Let n = 603 - 635. Is n != -158/5?
True
Suppose 2*r + 2*r + 364 = 0. Is -91 less than r?
False
Let p = 0.32 - 12.32. Let i = p - -12.3. Which is smaller: i or -2/5?
-2/5
Suppose -4*f + 5*f = 441. Let k = f - 5727/13. Are 0.08 and k unequal?
True
Let r = -1513/660 - -23/10. Let t(i) = -i**2 + 5*i - 7. Let x be t(3). Which is greater: r or x?
r
Let m be (-11)/(-2) + -2 + 3/2. Let s be (-1)/8 - (m/(-40))/1. Is s at least as big as 0?
True
Let i(b) = -b - 32. Let p be i(10). Let d be (-246)/p - 3/(-21). Which is smaller: 11 or d?
d
Let b be 7*(-9 - (-4 - 0)). Suppose -3 - 13 = 4*g, -2*d + 2*g - 62 = 0. Is d >= b?
True
Let b = -118.97 + 121. Let d = -0.3 - -0.33. Let v = d - b. Which is smaller: -5/4 or v?
v
Suppose -x - 4*x = 0. Suppose x*g + 60 = -5*g. Let m = g - -10. Is m >= -5/6?
False
Let i = -1499 + 1499.5. Let v(k) = -k - 6. Let y be v(-7). Let z be -4 + 1 + (y - 1). Which is greater: i or z?
i
Let s(w) = w**2 + 5*w + 2. Let y be s(-4). Let t = 2 + y. Let c be (-4)/8*-2*1. Is t at least as big as c?
False
Let z(h) = h**2 - 6*h - 11. Let c be z(7). Let u = -8 - c. Let x = u - -5. Is -0.9 > x?
False
Let k be (1573/(-22))/(5/30). Is k less than or equal to -429?
True
Let o = -1657/10 + 3008/15. Which is greater: o or 36?
36
Let a(h) = h**3 - h**2 - 1. Let k(w) = 9*w**2 - 5*w**2 + 4 - 6*w**3 - w + 3*w**2. Let y(q) = 5*a(q) + k(q). Let n be y(2). Which is greater: n or -0.3?
-0.3
Let q = 0.34 - 18.34. Let c = 0.43 + 12.57. Let p = q + c. Is p < 2/5?
True
Suppose 679 = 4*f - 5*i, -4*f + 685 = 3*i - 2*i. Which is bigger: 173 or f?
173
Suppose 2*s + 23 = -3*n, -s + 0 + 1 = -n. Let q be 24/14 + s/(-14). Suppose 9 = -3*k - 3*l, q*k + 4 = -4*l - 0. Which is greater: k or -5?
k
Suppose 0 = -3*o + 5*u - 0*u + 297, -o + 116 = 4*