186 < g?
False
Let t = 17369/105 + -496/3. Is t at least 1?
False
Let c = -2/2689 - -2695/8067. Let t = -2 - -1. Let r = t + 0.9. Which is greater: r or c?
c
Suppose -4*b + 1301 = 1297. Which is bigger: b or 31/37?
b
Let d = 0.757 - 0.657. Which is greater: d or 588?
588
Let u = -283.4 + 317. Let i = -5.6 + u. Which is greater: 2/7 or i?
i
Suppose 0*x + 5*x - 8 = -4*v, 4*v = -12. Suppose -a - x = -2*d - 3*a, 3*d - 4*a - 6 = 0. Suppose d*b + b - t = 23, 2 = 2*t. Which is greater: b or 9?
9
Let s = 86 + -40. Let j = s + -46.05. Which is greater: 0.1 or j?
0.1
Let h be -6 + (10409/945 - 5). Is -1 smaller than h?
True
Suppose 2*x + 17 - 81 = 0. Suppose -2*f + 0*z - x = -z, -5*z + 10 = 0. Let q = -15 - f. Which is greater: q or -2?
q
Let l be ((-4)/(-3))/(-4) - -1. Let m be 3 + -2 + (-24)/5 + 4. Is l greater than m?
True
Let m = -3243 - -3244. Suppose 0 = -0*b - 2*b + 2. Is m at most as big as b?
True
Let y = -385 + 160. Is 0 greater than or equal to y?
True
Suppose 35*p - 6*p - 29 = 0. Which is smaller: 14/9 or p?
p
Let x = -15 + 27. Suppose -j + 0*j = x. Let w = j + 4. Is w greater than -7?
False
Let h(u) = -6 + 2 + 7 + u. Let w be h(2). Is 7 greater than or equal to w?
True
Let s = -780467/107 + 7294. Are s and 0 nonequal?
True
Let u = -1.9 + -2.1. Let t = -1.98 + 0.68. Is u not equal to t?
True
Let x = -13.67 + 5.67. Which is smaller: x or -4?
x
Let u(x) = -x - 1. Let a(m) = -3*m - 7. Let w(r) = -a(r) + 4*u(r). Let i(p) = p**2 - 11*p + 16. Let k be i(10). Let c be w(k). Which is smaller: c or 1?
c
Suppose -14*p = 82 - 180. Which is bigger: p or 31/5?
p
Suppose 46*l - 41*l + r = -1, 4*l = 3*r - 16. Which is smaller: l or -91?
-91
Let x be -15*((-3)/(-3) + -2). Suppose 0 = 3*r + 3*u - x, 2*r + u - 5*u + 14 = 0. Suppose 3*l - 14 = -d - 1, -r = -5*d + l. Which is smaller: 2/13 or d?
2/13
Suppose -4*p = -5*z - 16, p + 0 - 4 = 5*z. Let r(s) = -p + 5*s - 6*s - s + 3*s. Let l be r(4). Are l and -2/39 equal?
False
Let h(c) = -7*c**2 - 3*c. Let s be h(-3). Let v be s/(-36) - 17/10. Is v less than or equal to 2?
True
Let f = -32 + 10. Let z = -22 - f. Is -3/4 <= z?
True
Let n = -187 - -149. Is -38 smaller than n?
False
Let f = -140 - -137. Which is bigger: -32/9 or f?
f
Let m = 1.5 + 0.4. Let q = -0.2707 - -0.1707. Is m < q?
False
Let k(c) = -c**3 + 3*c**2 + 5*c + 4. Let f be k(4). Let q(j) = -2*j + 9. Let s be q(6). Let y = s - -10. Is f > y?
True
Let h(p) = p**3 + 5*p**2 + 6*p + 2. Let z be h(-4). Let d be 126/27*z/(-142). Let k = -800/3337 + d. Which is bigger: k or 1?
1
Let p(t) = -t**3 - 8*t**2 - 7*t + 8. Let w be p(-8). Suppose 5*n - 6 = -2*s, 0*s + 3*n = 4*s - w. Which is greater: 0.1 or s?
s
Let g be -38*(-3)/12*-2. Let u = g + 23. Which is greater: 3 or u?
u
Let c = -1660 - -14897/9. Let x = 13/9 + c. Is x at most as big as -3?
True
Suppose -3*y - 5*n + 2*n = -9, -4*n = 0. Suppose -2*l + z = 1, -4*l - 4*z = -y*l - 22. Suppose -f + 3*w = 9, 12 = -2*f - l*w + 6*w. Is f equal to 0?
True
Suppose -13*o + 8*o = 100. Let b = o + 16. Let d be ((-24)/60)/((-6)/(-40)). Is d != b?
True
Let v = -207.445 + 0.445. Are -0.1 and v unequal?
True
Let t be (-3)/7 + 820/(-14) - -2. Is t at least as big as -58?
True
Let d = -114 + 61. Let p = 16 + d. Are 1 and p equal?
False
Let k be (-53249)/294 - (-4)/(-24). Let u = -181 - k. Which is bigger: u or -15?
u
Let s be (-20*(-1)/2)/(2/(-3)). Let v = s - -15. Do v and -28 have the same value?
False
Suppose 4*b = 6*s - 7*s - 47, -b = 2*s + 108. Is s at most as big as -52?
True
Let p = -10.666 + -0.084. Let s = p - 0.25. Let x = -10 - s. Which is smaller: x or 0.5?
0.5
Let u(v) be the second derivative of -v**5/20 - v**4/4 + v**3/2 + 11*v**2/2 - 9*v. Let l be u(-3). Which is bigger: l or 3/4?
l
Let c(w) = 0*w - 33 + 119 - w + 2*w. Let b be c(-26). Are 61 and b unequal?
True
Let u(q) be the second derivative of -7*q**5/10 + q. Let o = 650 - 649. Let y be u(o). Is -13 bigger than y?
True
Suppose -24 = -w - 5*n, 4*w + 8 = n + 104. Let p = w + -13. Suppose 0 = -4*g + 3*v + p, v + 2 + 1 = g. Is g less than or equal to 4?
True
Suppose -4*o - 2*f = -20, 0 = -3*o - 3*f - 9 + 30. Let d = o - 0. Suppose -2*v - 3*m - 7 = d, 0 = -2*v + m + 6. Is -0.1 > v?
False
Let v be 4249/49 - (-10)/35. Which is bigger: 610/7 or v?
610/7
Let u(r) = 4*r**2 - 43*r + 64. Let b be u(9). Is b at least as big as -2/911?
True
Let o be 66/24 + (-1)/(-4). Suppose -5*f = o*t - 47, f - 5*f - 46 = -2*t. Which is smaller: t or 16?
16
Let y(f) = 9*f + 256. Let t be y(21). Which is greater: 443 or t?
t
Let j be 5/(-50)*(-5)/(-2). Let v = -60 + 69.2. Let b = 0.2 - v. Is b not equal to j?
True
Suppose 3*h + 25 = -2*h. Suppose 0 = -z - 14 - 22. Let d = z + 36. Is d < h?
False
Let y = -0.4 - -0.4. Let p = 0.1 + y. Let s be (-2)/(-6) + 5/(-6). Which is smaller: s or p?
s
Let w be 0 + 1 - 12/13. Let b be 33/(-270) + (-12)/240*2. Are b and w non-equal?
True
Let m = 15 + -23. Let c = -83 - -94. Suppose c = 6*o + 5*o. Is o greater than m?
True
Suppose -m + 632 = 5*q, -3*m - 5*q + 247 = -1599. Which is smaller: m or 608?
m
Let p = 1290 + -1264. Is 26 < p?
False
Let a = 24 + 4. Let l be ((-18)/8)/((-21)/a). Which is bigger: l or -2?
l
Suppose -4*q + 3*n = -n - 16, -5*q = -7*n - 14. Which is greater: q or 13?
13
Let k be (-54)/513 + -2 + 5071/(-19). Is -267 less than or equal to k?
False
Let q = -49810/19 + 2623. Are q and 1 non-equal?
True
Let o be (4 + 20)/8 + 152/(-10). Is -12 equal to o?
False
Let g(m) = -2*m**2 + 35*m + 4. Let t be g(17). Let b be 2/5*(-4 - -3). Which is smaller: t or b?
b
Let i(q) = -9*q**2 + 99*q + 1. Let f be i(11). Suppose 2*l - 74 = -2*d + 20, -5*l - 185 = -5*d. Do d and f have different values?
True
Suppose 4*d + 38 = -0*c + 2*c, 15 = -5*c. Let l be (3 + -2)*2 - 7. Let p = l - d. Are p and 7 nonequal?
True
Let p = 250/9 - 3232/117. Is p <= -5?
False
Suppose j = -0*j - 1. Let d be (12/(-2))/(9/6). Let w be 16/7*(-1)/d. Which is smaller: w or j?
j
Suppose -g - 4 = -0*g. Let a = 4 + 20. Let b be (g/6)/((-416)/a). Which is smaller: b or 1?
b
Let j(m) = 3*m + 9. Let b be j(-4). Let h be (-2)/7 - b/(-126)*-5. Let c be ((-2)/25)/(5/25). Which is smaller: h or c?
c
Suppose -46 = 3*k - 13. Which is smaller: -20 or k?
-20
Let m(s) = -8*s**2 - 2*s + 1. Let h be m(1). Let v(a) = a**2 + 34*a + 273. Let p be v(-19). Do p and h have the same value?
False
Let n = -9 - -10. Let o be (2/2 - 1)/n. Suppose 2*u + 0*u - 4 = o. Is 4/7 equal to u?
False
Let r = 0.35 - 0.402. Which is smaller: r or -0.2?
-0.2
Let j be ((-200)/(-114))/(10/(-30)). Do j and -5 have different values?
True
Suppose 3*h - 1303 = z, 0 = 4*z + 17 - 1. Is h at most 433?
True
Let p = -7 + 5. Let o(d) = -d**2 - d + 1. Let j be o(p). Suppose 2*t + 17 = b - 3*t, 0 = -3*b + 3*t + 3. Is j at most b?
False
Let m be 17 + -19 - 2/(-2). Are m and 1 equal?
False
Suppose -308*a + 297*a - 550 = 0. Does a = -248/5?
False
Suppose -108 = -13*y - 5*y. Is -5 not equal to y?
True
Let o = 142 - 144.5. Which is smaller: 2 or o?
o
Let c(h) = -52*h - 51. Let x be c(-1). Is x at least -3/236?
True
Let i be -4*((-7)/(-4) + (-8)/4). Suppose -h + i + 0 = 0. Is 18/13 not equal to h?
True
Let n = -0.05 + 2.05. Let y = -329 + 328.97. Which is smaller: y or n?
y
Let j = 3/356 - -2097/4628. Is 0 equal to j?
False
Let s = 1.39 - 0.63. Let w = -1.06 + s. Is 4/9 greater than w?
True
Let f = -90271/37 + 2440. Which is smaller: 1 or f?
f
Let q = -0.07 - -2.67. Let o = q + -2.48. Which is smaller: o or -1/3?
-1/3
Let u = -2/3065 + 58343/165510. Let y = u + -281/594. Which is bigger: y or 1?
1
Suppose -4*v - 425 = -3*f, 19*f = 17*f + v + 285. Is f at least 144?
False
Let g = -437 + 1739/4. Let k = -2 - -29. Let s = -29 + k. Is s != g?
True
Let w be (-6)/8*(-36 - -40). Which is greater: w or 16?
16
Suppose 5*a + 7*o = 2*o + 110, 4*a = -5*o + 87. Let u = 21 - a. Which is bigger: u or 3?
3
Suppose -2 = -z + 2*h, -z - 2 - 2 = h. Let x be -67*z/(-4) - 72/(-48). Is -31 less than x?
False
Let j(f) = -2*f**2 + 3. Let a(i) = -i**2 - i + 2. Let p = 35 + -32. Let b(c) = p*a(c) - 2*j(c). Let o be b(4). Is o at most -2?
False
Let a be ((-14)/7)/((-2)/(-4)). Let p be 3 + a - (-1 + -2). Suppose -4*x + 0*x + k - 33 = 0, -x - p*k - 6 = 0. Which is smaller: x or -7?
x
Suppose 5*q = -5*t - 170, -q = 101*t - 103*t + 31. Which is smaller: q or -103/3?
-