126, o - 4*c - 356 = -2*o. Which is greater: o or -1?
o
Let w(i) = -i - 8. Let z be w(-6). Let r be 123/(-726) - z/11. Let t = 4831/726 + r. Which is smaller: 7 or t?
t
Let d = -0.166 + 0.006. Let q = 0.36 + d. Are q and 22 non-equal?
True
Let s(r) = r**2 + 5*r - 10. Let p = -20 + 13. Let k be s(p). Let h = -0.05 - -3.05. Is h < k?
True
Let s = 392 + -3524/9. Suppose -3*w + 4*h = 17, -2*w + 4 = 4*h - 18. Which is smaller: w or s?
s
Let h be -3 - ((-3732)/936 + (-6)/(-4)). Let n = -2/3 - h. Which is bigger: 2 or n?
2
Let b be (-14)/(-10) + (-4)/10. Let g = 213/305 + -6/61. Let c = 53/80 - g. Is c less than b?
True
Let l = -481 + 519. Which is greater: 37 or l?
l
Let c(o) = -2*o + 3*o**2 + 0 - 1 - o**3 + 5*o + 5. Let h be c(4). Which is smaller: 1/8 or h?
h
Let o = -2312.1 + 2489. Let q = 191 - o. Let v = q - 14. Is 2/3 >= v?
True
Suppose -y + 14 = -24. Let b = -54 + y. Let q be (-90)/b*12/(-9). Which is smaller: q or -9?
-9
Suppose -14*g = -2*g - 240. Let x be g*(33/27 + (-4)/18). Are 20 and x equal?
True
Let r = 13.54 + -16.5. Let k = -0.04 + r. Are 2/5 and k nonequal?
True
Let s = 151/213 - 3/71. Is 3 bigger than s?
True
Let q be (2/(-305))/(6/24). Which is smaller: 1 or q?
q
Let q be (21/(-6) - -3)*-18. Let r be (8/18)/(6/q). Let d = -0.173 - -0.283. Is r at least d?
True
Let a(t) = -t**3 - 16*t**2 - t - 11. Let i be a(-16). Let z = -4 - -7. Suppose -n = -2*n - i*l + 5, z = n + 3*l. Which is bigger: -1 or n?
n
Let k = -53108/7 - -7572. Which is bigger: -16 or k?
k
Let x = -389 + 364.988. Let t = -6 + 5.988. Let r = x - t. Which is smaller: r or 0?
r
Suppose -2*z = -0*z - 38. Suppose -7*o + 2*o + 15 = 0, 0 = 5*k - 2*o - z. Let w = -5 + k. Which is smaller: w or 2/7?
w
Suppose 839 = 4*u + 3*l - 1871, 3*u - 2047 = 5*l. Which is greater: 678 or u?
u
Suppose 6 = -8*k + 6*k. Let m be ((-28)/6)/(k/9). Suppose -24*z = -26*z - m. Which is greater: -8 or z?
z
Let z = -4 + 5. Suppose -38*v = -39*v - 4*m - 17, -2*m = -2*v + 6. Which is bigger: z or v?
z
Let q = -654 - -607. Is q not equal to 0.04?
True
Suppose 3*h = -3*v - 51, -2*v + 11*h - 7*h - 34 = 0. Which is smaller: -55 or v?
-55
Suppose 6 = -b - 6. Let k = 7 + b. Let u = -6 - -4. Are k and u unequal?
True
Suppose 60 = 9*s - 6*s. Let h be ((-5)/s)/((91/8)/(-7)). Let u(g) = -g**3 + 3*g**2 - g + 3. Let t be u(3). Is h equal to t?
False
Let a(t) = -101*t + 707. Let j be a(7). Does -0.02 = j?
False
Let x(a) = a**3 + 15*a**2 + 14*a - 15. Suppose z + 77 - 63 = 0. Let c be x(z). Let i be (14/(-3))/((-2)/(-6)). Is i less than c?
False
Let n = -4/693 - 23/693. Let t be (-2 - -3) + 2404/(-1540). Let b = t + n. Are b and 0 non-equal?
True
Suppose 0 = -35*f + 41*f - 6. Let v(t) = t**3 - 7*t**2 + 8*t - 8. Let a be v(6). Which is smaller: f or a?
f
Let v(c) = -c**2 + c + 3. Let r be v(3). Let o(x) = 6*x + 6. Let z be o(r). Which is greater: -13 or z?
z
Let l = 8800 + -1364007/155. Which is smaller: 0 or l?
l
Suppose -4*t = -3*n - 34, 3*t - 19 = -0*n - n. Is -6 less than t?
True
Let m(l) = -l**2 - 13*l - 4. Let i be m(-14). Let w be (-105)/i + 3/18. Suppose w = -2*g - 10. Is g != -8?
False
Let o = 215 - 214. Which is greater: o or -1/825?
o
Let u be 4/(-6)*-51 - 3. Let z = u + -4. Which is greater: z or 26?
z
Let g be (4 - -20)*(-2)/(-4). Let l(r) = 7*r - 17. Let y be l(4). Which is bigger: y or g?
g
Let q = -1595/19557 + 4/477. Is 0 at most q?
False
Let r be ((-21)/(-4))/(3/(-24)). Let q be ((-4)/(-115))/(r/35). Do q and 1 have the same value?
False
Let s be (-156)/273 + 1 + 24/(-7). Are -13/7 and s equal?
False
Let x(h) = -5*h - 11. Let t(j) = -6*j - 11. Let s(i) = 6*t(i) - 7*x(i). Let o be (-2 + 6)*(-18)/(-8). Let g be s(o). Is 4/3 < g?
True
Let n be 0/((-6)/(-18)*6). Suppose n = -f + 18*f - 153. Let z be 56/6 + (-2)/6. Is f less than z?
False
Let p(o) = -o. Let h = -7 + 5. Let j be p(h). Suppose 4*x - 4*u = -12, -2*x + 5*u = j*x + 16. Which is bigger: x or 0.1?
x
Let g(a) = 2*a**3 + 2*a**2 + 3*a - 3. Let t be g(-3). Let m = t - -47. Which is smaller: -17/7 or m?
-17/7
Let x = 0.6 - 1.6. Let o = -10.53 + 0.53. Which is bigger: o or x?
x
Suppose 0 = -m + 2*y - 31, -43 = m - 0*y + 2*y. Let z = m - -40. Is 3 equal to z?
True
Let j = -304 + 334.8. Let c = -31 + j. Let k = 1 + 1. Which is greater: k or c?
k
Let d = 287 + -288. Which is smaller: -20/19 or d?
-20/19
Suppose -2*s - 4*f + 5*f = 227, 3*s + 333 = 3*f. Is s at least as big as -116?
True
Let g = 2.55 - 2.2. Let i = g + 0.15. Let o = 0.1 + i. Is 0.2 > o?
False
Let c = 192 - 186. Let p be (-11)/(6/(-9)*3). Which is smaller: p or c?
p
Let c = -2.84 - -3.84. Let v(y) = -4*y - 4. Let x = 11 - 16. Let f be v(x). Which is smaller: f or c?
c
Let g = 283 - 379. Which is greater: -98 or g?
g
Let l(h) = -18*h - 15*h - 27*h + 8. Let r be l(4). Let t = 2550/11 + r. Which is greater: 0 or t?
0
Suppose 0 = -4*p - 3*q - 17, -10*p + 5*p - 5*q = 25. Let o be (p + 5)/((-42)/(-35)). Suppose 0 = -c + 5*c - 3*g - 20, 4*g = 2*c - 20. Which is bigger: o or c?
o
Let i = 2783933/247 + -11271. Which is greater: i or 1?
1
Let j(k) = k**3 + 7*k**2 + 6*k + 5. Let q = 26 - 32. Let v be j(q). Do 5 and v have different values?
False
Suppose -3*o + d + 85 = 0, 2*o - 4*d - 68 - 2 = 0. Let y be -5*6/o*-6. Is 6 smaller than y?
True
Let m = 108.7 + -104. Let r = m + -5. Let i = 0.684 + -0.284. Is i smaller than r?
False
Let n = 66 - 134. Which is greater: n or 2/3?
2/3
Let b = -20 - -17. Let h be 1/b - 352/24. Let a = -14 - h. Which is smaller: a or -1?
-1
Let s be 11/33 + 27816/225. Let k = s - 124. Is k at most as big as -1?
False
Let j be (10/(-8))/(14/(-392)). Suppose 0*m - j = -5*m. Is 9 < m?
False
Let f(j) = -j**2 + 12*j + 34. Let l be f(14). Suppose -143 = l*q - 41. Are q and 0.5 nonequal?
True
Let h = 220 - 223. Which is bigger: h or -54/13?
h
Suppose -6 = -2*q - 2. Suppose q = 6*s - 4*s. Is 11/6 at most s?
False
Let b(d) = -d + 6. Suppose 5*q - 40 = -0*q. Let t be b(q). Let c = 82 - 413/5. Which is greater: c or t?
c
Suppose 0 = n + 4*y + 13, -2*y + 0 = -3*n - 11. Let j(o) = 3*o + 8. Let x be j(n). Let u(s) = s**2 + 6*s + 3. Let l be u(x). Is 11 <= l?
False
Suppose -2*g = -2*d - 10, 0*d - g = -4*d - 11. Suppose -6 + 2 = -r. Let q = r + d. Do q and 3 have the same value?
False
Let a = -71 - -49. Let p = a - -22.3. Which is greater: p or -4?
p
Let k = 0.02 + -60.02. Let i = -60.03 - k. Is i greater than 6?
False
Let r = 20 + -77. Is -3 at most as big as r?
False
Let n(g) = -g**3 + 7*g**2 - 8*g + 6. Let x be n(6). Suppose 5*b + t = -14, 3*t - 4 = -3*b - 22. Which is bigger: b or x?
b
Let j be 2/(-1)*(-15)/180*-6. Are j and 3/368 non-equal?
True
Let z(w) = -w + 19. Let i be z(16). Suppose -3*g + g - 8 = 2*y, 0 = i*g + 2*y + 10. Which is smaller: -4 or g?
-4
Let b be 1130/(1 - (-1 - 0)*-3). Which is greater: -564 or b?
-564
Let m = -3.2 - 0.8. Let v = m + 2. Which is smaller: 2 or v?
v
Let i = 270 - 393. Which is bigger: i or -122?
-122
Suppose 15 = 14*c - 41. Suppose -c*z - 16 = -r, 7*z - 4*z = -15. Suppose -4*o + p - 28 = 4*p, 3*p = 2*o - 4. Is o < r?
False
Let l(m) = 2*m + 25. Let r be l(-13). Let u = -137/60 + -587/12. Let z = 51 + u. Is r less than or equal to z?
True
Suppose 3*g + 5 = 2*i, -3*g - 2*i + 3 = -8*g. Suppose -3*n = 5*k - 2, 3*k = 2*k + 5*n - 22. Which is greater: k or g?
g
Let a = -1173.2 - -1173. Which is bigger: a or -0.052?
-0.052
Suppose -5*s - 3*t = 0, t + 0*t = -4*s + 7. Suppose y + s*y - 4 = 0. Let m = -1/9 - -4/27. Which is smaller: m or y?
m
Suppose -2*i + z - 10 = -39, -2*z + 44 = 2*i. Suppose -7*o - 53 = 73. Let a = i + o. Which is greater: a or -2/5?
-2/5
Suppose -t - 12 = 131. Is -144 at most as big as t?
True
Let z = 703 + -699. Let f be ((-3)/(-4))/(1/4). Suppose -3*n - p = -0*n + z, -n + f = -4*p. Which is greater: n or 0.2?
0.2
Let t be 17 - ((10 - 8) + 3). Let j(u) = u**2 + 6*u - 7. Let n be j(-7). Suppose -2*b + 25 + 2 = 3*p, n = -4*p + b + 47. Are t and p equal?
False
Let c = -11012850834/3157 + 150106134/41. Let r = c + -172728. Let l = 40/7 - r. Is l at most as big as 1?
True
Let c(y) = y**2 - 66*y + 122. Let i be c(27). Is i != -931?
False
Let m be 171/63 + (-2)/(-7). Suppose -3*c - g = -6*c - 231, 0 = m*g. Let a be 4/22 + 3/c. Are a and -1 equal?
False
Let q(m) = -m**2 - m + 11. Let r be q(-4). Let g be (-12)/8*(3 + r)*1. Which is greater: g 