 is smaller: h or 6?
6
Let w(y) = 10*y - 101. Let r be w(11). Is 1 > r?
False
Let k = 3598 - 10939/3. Let f = k + 48. Let u = -1036 - -1031. Which is greater: u or f?
f
Let u(s) = 2*s**2 + 11*s + 26. Let n be u(-3). Which is bigger: n or 104/9?
104/9
Let a = -27 + 26.993. Let g = -24.993 + a. Let l = g - -26. Is -11 >= l?
False
Let c = -13.7 - -3.9. Is c smaller than 5?
True
Let i = 0 - 4. Let z be (-9)/4 - (-3)/i. Let b be (0 + (-2)/(-2))*1. Is b at least z?
True
Suppose 0*s + 2*s = -2. Suppose l + g = -8, 3*l + g = -3 - 11. Let u be (15/9)/((-1)/l). Is u equal to s?
False
Let l be (-21 + 21)*1/2. Let w = -36 + 79. Is l less than or equal to w?
True
Suppose -x - 1 + 3 = 0. Let m be (-2)/2 - (-5 + x). Suppose 4*k - 6 - 2 = 0. Is m != k?
False
Suppose 14 = -k - 13*k. Is k != -5?
True
Let s = 108 + -78. Which is greater: 29 or s?
s
Let a = 2393/399 + -6. Is -1 less than a?
True
Let u = 0.04 - -0.19. Let b = 0.26 - u. Let v(g) = -g**2 - 12*g + 1. Let i be v(-12). Is b at least i?
False
Let f(g) = g**2 - 16. Let i be f(-4). Let c be 20/8*3/(-90). Which is greater: c or i?
i
Suppose -3*t + 3 = 4*u - 3, 2*u - 6 = -3*t. Are u and -24 unequal?
True
Let y = 268 - 700. Which is smaller: y or -431?
y
Let a be (-19)/(2698/(-860)) + 0 + -6. Is a < 0?
False
Suppose 0 = 3*j - 7*j + 8. Suppose 2*u - 1 = c, -4*c = -j*u + 1 + 3. Which is bigger: u or -3/25?
u
Let s(l) = -10*l**3 + l**2 + 13*l - 18. Let d be s(3). Which is smaller: d or -239?
d
Suppose -y + 8 = -8. Let h = 71 + -56. Let s = y - h. Which is greater: 4 or s?
4
Suppose 3 = -g - 0, q - 14 = 4*g. Let m(h) = 5*h - 18*h - 2*h**q + 3*h**2 + 5 + 0*h**2. Let f be m(13). Is 4 < f?
True
Suppose 3*g = 4*n - 11, 0*g + 4*n = -5*g - 61. Let d = 2/9201 + -487667/64407. Which is smaller: d or g?
g
Suppose 7*m - 2*m = 3*w + 45, -2*w + 4*m - 32 = 0. Let f = 10 + w. Suppose x - 4 - 2 = f. Which is greater: x or 5?
x
Let a = 110/217 + 2/31. Let j be (-2 - -1)*(-1 + -2). Suppose 2*c = -c + j. Which is smaller: c or a?
a
Let c be (-1 - -2) + (7 - 2). Let d be 2/c - (-156)/(-540). Is d greater than or equal to -1?
True
Suppose 0 = 12*y + 12 - 36. Let l be 1*y*(-2)/(-4)*1. Which is bigger: l or -1/174?
l
Let r be (49 + -2 + -2)/16. Are r and 2 unequal?
True
Suppose -2304 = -7*q + q. Let x be (-2)/(-7) + q/126. Suppose -2*d = -3*d + 4. Is d equal to x?
False
Suppose 0 = 12*u - 3*u. Suppose u = -2*z + 5*z - 3*o - 54, -5*z - 5*o + 90 = 0. Which is greater: z or 2?
z
Let f = 103 + -41. Suppose 4*d = 4*p + 100, 0*d = 2*d - 5*p - f. Which is smaller: 1/2 or d?
1/2
Let z be 228/(-630)*(-224)/(-354). Let d = z - -2/295. Are 1 and d equal?
False
Let s = -11 + 22. Let a = 9.8 - s. Let y = a + 1.4. Is 1 greater than y?
True
Suppose -2*x = x. Suppose -2*f - m = -12, -2 = -m - x*m. Is f < 5?
False
Let s = 89 - 55. Which is smaller: 32 or s?
32
Let y(x) = -8*x - 15. Let r be y(-3). Let p be (-3)/r*(-6)/(-32) - 0. Is 1 not equal to p?
True
Suppose -3*c + 274 - 40 = 0. Suppose -3*a + 11 = 5*m + c, 3*m + 49 = -4*a. Which is greater: m or -12?
m
Suppose p - i + 49 = 6*p, -4*p - 3*i + 37 = 0. Let h = 9 - 5. Suppose 0 = h*y + y - p. Which is bigger: 5/2 or y?
5/2
Let t(j) = 5*j - 51. Let v be t(10). Let h be ((-2)/3 - -1)*v. Suppose -g - 2 = -2*g. Is h <= g?
True
Let u = 33 - 34. Suppose 3*t - 4*s = -2*s + 2, 3*s = -t - 14. Which is smaller: u or t?
t
Let f be 166/(-1245) - (-72)/(-10). Which is smaller: f or -7?
f
Let k = 72.15 + 0.85. Let c = k + -73.11. Which is smaller: c or 1?
c
Let l(w) = -3*w**2 + 23*w + 1. Let g be l(7). Is g > 15?
False
Let t(f) be the second derivative of -f**5/20 - f**4/4 + 4*f**3/3 + 3*f**2 + 4*f. Let h be t(-5). Suppose o = -3*o + h. Is o != 6?
True
Let q = -923/724 + -8793289/9412. Let i = 936 + q. Is -1 smaller than i?
True
Let h(c) = c - 17. Let v be h(12). Suppose -5*l - 23 = 4*r, 3 = -4*l - 2*r - 13. Let o = -2 + l. Is v smaller than o?
False
Let t = 333 - 152. Is t bigger than 181?
False
Let b = 7.6 + -32.6. Is -2/5 greater than b?
True
Let k = -0.06 - 3.94. Let w = 4.08 + k. Let z = w - -0.12. Is 2/3 smaller than z?
False
Let s be (-24930)/126 - (-1)/(-7). Which is greater: s or -200?
s
Let r = 404/3 + -511/6. Is r greater than 51?
False
Suppose 4*m + 3*v - 16 + 13 = 0, 5*m - 2 = -2*v. Let h be (4/(-6))/(58/(-3)). Which is smaller: m or h?
m
Let i be 1/(-17)*1*3. Let b(t) = -126*t + 1135. Let s be b(9). Which is smaller: i or s?
i
Suppose -5*y = 3*g + 219, -2*g - 6 = -0*g. Let r = 60 + y. Which is smaller: r or 0?
0
Let a = -7908/17 + 464. Let l = -506/459 - a. Is -1 <= l?
True
Let q = -419 - -433. Is 40/3 > q?
False
Let x = -37 - -16. Let a = -15 - x. Suppose 2*u - a = -r, 3*u - 2*r = -2*u - 3. Which is smaller: u or 2/11?
2/11
Let i(s) = 2*s - 25. Let d be i(15). Let v(l) = -l**3 + 4*l**2 + 5*l - 3. Let n be v(d). Let p be (8 - -4)*n/6. Which is greater: p or -7?
p
Let q(f) = 14*f**3 + f**2 + 3*f - 3. Let o be q(2). Suppose 3*v + o = -4*v. Is -16 equal to v?
False
Let b = 254 + -218. Which is bigger: 33 or b?
b
Let l = -199.95 - -200. Which is bigger: 16 or l?
16
Let l(q) = q**3 - 4*q**2 - q - 2. Let x be l(4). Let m be 24/24 - (-1 - 2). Suppose -3*i + 2*i + 3*t - 17 = 0, -5*i + m*t = 41. Is x not equal to i?
True
Suppose p + 3 = -1. Suppose 2*f - 2*d = d - 502, 0 = -f - 3*d - 242. Let z be (-4)/(-14) - f/(-84). Which is smaller: p or z?
p
Let n be 252/635 - (-1)/((-20)/8). Is 1 less than n?
False
Suppose 4*u - 48 = 2*u. Suppose u = -2*m + 6. Let v = 10 + m. Is -2/15 at least v?
False
Let v = -951/17 + -3184/85. Is -92 <= v?
False
Let u(w) = w**2 + w - 3. Let b(i) = 4*i**2 - 1. Let j be b(-1). Suppose j*m = -0*m. Let n be u(m). Which is smaller: -28/9 or n?
-28/9
Let r = 10 + -16. Suppose 4*q - 2 = 6*q. Let v be 2 + (-5 - (0 - q)). Which is greater: v or r?
v
Let n be (-19)/(-57)*2/296. Is n != 1?
True
Suppose 8*o - 146 - 470 = 0. Let i = 81 - o. Let h = 12 - 7. Are i and h equal?
False
Let d(n) = 3 + 13*n + 0*n - 2*n**2 - 5*n - 11. Let l be d(4). Let q be l*(4/8 + -2). Is q greater than or equal to 11?
True
Let n = -971/3 - -28093/87. Which is smaller: n or -1?
-1
Let m = -2 + 7. Suppose -n - 23 = -6*n - s, 4*n - m*s = 1. Suppose -36 = n*l + 3*x, 2*x - 7*x - 44 = 4*l. Which is smaller: l or 2?
l
Let w = 328 - 326. Which is bigger: 15/22 or w?
w
Let s(z) = z**2 - 3*z - 4. Let d be s(8). Suppose 0 = 6*o - 3*o - d. Let l be (27/o - 2)*-1. Which is smaller: l or 0?
l
Suppose -521 + 129 = 8*y. Is y at least -46?
False
Suppose 0*x = -4*x + 40. Suppose 3*v = 5*v + 1740. Let q be v/(-75) + (-6)/10. Which is bigger: x or q?
q
Suppose 15 = -2*t + 5*l, 0*t + t = -3*l + 9. Let j be 6 - (-4 + 8) - t. Is j > 1?
True
Suppose 7*h = 4*h - 39. Suppose -3*d = 4*d + 126. Let k be 1 + (-6)/d + (-129)/9. Is k bigger than h?
False
Let q(z) = 2*z - 1. Let x be q(-3). Suppose 0 = -5*n - 4*r + 16, 4*r - 5 = -2*n + 11. Suppose 3*m - m + 14 = n. Is m less than or equal to x?
True
Suppose 0 = 3*u - 2*f - 1 - 42, -5*f + 65 = 4*u. Suppose 5*c + 7*p - 2*p = u, -5*c = p - 15. Suppose c*d + 2*d + 15 = 0. Do -5 and d have the same value?
False
Let t = 6.8965 - -0.1035. Which is smaller: t or 3?
3
Let i = 61848/5 - 23316702/1885. Let o = i - 1472/721955. Let m = -700/12639 + o. Is 2/3 greater than or equal to m?
True
Let x(a) = -3*a**2 + 3*a + 2. Let u be x(-1). Let o(p) = p**2 - 6*p + 2. Suppose 2*w + w - 5*r = 40, 0 = 4*w + 4*r. Let g be o(w). Which is smaller: g or u?
u
Suppose 0 = 3*k - 4*q - 11, -2*k + 24 = 5*q + 9. Suppose 0 = -5*l + 15 - k. Which is smaller: -10 or l?
-10
Let w = 633.9 - 634. Which is bigger: 15/4 or w?
15/4
Suppose -2*c + 2 + 0 = 0. Suppose 0 = 3*s + c - 7. Let w = -4 - -4. Which is smaller: s or w?
w
Let p = -27 - -28. Which is bigger: p or 11?
11
Suppose -136 = 7*d + 130. Let r = d + 34. Is 5 greater than or equal to r?
True
Let s(m) = m**2 - 11*m + 2. Let y = -4 - -15. Let z be s(y). Let i be (26/(-6) - -4)*(-18 + 0). Is i > z?
True
Let j = -1134 + 1131. Which is bigger: -0.05 or j?
-0.05
Suppose -10*k - 49 = 411. Let o = -44 - k. Let v be (-9)/(-45) + 38/60. Which is smaller: v or o?
v
Let w = 414.679 + -415. Let r = 0.121 + w. Which is greater: r or 4/21?
4/21
Let i(r) = 4 + 0 - r - 5. Let q be i(-4). Suppose -g - 2*x + 3 = 0, -q*g + 23 = g - 3*x. Do -0.1 and g have different values?
True
Let h be (-10