?
z
Suppose s - 11 = -4*k, -178 + 169 = 3*k - 5*s. Which is smaller: 678 or k?
k
Let i be 2 + (-15)/9 + 384/(-18). Let w be -1 - (9/i + 26/77). Which is smaller: -2 or w?
-2
Suppose -5*y + a = -70, -4*a + 2 = -y - 3. Let o be (6/y)/((-28)/120). Suppose 2*q + 15 = -5*u, 0*q + 3*q = 0. Is u smaller than o?
True
Let t = -0.026 + -0.031. Let x = t + 0.046. Which is bigger: x or 1?
1
Let v(u) = u**2 + 17*u + 17. Let f be v(-17). Suppose -f*z = -20*z - 198. Which is bigger: -65 or z?
-65
Let z = -3.44 + 3.2. Let x = z - 0.76. Suppose 2*n + 2*n = 12. Which is bigger: n or x?
n
Let w = -1321/3 + 426. Let n = w - -72/5. Is n not equal to 0?
True
Let b = -1 - -1. Suppose 0 = -d + 4*p + 16, 45 = 6*d - 2*d + 3*p. Suppose 4*y + 0 = -d. Is b < y?
False
Let w be (-4)/(-30) - 523/(-15). Let c = w + -41. Are c and 0 equal?
False
Let g = 77 + -115. Let z = g + 68. Let a = -29.9 + z. Which is greater: 1/12 or a?
a
Let m(v) = v**3 - 20*v**2 + 36*v - 37. Let i be m(18). Do -35 and i have the same value?
False
Let y = 29 + -34. Let c(j) = j + 17. Let p be c(y). Let t be 0/((-4)/p*3). Which is greater: t or -1/15?
t
Let r = 1157 + -1157. Which is smaller: r or 70?
r
Suppose 0 = 2*d - 2, -4*x + 3 = 6*d - 3*d. Is -1/131 at most as big as x?
True
Let r = -11122/15 - -742. Which is greater: r or 2?
2
Let y = -267235/64 - -4175. Is y >= -1?
True
Let h = -67 + 68. Is h >= 18/85?
True
Let b be 3 + (-5 - (-4207)/2100). Is b > 0?
True
Let f = -277 - -413. Let k be (8/f)/(1/(-3)). Suppose 4*q - 2*q = 8, 4 = 3*b + q. Which is greater: b or k?
b
Let p be (-1 + (7 - 5) - 2)/(-1). Which is smaller: p or 12/109?
12/109
Let m(z) = -30*z**2. Let i be m(-2). Is i at most as big as -120?
True
Let k = 69 - 66. Is 1 != k?
True
Let j(o) = -8*o**2 - 14*o - 27. Let z be j(-3). Which is bigger: z or -59?
z
Suppose -3*k + x = -6, 3*k + 3*x - 9 = 5*x. Suppose -s - 5 = 2*i, s + 3 = 8. Let h be 20/(-24)*1/i. Which is bigger: h or k?
k
Let o be 8/10 - (1 + 0). Let x = -16.5 + 12.5. Let i = x + 3.5. Is o at most i?
False
Let l(o) = 3*o**2 + 6*o + 7. Let p be ((-15)/(-6) + -1)*-4. Let b be l(p). Let s = b + -319/4. Which is greater: -1 or s?
s
Let q be 16/(-24)*(-1 + 95/98). Which is smaller: q or 1?
q
Let t = -19 - -19.25. Let o = -1.25 + t. Let l = o + 0.9. Which is smaller: l or -1/31?
l
Let t = 6638/11 + -602. Is 1 equal to t?
False
Let g = 78 - 489. Which is smaller: -410 or g?
g
Let o be 6/30 + 818/10. Let s be 2/(-2)*6/2. Let u be 80/60*s/o. Which is smaller: 1/4 or u?
u
Let c = 11 + -5. Let a = 77.3 - 77.34. Is a at least as big as c?
False
Let m be (-1)/(-2)*-4 + (-719)/(-358). Let z = 4365/8234 - m. Which is smaller: z or -0.1?
-0.1
Let d be (-2)/(-13)*(4 - 55/11). Suppose -3*g - 5*h - 3 = -4*g, 0 = 3*h. Do d and g have different values?
True
Let g be (-702)/3150 + -2 + 30/14. Is g smaller than 1?
True
Let p be 3 - (-2)/(6/3). Let w be 121/132 + (-1)/p. Is w bigger than 1?
False
Let b = 488 - 440. Is b greater than 0?
True
Let x = -2680 - -2790. Which is greater: -0.2 or x?
x
Let v = -0.107 - -0.207. Let i be (1*-22)/(-1 + -1). Let g = 1 + i. Which is bigger: g or v?
g
Suppose -12 = -6*o + 6. Let m be 25 - (o - 3) - -2. Suppose -m - 25 = -4*t. Is 13 less than or equal to t?
True
Let s be ((-2)/1 - 28/(-18))/(-376 - -378). Let k = 1.75 - 3.8. Let f = 2 + k. Which is bigger: s or f?
f
Let x = -324 + 323.9. Let z = 38.048 + -0.048. Which is greater: x or z?
z
Let w be ((-63)/(-65) + -1)/((-20)/225). Is w != 1?
True
Let y = -0.0577 + 54.0577. Which is bigger: -5 or y?
y
Let c = 111.2 - 117.2. Which is bigger: -0.06 or c?
-0.06
Let m(z) = z**3 - 6*z**2 - z + 10. Let l be m(6). Suppose l + 0 = v. Suppose -4*t = -3*i, v*t = i + 5*t. Is i at most as big as -1/3?
False
Let a(u) = 3*u. Let s be a(-1). Let x be 4/6 - 4/(-12) - 1. Which is bigger: s or x?
x
Let s be 146/(-6) + 15/(-9). Let m = s - -22. Is m < -1/7?
True
Let b(k) = 2*k + 12. Let d be b(-11). Let c be (6/10)/(2/(-10)). Let m be 56/(-6) - c/9. Are m and d nonequal?
True
Suppose -9*k + 36 + 9 = 0. Which is smaller: k or 13/3?
13/3
Let x(g) = -11*g**3 + g**2 - g - 1. Let o be x(-3). Let t be (6/(-8))/((-33)/o). Is -2/3 at most as big as t?
True
Let q(o) = o**2 + 15*o + 13. Let m be q(-16). Suppose -m + 6 = k. Is -23 less than k?
False
Suppose 0 = -8*b + 3*b + 2*h + 4, -9 = 3*b - 5*h. Let s = b + -3. Let y be 140/(-36) + (-2 - -6). Which is smaller: s or y?
s
Let a(v) = 2*v - 8. Let w = 27 - 22. Let d be a(w). Suppose d*n + 2 + 0 = 0. Does 4/13 = n?
False
Let l be (4130/(-6234450))/((-2)/14). Let g = l - 1/7005. Is g equal to 0?
False
Let w be 33/86*(6 - (-171)/(-27)). Is w smaller than 1?
True
Let a = -4831054 - -159396727/33. Let z = -850 - a. Let k = z + -43/429. Is 0 at least k?
False
Let s = 0.132 - 0.172. Let y = s - -3.94. Is y greater than 1?
True
Suppose 2*d = -6*d + 40. Suppose 2*w + 3*n = -w + 27, d*n - 9 = 4*w. Which is bigger: w or 7?
7
Let l be (-1 + 3 - -1)/(88/(-24)). Which is smaller: l or 0.01?
l
Let z(m) = -2*m**3 + 2*m**2 + 4*m + 2. Let b(r) = r + 3. Let a be b(-5). Let g be z(a). Let f = 4 - g. Which is greater: 0 or f?
0
Suppose -483*j = -484*j + 7. Are 15 and j unequal?
True
Let g(l) = -l + 5. Let p be g(6). Which is smaller: 1/302 or p?
p
Let a = -14 + 14.8. Let g = a - 1. Is 57 >= g?
True
Let n = -3.49 + 4.49. Which is bigger: 5/6 or n?
n
Let c = -0.3 - -0.3. Let a = -102 + 90. Let v = a - -10. Is v > c?
False
Let d(s) = -s - 11. Let j be d(-7). Let z = 4 + j. Suppose 0 = 2*w - 3 + 13, z = 3*l - 2*w - 1. Do -3 and l have different values?
False
Let a = -678 - -677. Is -3/55 at most a?
False
Let g = 0.24 + -0.14. Let l = 9 - 8.9. Let m = -1.1 + l. Which is greater: m or g?
g
Suppose -l - 4*p = -p + 10, -l = p + 14. Is -11 >= l?
True
Let v(w) = -w**2 - 6*w - 2. Let n be v(-5). Suppose l = -n*l + 4. Let i = 79 + -82. Which is smaller: l or i?
i
Let n be ((-12)/16)/(4/16). Let j be n + 2 + -6 + 4. Suppose 0*k - 2*x - 30 = 4*k, -4*k - 45 = 5*x. Which is smaller: k or j?
k
Suppose 0*l + 14 = -2*d + 3*l, 20 = 5*l. Which is greater: d or 1/368?
1/368
Let h = -192 + 190. Let n = -78 - -71.1. Let k = 0.1 - n. Which is bigger: k or h?
k
Suppose -3*t + 55 = 2*t. Let n be (-14)/(-4) + t/22. Let y(u) = -u**3 + 3*u**2 + 2*u. Let d be y(n). Are -7 and d non-equal?
True
Suppose -5*u + 14 = 4. Let o(t) = -t**2 + 5*t - 3. Let z be o(u). Suppose -z*a + 2*k + 3 = -2*a, 0 = -4*a - 2*k + 12. Which is smaller: 1/4 or a?
1/4
Let p be 1/2*(21 + -19). Which is greater: 2/273 or p?
p
Let m = 7.009 + -0.009. Which is greater: m or 0.9?
m
Suppose 5*j = j - 376. Suppose -3*s - 99 = d, -20*s + 15*s - 10 = 0. Which is bigger: j or d?
d
Let j = -2737 - -2141. Is -595 smaller than j?
False
Suppose -299 = -o - 394. Does o = -94?
False
Let w be (1 - (-27)/(-6))*(3 + -1). Which is smaller: w or 10?
w
Suppose 17*l - 20*l = -3. Let a be 9*8/(-66)*l. Is a >= -1?
False
Let q = 19004 - 21531530/1133. Do -2/5 and q have the same value?
False
Let h be 1/(-2)*-22*(-8)/(-10). Let z be 4 + ((-2)/2 - -5). Is h at most as big as z?
False
Let u(l) = -l**3 + 7*l**2 + 15*l + 12. Let h be u(9). Is -27/2 equal to h?
False
Suppose -2*d + 12 = d. Suppose -d*b = b - 5. Let f be ((-8)/(-10) + -1)*(-45)/27. Which is greater: f or b?
b
Let b = 12 - 12. Let n be b/((1 - 2) + 0). Let y be ((-20)/(-4) + -3)*5/16. Which is bigger: n or y?
y
Let l = 6028 - 1042847/173. Let v = l - 1527/1730. Suppose 1 = 3*q + 4. Which is bigger: q or v?
v
Suppose 0 = -2*i - i - 21. Let w = i + 8. Suppose -5*z - 3*s + 27 = -0*s, 4*s = -4*z + 28. Is w at most z?
True
Let w = 200/83 - 13219/5727. Does -1 = w?
False
Suppose -28*k = -32*k - 12. Let i be (-82)/26 + (-4)/(-26). Let r be (1 + i)*3/6. Which is smaller: r or k?
k
Let m = 87.08 - 21.13. Let d = -66 + m. Is 2/7 at most d?
False
Let m be 2 + 3 + 4 + (-237)/27. Let y = 4 + -3. Suppose 0 = -g - 0*g - y. Is g at most as big as m?
True
Let x = -24 - -109. Let c be 42*5/((-25)/(-10)). Which is smaller: c or x?
c
Let w be (-2)/(2 + 4*-1). Suppose -m + 5 = 0, 4*m - 11 = -c - 0*m. Let z = c + 9. Which is smaller: z or w?
z
Let n be 96/(-16)*2/2. Let i = n + 2. Let a(d) = -d**3 - d**2 + 1. Let v be a(1). Is i equal to v?
False
Let i be (108/(-10))/(6/(12/(-10))). Which is smaller: 1 or i?
1
Let b = 6.4 + -1.5. Let z = b + -2.9. Let n = -1.3 + 0.