g = 6.5 - b. Let a = 2 - 1.9. Are a and g non-equal?
False
Let a(k) = 2*k**2 - 37*k - 8. Let m be a(19). Suppose 114 + 128 = m*z. Is 24 > z?
True
Let a = 44/37 - 173/148. Do a and 1 have different values?
True
Let y = 66 - 63. Let i be (-6 - -11)/(y/(-6)). Which is bigger: i or -2?
-2
Let u = 2 - 2.4. Let k = 8.6 + -9.2. Let l = u + k. Is l bigger than 16?
False
Let h(f) = -f - 2. Let i(s) = -s - 3. Let q(b) = 3*h(b) - 2*i(b). Let u be q(0). Suppose 6*l - l + 20 = u, -4*p - 4 = 3*l. Is p > 4/7?
True
Suppose 1 = -o - 5. Let q be 18/o*(1 + 0). Let x be q/6 + 1/(-2). Are -2/3 and x non-equal?
True
Let t = 67.2 + -70.2. Is t less than or equal to -1/59?
True
Let j = -110 + 144. Is 174/5 greater than j?
True
Let h = 24 + -24. Suppose h = -3*v + 8*v - 105. Is 23 less than v?
False
Let n(c) be the second derivative of c**2/2 - 3*c. Let s(l) = -l. Let r(o) = -12*n(o) + 4*s(o). Let j be r(-5). Is j at most as big as 9?
True
Let b be (-4)/14 + (-122)/14. Let r = -10 - b. Is 3/4 equal to r?
False
Let j be -29 + 24 - -2*3. Which is smaller: -1/51 or j?
-1/51
Suppose 3*d - 45 + 24 = 0. Suppose -d*c - 6 = -c. Is -41 at least c?
False
Let n = 44 - 43. Is n at most -2/139?
False
Suppose -2*y - y = -0*y. Which is bigger: y or 1/233?
1/233
Let d be (4 + -5 - 3) + (7 - -1). Let k be (d/5)/((-4)/30). Is k < -5?
True
Let o be 16/(-10) + 2 + (-1102)/(-95). Suppose -12 = -12*j + o. Is j bigger than -15?
True
Let f(k) = 3*k**2 - 21*k + 1. Let g be f(7). Which is smaller: g or -2/163?
-2/163
Suppose -4*n + 1 = -11. Suppose 2*i + 536 = -n*v, 0*v = -2*v - 2*i - 360. Let u be -1 + 0 + v/80. Is -4 greater than u?
False
Let a = -0.11 - -0.21. Let v = -420/251 - -41773/3514. Let y = 21/2 - v. Which is smaller: y or a?
a
Suppose -18 = 2*t + 2. Let d = t - -13. Suppose -2*c + 1 = d. Is c greater than 2?
False
Suppose -36 = -12*w - 0*w. Suppose 3*h + 6 + 9 = w*n, -h - 4*n - 25 = 0. Is -9 smaller than h?
False
Suppose 3*l = -2*l. Suppose 0 = -3*h - 4*x + 10, 0 = 4*h - l*h + x - 9. Suppose -3*t - h = -t. Does -5/8 = t?
False
Let x(g) = -2*g - 6. Let p be x(-5). Suppose 3*a = -3*n, 3*a - 3 - 4 = p*n. Which is greater: a or -2/13?
a
Let k = 6 - 3. Suppose -q = k - 4. Let c be (-3)/(-2)*(-10)/(-3). Is q < c?
True
Suppose -r = 8*r - 2*r. Suppose 0 = -b + 5*b - 12. Suppose b*p + p - 20 = 0, -o - 4*p + 20 = r. Which is greater: o or -2/7?
o
Suppose -5*m - 5*d = -70, m + 0 - 17 = -2*d. Suppose 2*v + 8 = -2*s - 2*v, -s - 3*v = 8. Suppose 2*r = -5*j - 20, -4*r - 12 = -j + s*j. Is m equal to r?
False
Suppose -68*w + 3 = -71*w. Suppose 2*q = -0*q + 232. Let d be -2*(-62)/q + -1. Is w less than d?
True
Let j(s) = 3*s + 124. Let g be j(-10). Is g != 91?
True
Let r(u) = -u**2 - 4*u + 6. Let k be r(-5). Let c be -1 + (2/2 - k). Let v be (5/25)/(9/(-15)). Which is smaller: c or v?
c
Let d be ((-36)/8)/((-6)/(-8)). Let c be (-34)/d - 3/(-9). Suppose 4*o - c - 74 = 0. Is o at least 21?
False
Suppose 8*n - 328 + 296 = 0. Which is smaller: n or 2/29?
2/29
Let m = 9 - 9.1. Let y = -0.039 + 0.439. Which is bigger: y or m?
y
Suppose 0 = 2*a - 5*k + 19, -4*k + 37 = 4*a + 5. Suppose 0 = s - 2*f + 66, 0 = a*s + 3*f + 189 - 18. Let p be (s/(-105))/(2*-1). Is 11 > p?
True
Let d be (84/5)/((-2)/10). Let a = d + 126. Let k be (-16)/a - (-10)/15. Is 0 greater than or equal to k?
False
Let u be (-83)/(-21) - (4/3)/(-4). Let i = 20/7 - u. Which is bigger: -1 or i?
-1
Let x be (-6)/(-10) - 30/50. Which is bigger: x or -1/66?
x
Suppose 3*t + 5 = 5*s + 39, t = 2*s + 14. Let u be s/6*(-9)/6. Suppose -6 - 2 = -u*d. Is d bigger than 4?
False
Suppose -3*b + 4*s + 66 = 0, -15 = -7*s + 2*s. Let j = b + -27. Let v be 4/(-14) + (-2)/14. Is v less than or equal to j?
False
Suppose -4*j - 2*m + 20 = -16, 3*j = m + 32. Suppose -3*i + 5 = i - 3*p, 0 = 3*p - 3. Which is smaller: j or i?
i
Let t(m) = -m**3 - 5*m**2 - 3*m + 1. Let u be t(-4). Suppose -4*b - 5*a + 16 = 0, 4*b - 5 = b - 2*a. Which is bigger: b or u?
b
Let h be ((-16)/12)/(3/18). Let b be (-2)/(-4) - 4/h. Suppose 0 = 2*q - 3*q + b. Is q at most 0.8?
False
Let h = 3.33 - 0.23. Is h less than or equal to 2?
False
Let p = 429 + -419. Is 21 > p?
True
Let q be 1646/(-7)*(-11930)/(-120). Let w = q - -23383. Let v = w + -40/7. Which is smaller: v or 4?
v
Suppose 0 = -3*t - 0*t + 6. Let w be 25/3 - 3 - t. Which is smaller: w or 3?
3
Let a = 12.54 - 13.54. Suppose -188 = -5*w + 32. Which is greater: w or a?
w
Let b(s) = -s**2 + 60*s - 577. Let u be b(48). Is -7/102 smaller than u?
False
Suppose -17 - 9 = -l. Let o = l + -18. Suppose 0 = -6*a + o*a - 12. Does 6 = a?
True
Suppose i + 250 = 5*z, i - 100 - 100 = -4*z. Let k be 20/z - (-36)/10. Suppose -5*s + w - 20 = -3*w, 0 = -2*s - k*w + 20. Is s <= -1?
False
Suppose -21*y + 3036 = -19*y + q, -3*y + 4540 = -2*q. Is 1516 bigger than y?
False
Let o be (2/(-6))/(21/(-63)). Let l be (5 - o)*(-1)/(-1) - 3. Which is smaller: -12 or l?
-12
Suppose -22*x = -25*x + 6. Are 4 and x non-equal?
True
Let l be (1 - 5)/(4/(-10)). Let z = l + -31/3. Which is bigger: 1 or z?
1
Let m be 1962/(-24)*((-12)/(-9))/4. Is m > -26?
False
Let a(j) = -j + 7. Let x be a(7). Suppose -5*n + 103 + 37 = x. Let y be 204/n - 4/14. Is 7 at least y?
True
Suppose 5*r + 392 + 768 = 0. Are -232 and r unequal?
False
Let a = 44 - 28. Which is greater: a or 2/9?
a
Let m = -4.13 - -4. Is 68 >= m?
True
Let f = -7 - -6.6. Let p = 20.3 + -20.5. Which is smaller: p or f?
f
Suppose -z + 2*w = -58, 98 = -2*z - w + 224. Which is smaller: z or 188/3?
z
Let v be 3 - (3/2)/(15/50). Let l be (11/v - -2)*-8. Is 28 < l?
False
Let w = 46 + -42. Suppose -7*i = -w*i + 87. Is i bigger than -29?
False
Let u = -178 - -175.76. Which is greater: u or -2/3?
-2/3
Let a(c) = -17*c**2 + 2*c. Let z be a(4). Is z less than -264?
False
Let i be (-6)/(-96)*12 + (-453)/(-4). Is i smaller than 112?
False
Suppose -12*i + 83 = 23. Which is greater: 8 or i?
8
Let c = 3.3 - 3.2. Which is smaller: 1589 or c?
c
Let j(f) = 3*f**2 - 9. Let h = 17 + -17. Let w be j(h). Which is smaller: w or -4?
w
Suppose 2*d = 3*g + 18, -2*g + 0*d = 4*d - 4. Let w be ((-315)/(-378))/((-5)/4). Which is smaller: w or g?
g
Suppose 0 = -5*n + 5*z - 65, 3*n - 168 = -4*z - 179. Is n at most 50?
True
Let j = -2.25 + 2.55. Which is smaller: -1 or j?
-1
Suppose -g + 6 = -7. Let b = g - -18. Which is bigger: 32 or b?
32
Let a = 0.318 + 0.012. Let n = 1.33 - a. Which is bigger: -0.09 or n?
n
Suppose -4*a + 32 = -64. Let u be ((-2)/(-6))/(a/18). Let g = 0 - -0.2. Is u equal to g?
False
Suppose -16*n + 13*n = 6. Which is bigger: 51 or n?
51
Let y = -0.228 + -0.272. Which is smaller: y or 16/3?
y
Let f(r) = 2*r**2 + r + 2. Let z be f(2). Let g = -2296 + 2310. Suppose g - z = p. Is p at least 2?
True
Let q be ((-99)/(-18) - 5)*(-6 - 0). Suppose 0 = o - 1 - 1. Let p be (24/36)/(o/q). Which is smaller: p or 2?
p
Let p = -3.98 - 0.02. Let h be 5/3*18/15. Suppose -3*s = h*s + 5. Is p less than or equal to s?
True
Let m = -0.1 - 0.1. Let p = -53/423 + 2/141. Is m < p?
True
Let m = -216 + 144. Let d = m + 71. Which is bigger: -49 or d?
d
Let n = 3079/595 + 3/119. Which is greater: -0.1 or n?
n
Let b be 2 + (-1 - -2)/(-1). Suppose 7 = 4*o - b. Let n(p) = -p**3 - 3*p**2 + 2*p - 4. Let i be n(-4). Which is smaller: i or o?
o
Suppose -4*o + 3*i = -92, 0 = -4*o + 8*o + 5*i - 60. Which is smaller: 19 or o?
19
Suppose 0 = 13*m - 39 - 13. Is 45/16 greater than or equal to m?
False
Suppose -3*t - 142 = -4*v, 4*v - 333 + 107 = 5*t. Let w be 93/t + (10/4 - 1). Suppose 10 = 5*q + 2*y, -2*q - 5*y + y = -20. Which is smaller: w or q?
w
Let m(k) = k**3 - k**2 - k + 7. Let v be m(0). Let i = v + -7. Which is greater: -9 or i?
i
Let c = 4 - 16. Let t(v) = -3*v**2 + 2*v - 1. Let g be t(2). Let h be g/(-21)*4/(-6). Do h and c have the same value?
False
Let r(z) = z**3 - 10*z**2 + z - 2. Let i be r(10). Suppose -4*j - i = 3*o, 0*o - j - 2 = 5*o. Which is smaller: o or -1/34?
-1/34
Let o(d) = d**3 + 13*d**2 + 5*d + 17. Let y be 0/(3/(-1)) - 1. Let i(v) = -v - 1. Let n(m) = y*o(m) - 4*i(m). Let t be n(-13). Is t not equal to -2?
True
Let j(t) = 151*t**2 + 1. Let k be j(-1). Let a be (-215)/k*-2 + -3. Let g = a - 3/38. Which is bigger: g or -1?
g
Let z = -1385/4 - -353. Let y = z + -77/12. Let x = 0 - -2. Which is smaller: y or x?
y
Suppose -2*w + 33 = 5*q, -4*q