*v + 39 = o, -v - 5*o - 45 = 3*v. Let u be (-4800)/(-225)*(1 + (-6)/4). Is u smaller than v?
True
Let b = 1284 + -1284. Which is smaller: b or 252?
b
Let s = -0.018 - -8.018. Let c = -0.3 + 0.7. Let n = c - 0.3. Is n equal to s?
False
Let h be ((-3)/(2 + -5))/((-13)/13). Which is smaller: 348 or h?
h
Suppose 6*y - y - 15 = 0. Let b be -3 - (-15)/y - -2. Let p = 7 - b. Is -1/4 > p?
False
Let j be 3/(-6)*-2*(-10)/25. Is 182 smaller than j?
False
Let h be ((-8)/(-12))/(6/477) + 4. Are 1 and h equal?
False
Suppose 6*r = 2*r. Let t be (-450)/460 + 15/10. Is r not equal to t?
True
Let h be (1 + -4 - -172)/1. Suppose 0 = -3*m - 5*d - h + 13, -d + 174 = -3*m. Which is smaller: -59 or m?
-59
Let l = -34 - -39. Let w be (-22)/(-45) + 4/50*l. Suppose 2*i = 6*i - 8. Do w and i have different values?
True
Let t = 5 + -2. Suppose 6*v = t*v - 3. Let f = 242 - 1691/7. Which is greater: v or f?
f
Let x = 74 - 53. Let t = x + -46. Let r = t - -24.9. Is 0 at most as big as r?
False
Suppose -40 = -4*z - 40. Which is smaller: z or 3/406?
z
Suppose y + 2 = 2*m, y + 5*m = -11 - 26. Is y at least 13?
False
Let c = -523 - -519. Is c > -42/11?
False
Suppose 5*u - 62 - 128 = -5*b, 4*u - 146 = -2*b. Let j = 43 - u. Let l(z) = z + 1. Let t be l(j). Which is smaller: t or 12?
t
Let i = -591 - -622. Which is smaller: 16 or i?
16
Let b = 1.47 - 0.18. Let q = -0.09 + b. Is q less than -4?
False
Let j = -7 + 22. Let i = -160 - -177. Which is smaller: i or j?
j
Let c = 1681 + -1681. Which is smaller: c or 94?
c
Let i = -29.04 - -3.14. Let p = -26 - i. Do p and 1 have the same value?
False
Let l be (2 - (-1 - -18)) + (2 - 1). Is l greater than or equal to -13?
False
Let v = -549 - -774. Which is smaller: 227 or v?
v
Let u = 41306/15 - 2755. Let b = 36088/15 - 2405. Let v = b + u. Which is smaller: 0 or v?
v
Let k be 60/(-80) + (-79611)/28. Is k at least -2843?
False
Let n(r) = -r**2 + 4*r - 1. Let x be 3 + -1 + 2 + -1. Suppose -x*h = h - 16. Let a be n(h). Which is greater: -1/4 or a?
-1/4
Let d = -0.11 - 37.89. Let h = 53.1 + -27.1. Let q = h + d. Which is bigger: q or -1?
-1
Let y = -0.17 + -0.13. Let x = 1.7 - y. Let t = -0.1 - 0.1. Which is bigger: t or x?
x
Let n be (-12)/76*(210/18 + 5). Is n equal to -3?
False
Let q be -13 - (82824/(-3762) - -9). Which is bigger: 1 or q?
1
Suppose 3*s + 30 = -4*a + a, 0 = 2*a - 3*s. Let m be -1 + -111 + (3 - 2). Let d be m/18 + 6/4. Is a at most d?
True
Let n be -1*(0 - (1 - 0)). Suppose 0 = -4*t - 8, -w = -t - 1 - 4. Suppose -w - 11 = 3*m + s, -2*m - s = 11. Which is smaller: m or n?
m
Let v = 4.112 - 0.012. Let f = -3.1 + v. Is 8 equal to f?
False
Let g = -0.255 - -0.35. Let v = 0.195 - g. Which is smaller: 0.059 or v?
0.059
Suppose 0*v - v = 1. Is -994 greater than or equal to v?
False
Let y be 33/(-15) + 6/30. Let q be ((-7)/y + -3)*0. Which is smaller: -1/14 or q?
-1/14
Let p be 9 + -68 + -1 + (0 - 2). Is p bigger than -0.5?
False
Suppose 26*f + 2*f = 28. Which is smaller: f or 5/143?
5/143
Let p = 17041 - 17040.6. Let k = -0.3 - -0.2. Is k < p?
True
Suppose -f = -6*f + 2*h - 56, -5*f - 5*h - 70 = 0. Let b = f + 14. Which is smaller: -14 or b?
-14
Let m = -213 + 214. Is 3/8 at least m?
False
Let x be ((-2)/33)/(7/147). Let s = 32/77 + x. Let i(q) = -q**3 + 6*q**2 - 6*q + 4. Let p be i(5). Is p bigger than s?
False
Suppose 0 = -b + 4*b. Let v be ((-1)/(-3))/((-2)/(-12)). Suppose b = v*h + 3*h. Which is smaller: 3/5 or h?
h
Let k = 4 + 0. Suppose 0 = -k*a + 18 + 10. Let b(i) = i**2 - 6*i - 6. Let t be b(a). Do 4/3 and t have the same value?
False
Let w(c) = c - 15. Let a(x) = -x**3 - x**2 + x + 8. Let g be a(0). Let s be w(g). Is -6 at most as big as s?
False
Let q(u) = -u + 7. Let w be q(4). Suppose -i = w*i + 28. Let b(j) = -j**2 - 4*j - 6. Let k be b(-4). Is i not equal to k?
True
Suppose 4*c - 5*o - 19 = 2*c, -2*o - 16 = -5*c. Let l be 4/24*-3 - -1. Which is smaller: c or l?
l
Suppose 21 = 10*v - 3*v. Let h = -23 + v. Is h > -18?
False
Let m be ((-6)/(-332))/(399/76). Which is smaller: m or 0?
0
Let w = -27/53 - 103/318. Let x = 0 - -1. Which is greater: x or w?
x
Suppose 9*g - 4*g = -4*q, 3*g - 2 = -2*q. Suppose 2*o - g = -2. Suppose 0 = -3*j - 2 - o. Is j at least 0.1?
False
Let c = 55.2 - 54.52. Which is smaller: 0.2 or c?
0.2
Suppose 39*t - 18*t = -1386. Which is greater: -65 or t?
-65
Let m(g) = -2*g**3 - 13*g**2 - 5*g + 6. Let k be m(-6). Does k = -5?
False
Let r = 23.6 + -24.6. Are r and -1 non-equal?
False
Let y = 15 - 10. Let h = -10 - -11. Let d be 4/8*-2*h. Is y not equal to d?
True
Let p be (-6)/2 + -1 + -1. Let y be (0 - (-24)/(-3))/p. Let k be (-11)/(-9) - 4/18. Is k smaller than y?
True
Suppose 3*i - 1 = -4. Let y be (-5 + (-930)/(-185))/(2/4). Is y less than or equal to i?
False
Let x = 3 - 13. Let f be (6*2/(-40))/(36/x). Suppose 0 = 4*a + k, 0 = a - 0*a + k. Is f != a?
True
Let s be (-3)/(-4) + (-89)/108. Let v = 4 - 5. Is s greater than v?
True
Suppose 3*r = 6*r - 12. Suppose 0 = 5*s + 3*a + 5, -3*a = s + 2*a - 21. Let z = s + r. Which is bigger: z or 4/11?
4/11
Let o = 299 - 299. Which is smaller: o or 1/78?
o
Let i be -2 + -4 + (-240)/(-39). Let c = 19/249 + -52117/996. Let m = -52 - c. Is i at most m?
True
Suppose 2*o = 5*w - 6 + 17, -2*o - 3*w + 3 = 0. Suppose -17 = -o*d - 5. Do d and 6 have the same value?
False
Let h = 1/3010097131045 - -2913512583875340217033/1616422159371165. Let z = -1802443 + h. Let a = z - 2/537. Which is smaller: 2 or a?
2
Suppose 2*t = 4*y + 14, -t + 5 + 3 = -y. Suppose 17*g - 296 + 177 = 0. Which is greater: t or g?
t
Let j = -548 - -585. Which is bigger: j or 0.05?
j
Suppose -5 = -2*t - 19. Suppose 4*z - 15 = -v, 3*v - 116 = 4*z - 39. Suppose -19*y = -v*y - 8. Which is greater: y or t?
y
Let u be (-12)/4*-11*(-2)/(-2). Let b be 5 - u/6 - 138/4. Is b at most -35?
True
Let p = -0.04 - 0.3. Let w = p + -1.06. Is 2/7 < w?
False
Suppose -7 = 2*z - 17. Suppose 4*o = z*o - 1. Are o and 3/25 equal?
False
Let g = 1567 + -64239/41. Which is bigger: g or 0?
g
Let q be ((-193)/3)/(6 + 8). Let m = 25/6 + q. Is -0.2 at least m?
True
Let s = -60 - -79. Suppose 13*a + 6 = s*a. Which is smaller: a or -1/37?
-1/37
Let b = 20 + -23. Let a = -4 - b. Which is bigger: -1/3 or a?
-1/3
Let g = -659/9 + 73. Let l = g - 17/45. Which is greater: l or 5?
5
Let l be 0/((2 - (-7 - -7))/(1/2)). Let t be 32/6 + (-1)/3. Which is bigger: l or t?
t
Let m(g) = -2*g**3 + 6*g**2 + 3*g - 7. Let w be m(3). Let i be (-3)/((-1)/2 + w). Is -2/3 at most i?
False
Let y = -3410 + 2025. Let a be (2/187)/((-10)/y). Let q = a - 15/11. Is 1 < q?
False
Let s = 18 + -15. Suppose 7 = -s*z + 16. Suppose -h - 8 = 3*q, 5*h = 3*q - z - 1. Which is smaller: q or -6/7?
q
Let x be (2/(-2))/(1 - 50/45). Let f(g) = -2*g**2 + 20*g - 16. Let n be f(x). Suppose 5*b + 0*s - 31 = 4*s, 0 = -4*b - s + 8. Do b and n have different values?
True
Let a be (10/(-80))/(2 + 6/8). Which is smaller: a or 14?
a
Let o = 1.8 - 2. Suppose -2*z = -t - 11 - 17, -t + z = 29. Let w be 2/t*(-63)/(-21). Is o at most as big as w?
True
Suppose -5*s + 4*n + 2 = 35, s - 1 = -3*n. Let p be (2/4)/((-2)/8). Let w be p/10 - 28/10. Which is smaller: s or w?
s
Let l be 1/((-14)/6) - (-2706)/287. Suppose 0 = -5*u + 16 + 24. Which is bigger: u or l?
l
Let g be (-4)/(240/(-236))*-87. Let f = 337 + g. Is -6 equal to f?
False
Let p = -20 - -26. Suppose -3*g + 0*g - p = 0. Is -4/3 less than or equal to g?
False
Suppose 4*d - 5*d + 11 = 0. Let v = d - 18. Let f = v + 7. Is 2 at least as big as f?
True
Let s be (45/(-108)*-8)/((-2)/(-6)). Let w = 4 - 2. Which is greater: s or w?
s
Let y be (1287/(-156))/((-3)/(-8)). Is y less than or equal to -10?
True
Let f be -11 + (30804/1338 - 12). Is f <= 0?
False
Suppose -5*l + 230 = -2*n, -n - 91 = -2*l - 0*n. Let w = l + -32. Is w bigger than 20?
False
Let t = -2.9 - -1.3. Let s = 15.4 - t. Let k = -17 + s. Is 1/13 greater than k?
True
Let n = -7/3 - -13/6. Let y = 4 + -2. Suppose 7*j = y*j. Which is bigger: n or j?
j
Let s = -16 + 25. Let g = s - 8. Are -0.19 and g nonequal?
True
Suppose -9 = l - 3*r, -l - 3*r = -r - 1. Let i(n) = n**3 + 2*n**2 + 6. Let v be i(l). Which is bigger: v or 0?
0
Let z be (-10)/85 - ((-38)/34 - 1). Is 3 smaller than z?
False
Let b be (-24)/40 - (-102)/(-5). Let o be (1128/30)/(b/20). Let g = o - -101/3. Are g a