. Suppose g = 5*z - 6*w + 4*w - 18, 4*z + w - 17 = 0. Let p = -3 - -3.1. Is z not equal to p?
True
Let g = 22 + -43. Let w = g + 28. Let d = -8 + w. Which is smaller: 0.4 or d?
d
Let r = -5.27 - -5.2. Is -2.3 less than r?
True
Suppose 5*o = -q + 57, -17*o + 19*o - 33 = 3*q. Are 41 and o equal?
False
Let o = -1 - -6. Let h be (o/(10/(-4)))/2. Let v be (-365)/(-55) - (-2 + 54/6). Is v at most h?
False
Let j = -265 - -431. Suppose 0 = j*r - 161*r + 35. Which is smaller: -45/7 or r?
r
Let j be (7 - 3)/2 + -37. Let x be (-63)/j - 1/(-5). Let f be 5/20*(-1 - -9). Is x at least f?
True
Let x be -4*(-1 + 15 - 4). Let n be (-118)/585 - 8/x. Let c = n + 7609/2340. Which is greater: 4 or c?
4
Let v = -1119/5 + 224. Which is greater: v or -4?
v
Suppose -4*n - 2*d + 18 = 0, 2*d - 24 = -3*n - 3*d. Let m be n/(-18)*3/(-41). Which is smaller: m or 0?
0
Suppose -2*p - 9*t + 8*t = 117, -3*p = -5*t + 208. Is -63 less than or equal to p?
True
Let m be (3 - 5)*(14 - -3). Is m != -101/3?
True
Let w be 0 - 2 - 2 - 44. Let n = 27 + w. Let t(f) = f**2 - 10*f + 4. Let m be t(4). Does n = m?
False
Suppose 5*x = -3*z - 31, -2*x - 5 = 5*z - 3*x. Is z at most as big as -11/12?
True
Suppose 9 = -10*a + 1119. Which is greater: -2/7 or a?
a
Let z(f) = f - 3. Suppose 0 = -c - 2*n + 8, -16 = -3*c - c - 4*n. Suppose 10 = 2*d - c*d. Let v be z(d). Are -2/3 and v unequal?
True
Suppose 4*f + 29 - 5 = 0. Let b = f - -22. Suppose n + 5 - b = 0. Which is smaller: n or 12?
n
Let x be (-45)/6*((-12)/5 - -2). Which is smaller: x or 60/19?
x
Suppose -10 = 2*c - 2. Let r(u) = 3*u**2 + 2*u + 1. Let v be r(-1). Let f be 48/20*v/c. Are f and -1 unequal?
True
Let l be ((-1)/(-7))/((-270)/(-20) + -14). Let q = -7 - -10. Which is bigger: q or l?
q
Let p(u) = u - 3. Let f be p(5). Let z be (108/(-8))/((-6)/8). Suppose 2*w + 0 = 4*o + z, w + o = 0. Are f and w unequal?
True
Let g = 1 + -1.6. Let b = 135/2 - 67. Is g equal to b?
False
Suppose 0*y - 4*m = -y - 1, 5*y + 5*m = 95. Which is smaller: 25 or y?
y
Suppose 3*g = 4*g + 3*g. Let z be 38/(-4)*(g + -2). Is 16 bigger than z?
False
Let y be (-12)/(-20) + (-132)/(-80). Let a be (-4)/14 + 48/(-28). Let s be 4*(a + 5/2). Is s equal to y?
False
Let a = 13 + -40. Let r = -29 - a. Do r and 5/13 have the same value?
False
Suppose -l - 10 = -14. Let c be (-24)/40 - l/10. Is c > -2/15?
False
Let o = -52 + 31. Let w = -21.1 - o. Which is bigger: w or 6/19?
6/19
Suppose -5*h + 43 = -82. Let b = -11 + h. Let i be 14/49 - 4/b. Which is bigger: i or 1?
1
Let k be 12/9*6/4. Suppose -k*u = 2*u - 4*f - 56, 3*u = 4*f + 42. Let i = u + 12. Which is bigger: i or 25?
i
Suppose 0 = -4*i + 6*i - h + 438, -3*i + 5*h - 664 = 0. Which is bigger: i or -1?
-1
Suppose -3*j + 95 = -64. Is 49 > j?
False
Let b = 1882 + -1838. Which is smaller: b or 128/3?
128/3
Suppose 2*n + 2*n - 12 = 0. Let u(l) = 4*l + 9. Let z(k) = -3*k - 8. Let w(m) = n*z(m) + 2*u(m). Let r be w(-8). Do 3 and r have different values?
True
Let i = -54.8 + 54.9. Is i bigger than 5/12?
False
Suppose 26 = -3*j - 31. Suppose 0*w + 2*o = 3*w + 65, 3*o - 69 = 3*w. Is w equal to j?
True
Let l(q) = -15*q - 389. Let s be l(-13). Is s > -195?
True
Let u be (11/(-22))/(2/72). Let y be (3/4)/(u/78). Suppose -2*p - 6 = -2*j, -5*j - 5 = 7*p - 2*p. Is y >= p?
False
Suppose 18 = 4*f + a, a + 16 = 5*f - 2. Suppose -3 = f*o + 3*z, -5*o - 5 = -o + 5*z. Suppose o = -6*x + x. Is x at least as big as -4/21?
True
Suppose -3 = 4*w - 3. Are w and 0 nonequal?
False
Let g be -3 - (-2 + 9 + -27). Which is smaller: 128/7 or g?
g
Let v = -436 - -439. Are v and 0.074 non-equal?
True
Let j = -5 - -7. Let z be (3/15*3)/((-81)/(-30)). Which is smaller: j or z?
z
Let c(y) be the second derivative of 29*y**3/6 + 3*y**2/2 + 5*y. Let o be c(-2). Let j be (-297)/o + 4/(-10). Is j equal to 5?
True
Suppose 2*x + 58 = 18. Let d = 131 - 110. Suppose d = -2*h - 21. Which is bigger: h or x?
x
Let n = 2 - 2. Let s be (n - (-22 - -4))/(-2). Is -8 >= s?
True
Let o be (-1872)/30 - ((-4)/(-10))/(-1). Is -61 not equal to o?
True
Let u = 2414/3 - 798. Let b = u - 1177/177. Is b > 0?
True
Let q = -3.02 - -3.02. Which is greater: q or -27.3?
q
Let r = -138 - -142. Are r and -9 unequal?
True
Let h = 14 + -6. Let o(g) = -g + 12. Let f be o(10). Let m be 24/(28/h - f). Which is greater: 17 or m?
17
Let f be 85/10 - 3/6. Let h(w) = -1 + 5 - 3*w**2 + 2*w**2 + 8*w. Let m be h(f). Which is smaller: 8/3 or m?
8/3
Let v = 49 - 45. Let u = 2 + -5. Let f = v + u. Do 0.02 and f have different values?
True
Let v be 3/(84/(-244)) - (-16)/(-56). Let x be (-6)/36*v - 3. Are 0 and x nonequal?
True
Let d = 58 - -42. Let y be 2/12 - (-3)/(144/d). Suppose -4*p = -12, -5*a - 13 = -10*a - p. Which is smaller: a or y?
a
Suppose 7*j = -3*c + 4*j + 264, 5*c - j - 422 = 0. Which is bigger: 83 or c?
c
Let q = 24/133 - 9026/48545. Is -1 not equal to q?
True
Let c = -198 - -288. Is 89 equal to c?
False
Let a(q) = -5*q**2 + 49*q + 20. Let d be a(12). Which is smaller: d or -0.3?
d
Suppose 2*s + 4*f + 88 = 0, -176 = -9*s + 13*s - 4*f. Which is smaller: -45 or s?
-45
Suppose -7 = 3*z - 4. Which is smaller: 2/477 or z?
z
Let l = 0.1198 + 2.8802. Is l at least 0.51?
True
Let s = 68.4 + -67. Let i = -1.3 + s. Which is bigger: i or 24?
24
Let u = 8.94 - -1.26. Let x = u + 0.8. Let v = -13 + x. Is 0 at most as big as v?
False
Suppose 191*z - 330 = 189*z. Which is smaller: 166 or z?
z
Let o = 0.042 - -55.958. Let b = -55 + o. Which is smaller: b or 17/4?
b
Let u = -215.9 - -113.2. Which is smaller: 0 or u?
u
Let y = 91 - 92.36. Let u = -2 - y. Is u bigger than 1/3?
False
Let s be (-3 - 11400/(-3654)) + 3/(-21). Which is bigger: 2/5 or s?
2/5
Suppose 3*z = -o - 2*o + 39, -5*o - 4*z + 62 = 0. Is o < 8?
False
Let s = 3911 + -3925. Let j = 0.5 - 0.8. Which is smaller: s or j?
s
Let v(b) = -b**2 + 13. Let s be v(-6). Suppose -10 - 151 = 7*o. Is o greater than s?
False
Let l be 24/(-96) + (-9)/12. Is -6 less than l?
True
Let h be 8 - ((4 - 2) + -3). Is 46/5 greater than or equal to h?
True
Suppose -394 = 16*c - 1690. Is 82 at most as big as c?
False
Let r = 0 - -0.6. Let b = r - -1.4. Let w = 0 - b. Which is bigger: w or 0?
0
Suppose -c - 5*u - 20 - 4 = 0, 4*c = 5*u - 21. Let k(r) = r**3 - 7*r**2 - 10. Let h be k(7). Which is smaller: c or h?
h
Let i(u) = -u**2 + 10*u + 24. Let j be i(12). Let t be -11 + (-2)/2 + j. Is t bigger than 2?
False
Let w be (-2398)/(-99) + (-4)/18. Let a be ((-40)/w)/((-2)/(-6)). Suppose 0 = -3*f - 6, 5*f + 24 = -2*o - 0*o. Which is smaller: a or o?
o
Let i(c) = c**3 - 3*c + 16. Let d be i(-4). Is d less than -36?
False
Suppose 14*v = 29*v - 30. Let h = -4.6 - 1.4. Is h > v?
False
Suppose -1844 + 1799 = 5*s. Which is greater: -13 or s?
s
Let a be (-3)/(-273)*-25 + 80/(-520). Is a equal to 69?
False
Suppose -2*j + 3*x = -357, 5*x + 709 = 2*j + 2*j. Suppose 8*o + j = -o. Is o >= -18?
False
Let c be (-175)/5 - (2 + -2). Let u = -17 - c. Let a be (-12)/(-54) + (-4)/u. Which is smaller: -3/8 or a?
-3/8
Let z = -0.08 - -0.58. Let w be 2/(-6) - 410/(-15). Let j = w + -83/3. Is j at most z?
True
Suppose -35*r + 2 = -33*r. Which is smaller: r or -1/263?
-1/263
Let w be (-9)/(-6)*(52/843)/(-13). Which is smaller: -1/2 or w?
-1/2
Let l = -15 - 16. Let k = 31 + l. Suppose k = 2*j - n - 0*n - 29, -2*j - 5*n = -47. Is 16 greater than or equal to j?
True
Let y = 6 + -8. Let w = -22.8709 - 0.1291. Is w greater than or equal to y?
False
Let n = -156 - -258. Let z(j) = -j**2 + 27*j + 30. Let k be z(26). Let o be (-8)/(-12) - k/n. Is o smaller than 0.2?
True
Let s = -55 + 210. Let f be -5*(-10)/s*-1. Is 1 >= f?
True
Let x be -2 - -2 - -3*(-1)/(-3). Does x = 3?
False
Suppose -t = -4*x - 16, 4*t - x = x + 8. Suppose 0 = -f + 3*b - 11, t = -9*f + 4*f + 4*b - 11. Which is bigger: -1/41 or f?
f
Suppose -3*a + 4*u = -18 - 14, 3*u + 7 = -2*a. Let y(t) = -2*t**2 + t + 7. Let f be y(a). Is f at most -21?
True
Suppose -h - f + 103 = 0, -h + 106 = 3*f + 7. Which is greater: h or -5?
h
Let s = -328 - -1624/5. Are 0 and s equal?
False
Suppose 3*l - 180 = -5*c, -14*c + 215 = -9*c - 4*l. Which is greater: 1/7 or c?
c
Let y be (-17)/5*(-17 - -12). Let x = y + -30. Which is bigger: -15 or x?
x
Let u = -2/1781 - -232/137. Which is greater: u or 3?
3
Let j be 24/48 + (-15)/14. Let k = 16 - 11. Suppose 0 = k*t