z**2 + 28*z - 1. Let q be v(3). Is q >= -1?
False
Let l be (8/3)/(((-770)/15)/(-7)). Let z = -13 + 13. Is z smaller than l?
True
Suppose a = 3*z - 2, 0 = 5*a + 5*z - z - 28. Let n = a - 8. Let s be (n/6*3)/14. Which is smaller: s or 1?
s
Let w = 0.29 + -0.4. Let b = -0.21 - w. Let f = -52 + 36. Which is smaller: b or f?
f
Let u = 25.19 - 25. Let v = 0.14 + u. Let g = v - -3.67. Which is smaller: 0 or g?
0
Let k = 4651 - 2134807/459. Is k smaller than 0?
False
Let n = 63029 - 880433/14. Let d = -141 + n. Let t(i) = -i - 5. Let f be t(-5). Which is smaller: f or d?
d
Let i = -0.568 + 0.576. Is 0 > i?
False
Let y(t) = -t**2 + 9*t - 13. Let k be y(2). Let s be k/(-1) - 5/(-20). Is s at least as big as -5?
True
Let y = 1.4 - 0.4. Let a = -992/51 + 58/3. Is a bigger than y?
False
Suppose 2*x = -3*m - 1, 3*x + 5*m + 35 = 8*x. Let r be x - (0 - 6/3). Let n be 6/26*(-4)/r. Which is smaller: n or 1?
n
Let k = 16859/15 - 1124. Let q = -0.2 - -0.1. Which is bigger: q or k?
k
Let x = 0 - 0. Suppose 51*d = 94*d - 49*d. Let i = d + x. Which is greater: 1/2 or i?
1/2
Let r = -104/175 + 22/25. Is 49 < r?
False
Let x(l) = 4*l - 191. Let q be x(25). Do -91 and q have the same value?
True
Suppose -k + 2 = 0, -5*k + 46 = -2*a + 6*a. Let f be a/(3 + 1 + -5). Let t be ((-27)/f)/(3/(-2)). Is t less than -1?
True
Let h = 385 + -385. Which is greater: h or 10/47?
10/47
Let d be 66030/(-868) - (-3)/(21/4). Is d >= -77?
True
Let v = 829 + -554. Which is greater: v or 276?
276
Let l be 7/(-2)*(1 + -3). Suppose 7*m - 2*m + 5*z - 35 = 0, 0 = -m + 2*z + 13. Let s = l - m. Is 2 less than or equal to s?
False
Let p be (-4)/16 + (30/8)/(-5). Which is smaller: 1/129 or p?
p
Suppose -4*y - 1131 = 3*r, -1516 + 85 = 5*y - 2*r. Let n = y + 58427/205. Which is smaller: n or 0?
0
Let r = -8 + 5. Let h = 22 - 4. Suppose -7*j = 2*j + h. Is r at least j?
False
Let g = 0.18 + -0.08. Let y = -129 + 132.6. Is y less than g?
False
Let o be 91 + -90 - 47*-1. Is o <= 50?
True
Let o be -3 + (0 - -4) - 19*-3. Is o less than 115/2?
False
Suppose 4*d + 10 = 3*k + 5*d, -3*d - 12 = -5*k. Which is greater: 20/13 or k?
k
Let k = 1.74 - 2.74. Let g = -112 - -56. Let d be ((-2)/8)/(6/g). Which is smaller: d or k?
k
Let k be 74/259 + (-8)/(-21). Does k = 95?
False
Suppose -4*v + 2*f = -3*f, 2*f = 0. Which is smaller: v or 3/185?
v
Let u(k) = -9*k**2 - 138*k - 42. Let p be u(-15). Let j = -16.3 - -15. Let t = 0.3 + j. Which is smaller: p or t?
t
Suppose 0 = 14*b - 20 - 386. Which is bigger: b or 28?
b
Let x = -0.887 - 0.033. Let d = x - 0.08. Let y = 44 + -43. Which is smaller: d or y?
d
Suppose 2*k + 3*l + 16 = 3*k, -5*k = -4*l - 36. Suppose z - 3*c = -z - 13, -k*z - 11 = -c. Is 24 > z?
True
Let j = 1 + -0.88. Let c = j - 6.12. Let l = c + 7. Are 4 and l nonequal?
True
Suppose 38*g + 60 = 37*g + 2*v, -3*g - 212 = 2*v. Which is smaller: g or -60?
g
Let l = 1 - -6. Suppose -5*s + l*s = 0. Which is greater: s or 8/7?
8/7
Let h = 14.0086 - 0.0086. Which is bigger: 0.22 or h?
h
Let q = -7 - -10. Suppose -3*r = q*r. Which is bigger: r or -2/187?
r
Let j be 4/(-8) - (-74)/(-4). Let f be (-2)/j - 737/1045. Which is bigger: f or -3/2?
f
Suppose 15*d - 79 = 491. Is 39 bigger than d?
True
Let h = -401/12 + 179/3. Is h equal to 27?
False
Let u = -190 + 188.93. Let g = u - -1.1. Which is bigger: 0 or g?
g
Let o(d) = d**2 - 2*d - 31. Let w be o(-5). Suppose -2*r = 4*g - 8 - w, 5*g - 13 = -3*r. Which is greater: r or 2?
2
Let v = 50355 - 553463/11. Which is smaller: 39 or v?
39
Suppose 0 = 11*f + 8 - 19. Is f != -20?
True
Suppose 2*f + m = -2*f + 8, f - 5*m - 2 = 0. Let k(t) = -f*t + 1 - 6 + 8 - 1. Let r be k(0). Which is bigger: 6/5 or r?
r
Let z = -1131 - -12443/11. Which is smaller: 294 or z?
z
Let s = 4824/19 + -254. Let o = 7 - 6.5. Let q = o + -1.5. Which is bigger: q or s?
s
Suppose 476*t = 485*t - 1071. Which is smaller: t or 123?
t
Suppose -g + 35 = 30. Suppose -2*q + 2*f - 3 = -5*q, f = g*q - 5. Is q equal to -1/10?
False
Let z = 0.361 - 0.381. Which is bigger: z or 0.3?
0.3
Let j = -225 - -210. Is -2 at most as big as j?
False
Suppose 10*n + 279 = 19*n. Which is smaller: 32 or n?
n
Let j(m) = -9*m + 46. Let y be j(5). Is y > 21/13?
False
Let q be 0 - (-1)/((-2)/(-40)). Let h(f) = f**3 + 12*f**2 - 106*f + 58. Let w be h(-18). Is w bigger than q?
True
Let b = -3 - -2. Let c(l) = -l + 1. Let y be c(3). Let t be y - (0 + -2 + 1). Is t <= b?
True
Let d(a) = -462843*a + 2. Let l be d(-2). Let g = l + -24073401/26. Let r = g + 212. Which is smaller: 1 or r?
r
Let v(s) = -s**3 + 14*s**2 + 34*s - 68. Let b be v(16). Which is greater: -299/8 or b?
b
Suppose 0 = -2*n + 3*n - 21. Is 23 smaller than n?
False
Let d be (-6 - 1/(1/(-131))) + -3. Which is greater: 125 or d?
125
Let m be -1 - (1 + 0)*(-3 - -6). Let a(v) = v**3 + 7*v**2 + 9*v. Let w be a(m). Which is smaller: 0.1 or w?
0.1
Let f = 11 + 20. Let q be (-16)/120 - (-453)/(-45)*3. Let z = f + q. Is z > -5?
True
Let b be ((-2)/76)/((-1)/6). Let i = b + -70/323. Let v = i - 15/34. Which is smaller: v or 13?
v
Let l(w) = w**3 + 6*w**2 + 4*w - 5. Let k be l(-5). Suppose -7*f = -k*f + 42. Is -3 <= f?
False
Let k = -159/4 + 77/2. Is k less than 0.103?
True
Let x = -0.6 + 1.1. Let r = 1.7 - 1.59. Let s = 0.01 - r. Which is greater: x or s?
x
Let v(y) = -y**2 - 57*y + 59. Let k be v(-58). Is 2/3217 < k?
True
Suppose 1 = n - 87. Let o(g) = 3*g**2 + 2*g - 8. Let i be o(-6). Are i and n unequal?
False
Let k = -292 - -285. Is k smaller than -72/11?
True
Let t = 213/247 + -12/19. Which is smaller: t or 0?
0
Suppose -3*i + 1230 = -123. Is 452 at least as big as i?
True
Let s = -165/46 - 90/23. Suppose 3*o + 5 + 16 = 0. Which is bigger: s or o?
o
Let p = -9953/3926 + -1/302. Let w = p + 691/221. Is w greater than 0?
True
Let z(y) = -y + 22. Let f be z(14). Let v = f - 42/5. Which is greater: v or 0.06?
0.06
Suppose -4*s + 4*g - 12 = -0*g, -3*s - 2*g + 6 = 0. Suppose s = -7*q + q - 54. Which is smaller: q or -8?
q
Let o = 37 - 14. Suppose -21*w + o*w = 10. Suppose w*m = 5*p - 15, -5 = -3*p + m - 0. Which is greater: -2/23 or p?
p
Suppose 4*k + i - 79 = 0, -79*k + 5*i = -81*k + 35. Which is bigger: 188/9 or k?
188/9
Let j = -253 + 254. Which is smaller: j or 5/24?
5/24
Let o be (-8)/(-220)*11*18/(-16). Which is greater: -1 or o?
o
Let u be (21/(-140))/(8/190). Does u = -3?
False
Let s be 23 + 13 + 45/(-5). Which is smaller: s or 26?
26
Suppose o = -15 + 16. Let n(i) = i**3 - 6*i**2 - 3*i + 18. Let t be n(6). Is o < t?
False
Let u = -8926/7 - -1275. Let j = 1.1 + -0.1. Which is bigger: u or j?
j
Let o(j) = 4*j - 17. Let d be o(4). Let s be d/(4 - (-15)/(-3)). Which is smaller: -1/7 or s?
-1/7
Let j be -69*(0 + 2) + -2. Let d be ((-6)/8)/((-5)/j). Let h = 10 + d. Is -11 equal to h?
True
Let i be ((-5)/(-15))/(1/12). Let p = 25 - 22. Suppose s + 5 = -o + p*o, -4*o = -3*s - 11. Which is smaller: o or i?
o
Suppose -3*a + 132 = -3*t + 384, 0 = 5*a. Are 84 and t equal?
True
Let l be (2/(-5))/((-5)/25). Suppose 2 + 2 = l*i. Suppose -i*r - 4 = -6*r. Is 0 at least r?
False
Let o be 3*12/30*(-10)/8. Is o bigger than -24?
True
Let o be 0/(-3) - (-6)/(-722). Which is bigger: 0 or o?
0
Let f = -241 + 242. Let s = -7 - -69/10. Let m = -1/10 + s. Which is bigger: f or m?
f
Let o = 11 - -10. Let f be (-2)/7 + (-6)/o*-1. Which is smaller: -2/73 or f?
-2/73
Let l = -3497 + 3495. Let j = -11 - -15. Which is smaller: j or l?
l
Let q(y) = y**3 + 22*y**2 - 135*y + 1. Let m be q(-27). Let z be (-2 + 1)*(-3)/69. Which is smaller: m or z?
z
Suppose -10 = -2*m + v, -4*m = -9*v + 4*v - 26. Let y = 139 + -136. Which is greater: m or y?
m
Suppose 0 = -7*w + 113 - 106. Do w and 9/56 have the same value?
False
Let i = 45.4 - 139.4. Do i and 8 have the same value?
False
Let r be 24/40 - 64/(-10). Suppose -5 - r = j. Let y(t) = t**2 + 12*t. Let b be y(j). Which is smaller: b or -1?
-1
Let r = 199 - 65. Let d = r - 224. Is -89 != d?
True
Let f be 12/(-3) + (-182)/(-13). Is f at least 17?
False
Let j = -1684/67 - -4336434/172525. Which is smaller: -1 or j?
-1
Suppose 9 - 21 = -2*f + 4*g, 3*f + g = 11. Let x = -370 + 373. Let h be ((-18)/72)/(x/f). Which is smaller: -1 or h?
-1
Suppose 9 = s - 2. Suppose 2*l = -2*y - 2*l + 2, -2 = y + 5*l. Let b be (343/5)/7 - y/(-15). Is b bigger than s?
False
Suppose -2*f - 123