 1. Is q equal to 3?
True
Let w(c) = -c - 13. Let q be -3 - (6 + -18)*(-4)/(-6). Let h be w(q). Which is bigger: -19 or h?
h
Suppose 0 = 3*d + x - 13, x - 9 + 4 = -d. Suppose -3*a = -12, -4*s + s - d*a = -13. Are -3 and s nonequal?
True
Suppose 1 = -5*b + 16. Suppose -b*d - 632 - 1766 = -5*j, 3*j - 2406 = 3*d. Let z = -6457/8 - d. Which is smaller: z or 0?
z
Let x = -176 - -176. Which is smaller: -2/369 or x?
-2/369
Let b be 2880/(-55)*(-3)/10. Let l = b - 79/5. Which is smaller: l or 1?
l
Let k(i) = 2*i - 4. Let j be ((-20)/(-8))/(1/4). Let c be k(j). Suppose -2*y - c = y + 4*m, 5*m = -2*y - 20. Which is smaller: y or -1/64?
-1/64
Suppose 248 = 10*q + 38. Let k(u) = u**3 - 7*u**2 + 2*u + 7. Suppose 5*y + 3*g - 23 = 0, -3*y - 4*g + 5 = -0*g. Let v be k(y). Is v >= q?
True
Let c = 385 - 383. Is c != 13.9?
True
Let r = -31 + 17. Let a be (3/(-6))/(r/(-8)). Suppose -2*o - 11 = o - 5*g, -o + 2*g = 3. Which is smaller: o or a?
o
Let z(j) = -j**2 - 8*j. Let n be z(-6). Suppose -2*k + 12 = -2*y + k, -n = -y - 3*k. Let r be (0/((38/(-57))/(2/6)))/2. Is r greater than or equal to y?
True
Suppose -3*x = 2*x + 35. Let r = x + 7. Let m be ((-2)/(-1) - 1)*r. Which is smaller: 1.8 or m?
m
Suppose -15 = -4*d + 5*x, d + 4*x + 27 - 15 = 0. Is -3/1270 >= d?
False
Suppose 2*m + 0*m + 60 = 0. Let f be 725/58*(-10)/4. Is f < m?
True
Suppose 5*f - 25 = -4*o, -5*o + 4*o - 10 = -2*f. Let q be (-38)/f - 15/(-25). Let c(k) = -k**2 - 13*k - 18. Let m be c(-12). Is m at least q?
True
Let i = 4 - -7. Suppose 8 - 34 = -2*m. Which is smaller: i or m?
i
Let i = -424.9 - -425. Which is smaller: i or -10.1?
-10.1
Let a = 7 - 3. Suppose 0 = -4*c + 7 + 9, 3*o = -a*c + 16. Let d = -19/35 - -8/7. Is o less than d?
True
Let q(w) = -2*w - 6. Let d be q(-5). Let z be (d/(-4) - 17)*1. Let r be (0 + (-1 - 1))/z. Does 0 = r?
False
Suppose -3*x + 8*x - 150 = -5*n, -4*x + 105 = -n. Suppose 5*u = 2*u - x. Let f be 1/(-4) + u/(-4). Which is smaller: f or -3?
-3
Suppose 4*k = -3*l - 57, -2*l - 3*l = k + 10. Let h be (1 + -4)*((-135)/18)/k. Let x = -21/46 + -1/23. Are x and h nonequal?
True
Let n = 249/10 - 33127/1330. Is n >= 1?
False
Let g = -4571784/341 + 13407. Which is smaller: g or 1?
g
Suppose -6 = -4*h + 2. Let s be (4/(-8))/(h/56). Let b = 6 + s. Which is bigger: b or -9?
b
Let u = 1688 + -1719. Which is smaller: -32 or u?
-32
Suppose -9*y + 8*y + 35 = 0. Which is greater: y or 1/4?
y
Let h(c) = -652*c**2 + c + 1. Let r be h(-1). Let g be r/(-4) + -2 + 0. Let d be (-3)/9 + g/105. Which is greater: 0 or d?
d
Let p be (-1)/(-2) + (-2)/(-4). Let f be 5270/(-439) - (130 - 142). Is p > f?
True
Let k = 0.3 - 5.4. Let r = k - -5. Let p = 20 - 14. Which is greater: r or p?
p
Let x = 817 + -864. Which is smaller: x or -44?
x
Let s = 19 - 38. Let w = s - -53. Is 1 > w?
False
Suppose -x = -1, 7*x + 17 = 4*s + 4*x. Let n be ((-13)/(-13))/((-2)/(-6)). Let m be -2*(45/(-10) + n). Is m not equal to s?
True
Let u = 351 - 327. Which is greater: u or 29?
29
Let h = 14/61 + -4/549. Which is greater: h or 7/4?
7/4
Let t = 0.073 + -0.803. Let n = 0.33 + t. Do n and -1/2 have different values?
True
Let x = -38 + 22. Let t be (-55)/(-36) + (-4)/x. Is t at least 3?
False
Let b = 4/77 - -215/308. Let f be (-1)/(-2) - (-1)/2. Suppose 3*a - f = -4*r, -4*a + 2*a + 1 = 3*r. Does b = r?
False
Suppose 3*v - y = 4, -34 - 6 = -5*v - 5*y. Suppose -20 = l + v*l. Let w(b) = -b - 5. Let i be w(l). Is 6 greater than i?
True
Let r = 189/25 - 2329/275. Which is smaller: -5 or r?
-5
Let f(n) = -n - n + n + 4. Let c be f(5). Suppose 40*l = 45*l + 15. Which is smaller: c or l?
l
Let z = 2010/11 + -38333/209. Is -2 <= z?
True
Let p = -758 - -642. Which is smaller: 0 or p?
p
Suppose p - 3*d = 21 + 113, -5*p = 5*d - 590. Suppose -4*q + 5*l = -p + 5, -2*q = 2*l - 72. Which is smaller: q or 32?
32
Let s be ((72/(-14))/6)/((-2)/84). Let u be (-6*8/s)/((-4)/(-6)). Is u greater than 1?
False
Let n = -0.0414 - -2.3714. Let t = -2.3 + n. Let y = 0.1 + 0. Which is greater: t or y?
y
Let v(h) = h**3 + 8*h**2 + 11*h + 15. Let y be v(-6). Let k be (-12)/y - (-346)/924. Let x = k - 7/11. Is x at least as big as -0.2?
False
Let l(y) = 7*y**2 - 17*y + 9. Let n(o) = 3*o - 19. Let t be n(8). Let m be l(t). Is 99 equal to m?
True
Suppose 0*f - 2690 = 2*f + 4*q, 0 = -f - q - 1344. Let y = -14785/11 - f. Let v = 627 - 629. Which is bigger: v or y?
y
Suppose -r = -3*r - 40. Let l = r + 19. Which is smaller: l or -2/5?
l
Suppose -491*f + 501*f = 80. Is f at least as big as -20?
True
Let c = -1/199 - -1603/2189. Let p = c - 13/33. Is p != -19?
True
Let r be 5/10 - 2/(-4). Let j be (r + -2)*(-11 + 11). Suppose j*h = -5*h. Which is greater: -1/16 or h?
h
Suppose 16*v - 11*v = 60. Let c be (-191 - v)*(-2)/7. Let h be 2/(-7) - c/(-7). Which is smaller: 9 or h?
h
Suppose -z + 241 = -265. Let d be (3/9)/((-16)/24318). Let o = d + z. Is -1 at least as big as o?
False
Let u be 1*-1 - (-6 - -5). Let t = -93/2 - -47. Is t equal to u?
False
Let a be ((-9)/((-1620)/(-550)))/((-20)/12). Is -1/9 at most as big as a?
True
Suppose -z + 5 = 2. Let f be 0/(((-18)/z)/(-3)). Let i be (1 + -1 - f)/4. Do -3/16 and i have the same value?
False
Let a = -18 + 21. Suppose -a*l = 2*d + l - 20, -4*d + 3*l + 29 = 0. Let g be ((-1)/4)/((-6)/d). Which is bigger: g or 1?
1
Suppose 8*u - 8 = 10*u. Let s be (u + 1)/((-120)/16) - 2. Are s and -2 non-equal?
True
Let x = 1.1 + 4.9. Let g be 7408/(-8)*(-1)/40. Let b = 91/4 - g. Which is smaller: b or x?
b
Let m(o) = -298*o - 2659. Let c be m(-9). Suppose -3*n - 2*x + x = -64, 0 = -4*n - 3*x + 77. Is c smaller than n?
False
Let c(z) = 37*z - 175. Let b be c(6). Is b smaller than -1?
False
Let p be -1*4*(-63)/28. Let r = -26 + 84. Suppose -18 = 5*s - r. Which is smaller: p or s?
s
Let l = 0.459 + -0.689. Is l at least as big as 2/21?
False
Let q(n) = -n - 1. Let b be q(6). Let h(w) = -w**2 - 9*w + 3. Let l be h(-10). Are b and l equal?
True
Let x be ((-1)/(-3))/((-19)/(-9) + -2). Suppose -6*d = -x*d - 78. Is 26 not equal to d?
False
Let v be 32/10*(-1890)/(-36). Let a be 28/v*21/2. Which is smaller: a or -3?
-3
Suppose 0 = 5*r + 31*z - 33*z - 3754, -z + 3 = 0. Which is smaller: r or 753?
r
Suppose -h + 39 = -3*f, -34 = 5*f - 9. Suppose -3*d = d + h. Let a = -1 - 6. Is d at least as big as a?
True
Suppose -3*a - 121 = -2*j - 48, -5*a - 5*j = 130. Let l be -5*-1*(2 + 4). Let z = l + a. Is z at most 5?
True
Let j(f) = f**2 + 9*f + 35. Let o be j(-10). Suppose -129 = -48*p + o*p. Is p at most 43?
True
Suppose -675 - 287 = -26*m. Is 37 bigger than m?
False
Let h be (-4)/14 + (-18)/(-63). Let n be (h - -10) + (-48)/12. Suppose -n*r = -24 - 42. Are 2/3 and r non-equal?
True
Suppose -3*n + 22 = 2*h, h - 2*n = 7 - 10. Is 117/20 >= h?
True
Let f(s) = 6*s**3 - s**2 + s + 2. Let o be f(-1). Is -29/5 < o?
False
Suppose -2*t - 51 = 2*r + 11, -r = -5*t - 173. Which is bigger: -235/7 or t?
-235/7
Let m = 1/8769 - 280621/113997. Which is smaller: -1 or m?
m
Let o = 0.1 + 0.1. Let c = -16.041 - -17. Let w = -0.041 - c. Which is bigger: o or w?
o
Let o be ((-1)/3)/(5/30). Let l(d) = d**2 - 3*d - 1. Let f be 12/(-10)*(-15)/6. Let b be l(f). Is o > b?
False
Let c = 4.8 + -4.8. Let f = 0.61 - 0.6. Which is bigger: c or f?
f
Let q = 831 + -831. Which is smaller: q or -8/251?
-8/251
Let l(g) = -2*g**3 + 8*g**2 - 11*g - 5. Let b be l(4). Which is greater: -51 or b?
b
Let w = -1067 + 7466/7. Which is smaller: 0.35 or w?
w
Let o be 12/21*(-140)/120. Suppose 0 = 3*c - b, 5*c + 2 = b - 0. Is c < o?
True
Let i(t) = -2*t - 2. Suppose -3*w - 9 + 4 = z, -4*w = -z + 2. Let m be i(w). Suppose m = 3*j + j + 16. Is -4 != j?
False
Let g(y) = -y**3 - y**2 + 4*y. Suppose -2 - 1 = n. Let l be g(n). Let p be (-4)/l - 70/(-150). Which is smaller: -1 or p?
-1
Suppose -10*v = -8*v - 2. Let r(c) = -11*c - 2. Let n be r(-2). Let t = n + -22. Which is bigger: v or t?
v
Suppose -3*i + s = -287, -i + 6*s - s = -105. Let v be 1*5*42/35. Suppose -i = -v*r + r. Is 19 at least r?
True
Let q = 48 + -50. Let m be 194/(-6)*q/((-14)/(-21)). Which is smaller: m or 96?
96
Let x = -46742/7 - -6714. Which is bigger: 37 or x?
37
Suppose 0*k - 4*k + n = 201, 3*k + 157 = 2*n. Suppose -2*s + 3 - 11 = 0. Let o be (s/6)/(k/21). Which is bigger: o or 1?
1
Let p = -347608/157 + 2214. Is 1 smaller than p