?
True
Suppose -10*w - 2 = -11*w - 3*j, 0 = 4*w - 5*j + 9. Which is smaller: w or -1/204?
w
Let f = -1578 - -708. Let j be (-6)/18 - 344/f. Let p = j - -4/29. Which is smaller: p or 1?
p
Let v = -3 - -7. Let y be (-34)/4 - v/((-16)/2). Is y >= -8?
True
Let c = -1059/4 + 272. Which is smaller: c or 8?
c
Let h be (6350/422)/5 - 3. Let q = -649/1688 + h. Let k = -3 - -3. Which is bigger: k or q?
k
Let g = 1533 + -231481/151. Which is smaller: -1 or g?
-1
Let v = 1132 - 1260. Is -637/5 < v?
False
Suppose 21*z - 19*z + 8 = 0. Let u = 0.81 - 0.01. Let c = -1.1 + u. Which is smaller: c or z?
z
Let i = -217 - -7377/34. Let z = 27/2 - 12. Which is bigger: z or i?
z
Suppose 3*s + 1015 - 67 = 0. Which is bigger: -317 or s?
s
Let v(t) = t**2 - 12*t - 46. Let u be v(15). Which is smaller: u or -2?
-2
Let d = 13 - 13.8. Let t = 1.4 + d. Let l = 0.6 - t. Which is smaller: l or -0.1?
-0.1
Let m = 868 - 867.4. Does 3 = m?
False
Let k = 7.1 + -8.5. Let f = 0.36 + 0.04. Let g = k + f. Which is smaller: g or 1/2?
g
Let a = -157 - -157.2. Which is greater: a or 0?
a
Let w = -44 - -62. Let h = w + -22. Let g = 6 - 7. Which is greater: h or g?
g
Let d(g) = g**3 - 8*g**2 + 2*g + 36. Let k be d(7). Which is bigger: k or -2/1021?
k
Let j = 678/5 - 133. Is 4 < j?
False
Suppose -17*k + 27*k = 1040. Which is smaller: 109 or k?
k
Let i be (-28)/(-12) - (-2002)/(-777). Is 1 >= i?
True
Let l be 0/(-4)*(-10)/(-30). Which is smaller: l or 20/27?
l
Let z = 595.08 + -595. Let p = 0.1 + -4.1. Is p greater than z?
False
Let a = 11.88 - 6.42. Let x = a + -0.36. Let c = -1.1 + x. Do c and 1 have the same value?
False
Let x = -66 - 42. Do x and -109 have different values?
True
Suppose -25*o = -36*o + 3388. Is 308 less than o?
False
Let k be 19/(-8) - (-4 - -2). Let g = -21 + 26. Suppose -5*m - 5*n = -30, 4*m - g*n + 28 = 7. Is m bigger than k?
True
Let z(t) = t**3 + 12*t**2 + t + 13. Suppose 2*g + 22 = -2. Let c be z(g). Let i be (5/(-45))/((-21)/27). Are i and c equal?
False
Let a(f) = -2*f - 3*f - 1 + 5 - 2*f**2 - f**2 + 2*f**3. Let p be a(3). Which is bigger: 14 or p?
p
Suppose 5*o + 19 = -26. Let i(r) = 7*r**2 + 3*r + 1. Let k be i(-1). Suppose k*f - 37 = -87. Is o > f?
True
Let x(a) = 7*a + 132. Let q be x(-19). Let k = -35 + 129. Let d = k - 1784/19. Is d > q?
True
Let d = 21121/4 + -5252. Is d equal to 28?
False
Let b = -2.67 - 0.33. Let q = 13 + -11.7. Let m = q - 1.1. Which is smaller: b or m?
b
Let p = -4/1771 - -4434/394933. Is p at most 0?
False
Suppose 0 = 2*f - f - 4. Suppose -2*s = 3*d - 161, -f*d + s - 49 = -271. Let y be 4/(-22) + (-45)/d. Which is bigger: 0 or y?
0
Let x = -5876/3 - -1959. Is -160 < x?
True
Suppose 0*j + 3 = -3*j, -2*z + 33 = -5*j. Suppose 0 = o + 2 - 3. Suppose -2*n = 3*i - 6*n - 29, i = 4*n - o. Do i and z have the same value?
False
Suppose -2*l = -2*q - 98, -q - 2*l + 9 - 67 = 0. Let t be q/16 - (-25)/20. Is t greater than or equal to -7/9?
False
Suppose 0 = -2*z + 3*y + 19, 3*y + 13 = z - 4. Let p be (10/z - (-14)/(-7)) + -1. Let n = 587/7 - 83. Are n and p non-equal?
True
Let w = -1406 + 1406.152. Is 1 != w?
True
Let q be 1738/(-289) + 35 + -29. Which is smaller: q or 1?
q
Let q(d) be the third derivative of -d**5/60 - 7*d**4/24 - 7*d**3/6 + 4*d**2. Let b be q(-4). Suppose -m = 4*m - b*a - 5, -m + 21 = 4*a. Is 0 >= m?
False
Let m = 2.1 + -0.1. Let t = m + -1.7. Suppose -44*s - 71 = -27. Is t greater than or equal to s?
True
Let q = -361 - -360.6. Which is greater: 1.6 or q?
1.6
Let w = -15420990218/535 - -28824678. Let n = 1986/5 - w. Which is smaller: -1 or n?
-1
Let d be (-2 - -11)/3 + 1 + -4. Let l = 0 + 0. Do d and l have different values?
False
Let x = -9 - -53/6. Which is smaller: -0.09 or x?
x
Let k(p) = -3*p + 8. Let m(w) = 5*w - 17. Let u(a) = -7*k(a) - 4*m(a). Let i be u(-8). Is i equal to 4?
True
Suppose -4*c + a = 13 + 51, a + 4 = 0. Let l = c - -31. Is 14 > l?
False
Let w = 0.1 - 0. Let o = 7 - 7.25. Let u = o - -0.15. Is w greater than u?
True
Let c(z) = 2*z. Let o be c(-2). Let a be (12/(-15))/(o/10). Suppose s + a*s = 0. Which is smaller: s or 1?
s
Let g = -37.9 + 36. Let r = -2 - g. Let s be 0/(-1) + (-4 - (-138)/33). Which is smaller: s or r?
r
Let p = -2.96 + 14.828. Let a = p - 0.068. Let y = 12 - a. Is y bigger than -1/4?
True
Let z = 0.588 - 2.998. Which is smaller: -1 or z?
z
Suppose 7*r - 580 + 594 = 0. Which is bigger: r or 7.4?
7.4
Let m(x) = 4*x - 2. Let v be m(5). Suppose v = -5*z + 3. Is z at most as big as -8?
False
Let c = 0.15 - 0.3. Let b = c - -8.15. Are -0.5 and b nonequal?
True
Let s be (-1 - 3) + 15/4. Which is smaller: s or -2/85?
s
Let n = -15 + 32. Let i = n - 36. Let p = i - -20. Which is smaller: p or -0.17?
-0.17
Suppose -m + 99 = 2*m. Let o = m + -34. Which is smaller: o or -4/7?
o
Let s be 3*2/(-9)*-6. Suppose 0 = s*n - 9 + 37. Is n at least -8?
True
Let q = 211/329 - 10/47. Let p be ((-1)/3)/((-1)/(-6)). Let w be 0*(-1)/(p + 0). Is q at least as big as w?
True
Let a = 220 - 1978/9. Let z be (-4)/64 + 310/(-160). Is z > a?
False
Let m(n) = 122*n - 119*n - 1 + 10. Let j be m(-5). Which is smaller: -7 or j?
-7
Let f(z) = 3*z + 0*z**2 + 9 - 14*z - z**2. Let t be f(-12). Which is smaller: t or 2?
t
Suppose 7*j + 519 = -34. Which is smaller: j or 2?
j
Let j be ((-315)/10)/(-9)*(-16)/(-112). Let x = 2.2 - -0.8. Let o = -7 + x. Is o at least j?
False
Let k = -2111 - -681195/322. Let l = 2/161 - k. Is l <= -6?
False
Let p = 69 + -71. Let d = 1 - 4. Is d bigger than p?
False
Suppose -2*p - 2*p - 3*r = -1, p + 2*r = -6. Let g(q) = q**2 - p*q + 5*q + 6*q - q - 15. Let o be g(-8). Which is bigger: o or 3/14?
o
Suppose -4*l = -8 - 8. Let h be l/10*(-13)/(-208). Is h <= 0?
False
Let o = 10.2 - 2.2. Let u = o - 8.3. Is -0.2 not equal to u?
True
Suppose 3*o - 2*o + 10*o = 0. Let q be (-1 - 0)/((-2)/390). Let s be ((-6)/q)/((-8)/10). Is s at least as big as o?
True
Let q be (-405 - (-6 - -5))/(-117). Let g = 42/13 - q. Is g >= -5?
True
Let d be (-18)/(-81) - 155/900. Which is greater: 0 or d?
d
Let h be (-10)/3*(-6)/5. Let q = 1123 - 1121. Suppose -q*p + 5*p - 2*c = -20, -2*p - 8 = -h*c. Which is smaller: -9 or p?
-9
Let y = -8.75 + 14.4. Let u = 6.4 + y. Let z = u - 12. Is z != 2/5?
True
Let t = -6 - -4. Let c be 22*(t - 2)/(-8). Which is smaller: 10 or c?
10
Let r be 105/20*(-8)/(-3). Suppose 14 = -d + 5. Let g = 6 - d. Which is smaller: r or g?
r
Suppose 313*t - 34680 = 279*t. Which is smaller: t or 1021?
t
Let x be (2 + 1 - 1354)/5. Let r = x - -267. Which is smaller: r or -2?
r
Let m = 1236 + -6182/5. Let r = -0.1 - 0.1. Is m >= r?
False
Let g be 1412876/426 + 11/((-66)/4). Let c = g + -3316. Is c at most -1?
False
Let q be (3 + 3 + 17/(-3))*-3. Which is smaller: -1/136 or q?
q
Let k(h) = -h**2 + h + 14. Let p(c) = c + 4. Let y be p(-4). Let u be k(y). Let o be 4/u + 58/(-56). Which is bigger: o or -2?
o
Let o(z) = -2*z**2 - 2*z + 25. Let a be o(-4). Which is smaller: a or 40/17?
a
Let a = -10 - -10.7. Let s = a - 0.69. Let t = s + -0.11. Which is smaller: 1/12 or t?
t
Let x = 21 - 20.87. Let a be 1/2 + 19/(-190). Which is greater: a or x?
a
Let i = 892 - 892. Suppose -3*n + 8*n + 60 = 0. Let w be (2/(-12))/((-3)/n). Which is smaller: w or i?
w
Suppose 4*w - 4*h + 20 = 0, 2*w + 3*h + 10 = 20. Which is smaller: w or -2/21?
w
Let r = -14 - -14.02. Let n = 1565 + -1565.05. Which is smaller: n or r?
n
Let h be 2*2*3/(-30). Which is greater: -3.6 or h?
h
Suppose -3*f - 5*y + 25 = -30, -29 = -f + y. Suppose f + 11 = 2*u. Let o = -12 + u. Do o and 6 have the same value?
True
Let y = 1803.1 + -1730. Let h = y - 73. Which is greater: h or -2/13?
h
Let r = -5.91 - -4.71. Which is smaller: -12 or r?
-12
Let n be (1032/16)/((-6)/(-8)). Let c be ((-30)/9 + 2)/(n/9). Which is bigger: c or -1?
c
Let g(k) = -11*k + 31. Let r be g(3). Is r < -94/7?
False
Suppose -12*q - 234 - 66 = 0. Which is greater: q or -24?
-24
Let u(t) = t**2 - 9*t + 13. Let b(k) = 3*k**2 + 5*k + 3. Let f be b(-2). Let r be u(f). Is -52/7 at least as big as r?
False
Let n = -1757 - -1656. Which is bigger: 0 or n?
0
Suppose -5*r - 4*g = -9 - 55, -3*g = -3*r + 60. Suppose 0 = 4*a + r, -2*f - a = a - 122. Is f less than or equal to 64?
False
Let s be (-4)/(8/(-6)) + 7 - 0. Suppose 4*g = -13 - 3, 0 = 2*q + 3*g. Let p be q/10 - s/(-25). Is 1/43 less than or