n + t. Which is greater: 4 or n?
4
Let p = -0.602 - -0.062. Let a = p - -0.24. Which is bigger: a or 0.1?
0.1
Let k be (2/2)/(8/3160). Is 396 equal to k?
False
Let a be 1 + -164 - 15/(-5). Let t be 5/(a/108) + 3. Suppose -3*n + 12 = 4*h, -2*n - 3*h = -0 - 9. Which is smaller: n or t?
t
Let u = 1111 - 1329. Is -216 < u?
False
Let h = 30 - 26. Suppose 48 = 2*g - u + 12, -4*g + h*u + 64 = 0. Let x = -22 + g. Is -3 not equal to x?
True
Suppose 0 = -17*i + 15*i - 4, 0 = 5*m + 5*i - 35. Which is bigger: m or 156/19?
m
Let b(l) = -13*l - 43. Let m be b(-13). Is 0.1 >= m?
False
Suppose -5*g = -3*n + 8 - 4, -3*n - 3*g = -12. Let d be (-4)/((-5)/(-2) - 2). Let a be (-2)/4*d/2. Which is bigger: n or a?
n
Let n be (-12)/1 + 0 + 0. Let s = -87 - -75. Is n equal to s?
True
Let u = -88.69 - -88.7. Let b = 0.1 - 0.2. Let p = b - 0. Which is greater: p or u?
u
Let f = 15 - 12. Suppose -f*z + 5*u = -6, 0*z = z - 2*u - 2. Are z and 3 equal?
False
Let u be (1/6)/(9/(-30)). Let s = -52/45 - u. Is -1/3 smaller than s?
False
Suppose 3*o - 6*o + 150 = -3*s, -4*o = -s - 62. Does s = -46?
True
Suppose 2*r - 10 = 0, -4*c + 3*r - 6 - 1 = 0. Suppose 6*u = -3*k + c*u + 18, 2*k - 3*u = 12. Suppose -q - k = -4. Is q at most as big as -2?
True
Let n be 9/(-15) + (-1347)/30. Which is greater: n or -46?
n
Let h = 2974265623/9152760 + 1/762730. Let b = h + -325. Which is bigger: 1 or b?
1
Let u(i) = -i**2 + 9*i + 15. Let p be u(10). Suppose 299 = p*w - 301. Is w < 120?
False
Let d = -2/1869 - -1328/76629. Let g(r) = -2*r**2 - 2*r - 1. Let p be g(-1). Which is greater: d or p?
d
Let s be (4/6)/((80/15)/8). Which is bigger: 42 or s?
42
Let l = 1332867178/561 + -2375878. Let j = -2/187 - l. Which is bigger: j or -1?
j
Let a be (8/66)/(8/(-12)). Let b(j) = -j**2 + 5*j - 3. Let k(x) = -6*x**2 + 26*x - 15. Let h(r) = -11*b(r) + 2*k(r). Let d be h(-4). Which is smaller: a or d?
d
Let a = 861859/429 - 2009. Which is bigger: a or -1?
a
Let k be -1*((-45)/525 - (-2)/(-10)). Are -1/5 and k equal?
False
Let t be (16/10)/(-11 - 3619/(-330)). Which is greater: -39 or t?
-39
Let k(m) = 2*m - 5. Let h be k(3). Suppose -46 = -5*w - h. Is w > 10?
False
Let t(w) = 4*w**2 - 12*w - 51. Let o be t(6). Let x(i) = -18*i**3 - i**2 - i. Let f be x(-1). Which is greater: f or o?
o
Let t(k) = -2*k**3 - 52*k**2 + k + 22. Let d be t(-26). Is d >= -18/5?
False
Suppose 0 = -14*x - 0*x. Which is bigger: x or -8/243?
x
Suppose -11*j + 83 = -566. Which is smaller: j or 658/11?
j
Let r = 16 - 9. Which is bigger: r or -10?
r
Suppose -70 = -2*z - 3*z. Let h be (-6)/21 - (-32)/z. Let d(k) = -k**2 + 2*k + 18. Let r be d(-3). Which is smaller: h or r?
h
Let p be 2/(-3) - 4/(-6). Suppose 2 = -p*l - 2*l. Let x = 23/3 - 127/15. Is l at most as big as x?
True
Let i = 0.0386 - -2.4014. Does i = 0.1?
False
Let w(q) = q + 1. Let n = 16 - 14. Let u = 11 - n. Let b be w(u). Which is smaller: b or 9?
9
Suppose -m + g = 6, 3*m = -2*m + 2*g - 18. Which is smaller: -173 or m?
-173
Let t(a) = 8*a**2 + 4*a. Let x be t(-1). Let v be 3/4 + (x - 11/4). Let m be (-4)/14 - 32/(-14). Are m and v equal?
True
Let z = 1098.06 - 1110. Let k = -2 + 14. Let p = k + z. Is p less than -2?
False
Let b = -27 + 25. Let i be (-4)/((-2)/((-2)/1)). Let h be (-2)/i + 29/(-18). Is h at least b?
True
Suppose 0 = 2*b - 5*w - 90, -3*b - 5*w = -4*b + 35. Is b bigger than 111/2?
False
Let f = -1023/518 + 44/37. Which is smaller: -1 or f?
-1
Let u be (-3)/(9/(-6)) + 3. Suppose 3*p + 194 = u*w, 2*p = -2*p + 8. Which is smaller: w or 1/3?
1/3
Let y = 395485/29 - 13639. Which is smaller: y or -3?
-3
Let w = -4 + 7. Let s = -886.2 + 885. Which is bigger: w or s?
w
Let m = 17 + -22. Let k be ((-20)/25)/((-2)/(-10)). Which is smaller: m or k?
m
Let g = 1051/4 + -262. Which is smaller: g or 1?
g
Suppose -c = -2*t - 9, -t + c = 2*t + 12. Let v be t/(-18) - 4/12. Suppose o = -2*o - 3. Is v not equal to o?
True
Let t be (54/(-60))/(6/(-16)) + -2. Suppose 0 = -2*u - 0*u. Let j = u - 0. Is t > j?
True
Suppose 2*t - 21 - 24 = 3*j, -3*j = 4*t + 27. Let l(b) = b**2 + 10*b - 25. Let r be l(j). Which is smaller: r or 0?
0
Let j = 2 - 1. Let r = 16 + -54. Let m = -153/4 - r. Is m greater than or equal to j?
False
Let d(n) = -3*n + 1. Let g(b) = 2*b**2 + 3*b + 2. Let u be g(-1). Let x be d(u). Let r be (x/4)/(20/(-8)). Which is smaller: r or 1?
r
Let k(y) = 6*y**2 + 12*y - 11. Let c be k(-3). Is c equal to 1/14?
False
Let l = -0.2 - -4.5. Which is bigger: 0.2 or l?
l
Let n = 11 - 13. Let a be 37/(-35) - 1 - n. Is -1 greater than a?
False
Let d = 0.41 + -2.11. Let z(g) = -3 - 21*g + 23*g + 1 + 10. Let x be z(-4). Is x at least d?
True
Let g = -1031/1211 - 1/173. Suppose -4*q - 16 = 8*r - 12*r, 0 = 5*q - 2*r + 11. Is g != q?
True
Let o(r) = 16*r**2 + r**3 + r + 23 + 0*r**3 - 17*r. Let p be o(-17). Let y(x) = x - 8. Let u be y(p). Does u = -2?
True
Let z = 0.133 + -102.133. Let a = 102.5 + z. Is 2/5 bigger than a?
False
Let u = 8 - 8. Suppose 3*g = d, u = 2*d + 2*g + 2*g - 10. Let m be 1/(-6)*2*d. Is m greater than 2/11?
False
Let g be (0 - (-7 - -6))/(2/(-326)). Let y = g - -2117/13. Which is greater: 1 or y?
1
Let g be 4/4*(-7 + (103 - -1)). Do g and 96 have the same value?
False
Let b = 289.7 - 255.72. Let m = b - 34. Does m = -2/3?
False
Let h(a) = a**2 - 7*a - 9. Let d be h(8). Let n(m) = m**3 + m**2 - m - 1. Let i be n(d). Let y = -70/477 - 4/53. Which is smaller: y or i?
y
Suppose 198 - 66 = 3*v + 2*n, 0 = -4*v + 3*n + 159. Let u be (-4 - v/(-9))/(-2). Let c be ((-2)/(-20))/((-20)/(-350)). Is c <= u?
False
Suppose -48 = -3*g - 138. Let m be 1016/30*(-60)/72 + 16/72. Is g <= m?
True
Let m = -3007/17 + 177. Suppose -2*u = 3*u. Suppose u*s = -s - 1. Which is smaller: s or m?
s
Suppose 24*c - 25*c + 2 = -3*v, -c + 5*v + 8 = 0. Let q be (2 + -1 + 7)*-1. Which is smaller: c or q?
q
Suppose 105 = 4*w - 115. Let m = w + -335. Let x be (-352)/m + 4/(-10). Which is greater: x or 2?
2
Suppose 5*u + 391 = -4*h, -588 = 5*h + 3*u - 109. Let d = h + 53. Do -41 and d have the same value?
True
Let r = 230284849 + -9047661433027/39289. Let s = r + 22/389. Which is bigger: s or 0?
s
Let w(r) = 16*r**2 - 20*r - 46. Let b be w(-2). Which is greater: b or 56?
b
Let d = -1890 + 336419/178. Which is smaller: d or 1?
d
Let z(a) = 9*a**2 + 5*a + 2. Let f be (4 - 0/3) + 10/(-2). Let p be z(f). Which is greater: -5 or p?
p
Let y = 166.2 - -2.8. Let b = y + -177. Which is smaller: -0.7 or b?
b
Let x = 361 + -362. Which is smaller: x or -3/403?
x
Let x = -7 + 4. Suppose 10 = 3*i + 5*g - 8, 4*g = -5*i + 17. Let v be (-3)/i + (-4)/(-4). Is x > v?
False
Let f = -12 + -6. Let c(b) = -b**3 - 23*b**2 + 23*b - 13. Let a be c(-24). Suppose a*r + 18 = 10*r. Is f > r?
False
Let d = -61 + 64. Let h be d/(-15) - 44/5. Is -6 equal to h?
False
Suppose 15*s - 105 = -0*s. Let c = -3 + 2. Which is smaller: s or c?
c
Let a(k) = -9*k - 39. Let v be a(-8). Suppose 5*w - 78 - v = 4*p, 3*w = -15. Which is smaller: p or 3?
p
Suppose -2*s + 23 = 21. Which is bigger: s or -2/1697?
s
Suppose -w - 8*w = 279. Suppose -29 = f + 2. Is f less than w?
False
Let o = -24 + 18. Let i be (-1)/o - (-43)/(-6). Let n be 8/5*(-25)/10. Is i at least n?
False
Let v(b) = 11*b - 5. Let a be v(-9). Let d = a + 86. Is -21 at least as big as d?
False
Suppose 0 = 9*h - 15*h - 6. Let w = 0.5 - 7.5. Let u = w + 7. Is u < h?
False
Suppose 3*l - 17 = -5*k, 3*l + 2*k = 1 + 4. Let o be -19 + -4 - 2*1*l. Is -20 smaller than o?
False
Let x be 6 - (-15)/(-5) - 1. Suppose x*i = -10, 5*n + 31 + 29 = -3*i. Is -11 greater than or equal to n?
False
Let k = 1.035 + 0.02. Let c = k - 0.055. Are -0.12 and c equal?
False
Let v = 14210 - 14205. Let s be 4/3 + (-2)/6. Which is smaller: s or v?
s
Suppose 0*v + 81 = 2*s + 5*v, -3*s = 3*v - 99. Let p be 320/s + 12/(-28). Which is smaller: 12 or p?
p
Let g(q) = 4*q**2 + q. Suppose -3 = 13*a - 10*a. Let o be g(a). Let c be ((-1)/o)/(60/8). Which is smaller: 1 or c?
c
Suppose 3 = 2*t + 13, -4*v - 98 = -2*t. Suppose 38*o = -1105 + 79. Is v at least o?
True
Suppose -4*b + 3*d - 8*d - 49 = 0, 16 = -b - 2*d. Let x(c) = -c**3 - 7*c**2 - 5*c - 12. Let n be x(-6). Let g = b - n. Which is smaller: g or 11?
11
Let c = -171 - -169. Which is smaller: -1/68 or c?
c
Suppose 3*h - 13 + 1 = w, -h - 4 = -3*w. Suppose 2*j - y = 4*y + 456, 