 = 5 - 5.8. Which is smaller: v or q?
q
Let g be (-653 - (10 + -15)) + 1. Which is greater: -646 or g?
-646
Let i be 6/(3 + -2 + 1). Suppose -2*a - 8 = 3*v, -i*a - 5*v = -a + 16. Suppose a*d = -6, -4*d = 4*q - 0*d + 12. Which is greater: q or -2/7?
q
Suppose -i + 5*i = 5*v + 229, 2*v + 61 = i. Is 51 less than or equal to i?
True
Let c be (-2)/(-22)*(-65)/260. Is c > -1?
True
Let s be (-420)/(-126)*63/(-6). Which is smaller: -26 or s?
s
Suppose 3*q + 5*u + 2 = 12, -3*u = -6. Let r be ((-20)/8 + 0)*(q + 1). Is -3 greater than r?
False
Suppose 38 = -s - 10. Let i = s - -62. Which is smaller: 15 or i?
i
Let f = 8 + -10. Let i be (-118)/288 - f/9. Let u be (-13)/(-11) + 24/(-132). Does i = u?
False
Suppose 4*j - j = -12. Let l = 99 - 166. Let u = -72 - l. Which is smaller: u or j?
u
Let x be 10/45*(-1 - 5)*60. Which is smaller: x or -79?
x
Let z(x) = -2*x**2 + 3*x - 1. Let c be z(4). Let k = 19 + c. Which is bigger: k or 0?
0
Let a(b) = -4*b - 14. Let u be a(-6). Let z be 4/(-6)*(465/u + -3). Is -28 greater than or equal to z?
True
Suppose 473 + 357 = 10*d. Which is greater: 82 or d?
d
Let i be (0 + 4 + -5)*4/(-18). Let r be (45/(-27))/(2/(-6)). Let d(g) = -g**2 + 4*g + 5. Let o be d(r). Is i smaller than o?
False
Suppose 299 = -3*t + 281. Which is greater: -32/7 or t?
-32/7
Let v be (-103)/3 - (-5)/15. Let o = v - -239/7. Are -1 and o equal?
False
Let d = -2.54 + 5.54. Is 3/10 at least d?
False
Let d = 96.2 - 96.6. Let h = -1.67 - 0.23. Let q = -2 - h. Is q <= d?
False
Let a = -10 - -14. Let i(w) = -5*w + 36. Let u be i(5). Is u equal to a?
False
Let o be 110/(-385) - 4/(-14). Is o not equal to 2/1509?
True
Let p(o) = o**2 - 11*o - 7. Let j be p(12). Let r(x) = -x**2 - 6*x - 2. Suppose 6*t + 4 + 8 = 0. Let k be r(t). Is j at most k?
True
Suppose 0 = 4*o + 2*n - 12, 4*o + 2*n = -3*n + 18. Let q(d) = d**2 - 2*d. Let s be q(o). Let c be 1/((-50)/(0 - 2)). Which is bigger: c or s?
c
Let a(u) = -u**2 - 4*u + 5. Let t be a(-4). Suppose 24 = 4*x + 3*v - 8, -t*x + 5*v = -40. Is 8 > x?
False
Let i = -119 - -62. Let n = i + 58.9. Let g = 0.1 - 0.2. Is g bigger than n?
False
Suppose -c + 21 = 3*y, 3*y - 2*c - 5 - 25 = 0. Let a be 7/4 - (-2)/y. Suppose -o = o - 6, -z + a*o = 4. Which is smaller: z or -1?
-1
Let v(o) = 365*o + 18. Let a be v(2). Is 749 smaller than a?
False
Let n = -10 - -16. Suppose 2*m - n = 5*m. Which is smaller: -3 or m?
-3
Let v be ((-702)/91)/((-3)/28). Let x be ((-4)/78*3)/((-4)/v). Which is smaller: 2 or x?
2
Let a be (-8)/(-6)*72/32. Suppose -5*x - 4*m = -5*m + 43, 5*x + a*m + 51 = 0. Is -8 < x?
False
Suppose -4*b + 3*n = -n - 288, -4*n = 4*b - 248. Let i = -537/8 + b. Suppose 0 = -5*r + 5. Do i and r have the same value?
False
Let u = -8 - -10. Suppose -u*s + 5*g = s - 22, -s = g + 6. Is s at most 0?
True
Let d be (-2)/(-8)*2*-2. Let p(t) = 3*t. Let c be p(d). Let j be -3*((-96)/36 + 3). Is j greater than c?
True
Let w = -0.65 - 21.35. Is w at least as big as -11?
False
Let a(t) = t**2 + 3*t - 2. Let h be a(-3). Let p = 42 - 42. Let m = p + 0.1. Is m less than or equal to h?
False
Suppose 564 - 301 = -t. Is t not equal to -263?
False
Suppose 2*n + 282 = 3*m, -2*n + 0*m - m - 290 = 0. Which is greater: -142 or n?
-142
Let g = -34 - -19. Let d = 12 + g. Let t(q) = q**2 - 3*q + 1. Let h be t(2). Which is smaller: d or h?
d
Suppose 45*a = 44*a + 20. Is 24 > a?
True
Suppose -3 = 7*j - 24. Suppose -5*p = -3*s + 13, -5*s + j*s + 8 = -3*p. Let t be p/(-11) - (-150)/22. Which is smaller: -2/5 or t?
-2/5
Suppose 5*r = 7*r - 4. Suppose -r*j = -m + 4, 3*j - 8*j + 2 = -m. Suppose m = -h + 3*h. Is 5 at most h?
False
Let v = -0.03 + -0.01. Let k(q) = 7*q**2 - 27*q + 15. Let w(m) = 3*m**2 - 13*m + 8. Let l(j) = -2*k(j) + 5*w(j). Let g be l(10). Which is smaller: g or v?
v
Let h(w) = -3*w - 10. Let r be h(-6). Suppose 0 = -2*i + 4*i - 2*f + r, 0 = -5*f + 15. Which is greater: 0.1 or i?
0.1
Suppose 120 = 4*k + 24. Let s be 54/k - 2/8. Let g be -2*1*1/2. Are s and g nonequal?
True
Suppose -3*v + 11 = -4. Suppose 0 = -v*r - 3*u + 7 + 1, -4*u + 1 = -3*r. Let i = -5 + 7. Does i = r?
False
Let v(f) = f**3 + 17*f**2 + 16*f - 6. Suppose -k = 14 + 2. Let c be v(k). Let a = -6 - c. Which is greater: 1 or a?
1
Let z(b) = -b**2 + 20. Let g be z(0). Suppose -3*c - 157 + g = 2*u, c = -u - 66. Which is bigger: -62 or u?
u
Let c = -23 - -12. Let g = -11.02 - c. Let n = -0.08 + g. Is -4 greater than or equal to n?
False
Let y = 1.0306 + -0.0306. Are 73 and y nonequal?
True
Let i = -3725/13 + 287. Suppose 3*n - 21 = 2*l + l, 4*n - 5*l = 29. Suppose t + 5 = n*t. Is i bigger than t?
False
Let v be (-84)/(-3) - -2*2. Let d = 32 - v. Is d bigger than -7/6?
True
Suppose -3*r - 12 = 30. Suppose 0 = -4*s + 5*s. Suppose 5*h + 46 + 29 = s. Which is smaller: r or h?
h
Let o(j) = -21*j + 146. Let y be o(7). Which is smaller: -1/755 or y?
y
Let x(p) = -p**2 - 2*p + 1. Let u be x(-2). Let y = u - 2. Let b be (-6)/(-28)*8/18. Is b equal to y?
False
Suppose -2*k + 9 = 5*h + 21, 4*k - 3*h - 2 = 0. Let g be -9 + k*(1 + 0). Let u be (g/3)/((-8)/(-24)). Which is smaller: u or -9?
u
Suppose 2*r - 3*r - 2 = 0, r + 10 = 4*j. Let l be (-10)/((j - 4) + 11). Let y(k) = -k**3 - 9*k**2 - 7*k + 7. Let i be y(-8). Is i < l?
False
Suppose -n + 2*n - 15 = 3*r, r = 5*n - 19. Let t be r/50*(-25)/(-20). Suppose 0 = 5*a + 2 + 3. Which is smaller: a or t?
a
Let m = -420/11437 + -38924602/812027. Let s = -48 - m. Are 1 and s unequal?
True
Let q(p) = 3*p**2 + 2*p - 1. Let b be q(2). Let g = -11 + b. Suppose 3*y + g = -y. Is -3/10 less than y?
False
Let k = -33 + 22. Suppose -180 = -3*b - 2*a, -3*b + 7*a - 3*a = -180. Let t = b + -60. Is t at most k?
False
Suppose -z = 4*z - 10. Let y = -26 - -28. Let k be y/3 - (0 + -2). Which is smaller: k or z?
z
Let z be (-1027)/(-9) + 12/(-2*54). Which is greater: 115 or z?
115
Suppose -4*h = 4*n - 84, -3 = -3*n + 4*h + 67. Let x be (-3*3 - -2)*-3. Is n <= x?
False
Let p be 2 - 1 - (-203)/(-217). Suppose -5*d + 5 = -0*d. Let f be (-2 + d)*(3 + -4). Are f and p non-equal?
True
Let i = -17.0361 + 0.0361. Let v = -33.5 + 50.4. Let d = i + v. Is 2/5 bigger than d?
True
Suppose -5*j + 6 = 2*m - 4*j, -j = -4*m + 6. Let t be 0*(3/2)/(m + 1). Which is bigger: t or -11/9?
t
Let a = 56 + -57. Is a at least -5/13?
False
Suppose -3*v = 2*q - 8, 8 = 4*v + 3*q - 3. Let z = -1 + v. Suppose -2*b + 9 - z = 0. Are b and 3 nonequal?
True
Suppose -f - 3 = i, 4*i - 20 = -i + 2*f. Let p be 0 + 4 - (-9)/i. Suppose 0 = 4*o - 20 - 16. Do o and p have the same value?
False
Let p be 14/(-10) - (-6)/15. Let i(f) = -f - 1. Let q be i(p). Is -4/17 >= q?
False
Let k(d) = d**2 - 47*d + 89. Let o be k(45). Which is smaller: -5/238 or o?
o
Let g = -1 + 3. Let l = -0.69 + 0.38. Let r = l - -0.29. Which is bigger: g or r?
g
Let f(n) = 4*n - n**2 + 1 - 12*n + 8*n. Let s = 3 - 6. Let p be f(s). Is p at least as big as -8?
True
Let q = 5.71 + -5.41. Which is greater: -85 or q?
q
Let c = -344 - -340. Which is greater: 4/3 or c?
4/3
Let b be 15/25 - (-3)/(-5). Let r be 2*(-5 + 4) - 166. Let k = -2519/15 - r. Is b equal to k?
False
Let z be 4/6 - (-10 - (-174)/18). Is 4/149 greater than z?
False
Suppose 0 = 2*a - 5*a + 9. Suppose 2*i = -5*y - 7, -1 = 4*y - a*i - 0. Suppose -2*n + 2 = -12. Which is smaller: n or y?
y
Let q = 1129 - 1106. Which is bigger: -17 or q?
q
Let g be 7 - (2 + -3)*-3. Let a(u) = 12 - 5 + u + 0*u. Let c be a(g). Which is smaller: c or 12?
c
Suppose 8*j - 43 + 35 = 0. Are -2/313 and j equal?
False
Let g(z) = 2*z + 1. Let b = -4 + 6. Suppose 17 = 3*n + 2*s, 0*s - 10 = b*n - 4*s. Let l be g(n). Which is bigger: 6 or l?
l
Let m(s) = s**2 - 5*s - 16. Let v be m(7). Let g be (0 + -6)*((v - -9) + -4). Do -17 and g have the same value?
False
Suppose -24 = 2*f + f - 3*r, -f + 2*r = 10. Let s(y) = -y**3 - y**2 - 7*y + 3. Let o be s(4). Let u = o + 102. Is f equal to u?
False
Let w be (-1)/4 - 35/4. Let h(g) = 18*g - 712. Let s be h(39). Which is smaller: w or s?
s
Let z(w) = -5*w + 28. Let u be z(4). Suppose -3*f + 5 = -a - u*f, -3*f + 105 = -3*a. Which is greater: a or -2?
-2
Let z(o) = 83*o**3 + 2*o - 1. Let k be z(1). Let r be (-2)/(-8) - (-259)/k. Let v = 88 + -85. Does v = r?
False
Let s(h) = 15*h. Let y be s(-2). Let m be ((-2)/(-10))/(y/50). Let n = -31 + 32. Do n and m have the same v