 7*y. Which is bigger: u or -459?
-459
Let i be (-26)/(-8) + (-1)/4. Let o be 15/(0 - i - 1). Which is smaller: -3 or o?
o
Let y be (15/12)/((-2)/16). Let s = 17 + y. Let z = s + -10. Is z equal to -3?
True
Suppose -5*w = 20 - 25. Suppose -w = -t + 1. Let q be (-4)/78*(-1 - t). Which is smaller: 0 or q?
0
Suppose 5*w - 70 = -3*a, -2*a = 3*w - 4*w + 14. Let z(f) = f**2 + 18*f + 3. Let v be z(-18). Suppose -w - 3 = -2*y - v*b, 3*y = b - 2. Which is greater: 3 or y?
3
Let n(y) = -6*y + 163. Let a be n(28). Let p(s) = -s - 5. Let b be p(4). Let q = b - -5. Is a at least q?
False
Let g be (12/(-1425))/(6/15). Let q = 4/95 + g. Is 1 <= q?
False
Let j(k) = -2*k**3 - k**2 + 4*k + 3. Let s be j(-2). Suppose 0 = -4*a + s*a + 24. Let r be a/40 - (-12)/10. Is -1/13 at least as big as r?
False
Let x = -36301/2 - -17798. Is x greater than -354?
True
Let u be -2*4 - (-15)/5. Let c(b) = b**3 + 4*b**2 - 8*b - 10. Let r be c(u). Does 2 = r?
False
Let q(h) = -11 + 2*h - 9 - 15. Let s be q(0). Let v = s + 107/3. Which is smaller: v or 17?
v
Suppose 3*j + 3 = 12. Suppose 4*z = 5*c, -5*c + c = 3*z - 31. Let r = 0 + c. Which is smaller: j or r?
j
Suppose 7*g - 13*g + 24 = 0. Let w be g/(-36)*3 - (-206)/6. Is w != 33?
True
Let w(t) = 7*t + 7 + 7*t**2 + 1 - t - t**3. Let o(r) = -r**3 + 7*r**2 - 8*r - 8. Let q be o(4). Let c be w(q). Which is greater: c or -7?
-7
Suppose 5*f = 2*n - 275, -3*f - 5*n - 191 = -n. Let q be (6/(-9))/(1/f). Is 40 greater than q?
True
Let l be 2/6 - (-140)/(-15). Let s = l + -1. Let x = 7 + s. Is x at most as big as -3?
True
Let z be 1/3 - 1/15. Let s be (-129)/12 + 28/16 + -2. Let v(x) = -9*x - 100. Let l be v(s). Are z and l equal?
False
Let v(t) = t - 2. Let m be (4/2)/(-1) - -2. Let l be v(m). Let k = -25/6 + 5/2. Are k and l nonequal?
True
Let v be 1*1*1/1. Let g = -35 + 35. Let r be g - 3/(-2)*2. Which is smaller: r or v?
v
Let t = -56 + 84. Let q be (8/7)/(8/t). Suppose 4*a - 2*p + q = 0, -5*p + 2 = -4*p. Is a not equal to 2/9?
True
Let g = 1.3 + -0.5. Let c = -0.78 - -1.88. Let b = g - c. Is b at least -2?
True
Let m = -4.86 + -3.14. Which is smaller: m or -1?
m
Let s = 11557 + -4068061/352. Which is smaller: s or -1?
-1
Let r = 528929 - 507771949/960. Let z = 3/64 + r. Are 1 and z equal?
False
Let o(i) = -2*i**3 - 4*i**2 - 4*i - 3. Let p be o(-2). Suppose -d = -2*d + p. Suppose 33 = -d*z - 22. Which is greater: z or 2/5?
2/5
Let o be 15/21*(-16)/40. Which is bigger: o or 3/5?
3/5
Let n be (1 + (-1)/2)/((-13)/52). Let j be (-23)/n + 18/36. Is j > 10?
True
Let n = -5 - -24. Let f = 0.013 + -0.013. Which is smaller: n or f?
f
Suppose 0 = 4*u - 11 - 1. Suppose p - u*k + 8*k = -21, 0 = -3*p - 3*k - 27. Let y = -19 - -12. Which is smaller: y or p?
y
Let p be 0 + (-3)/3 + 1932. Let a = 1020 - p. Let t = a + 4539/5. Which is smaller: t or -3?
t
Let o be 5*1 + 91744/(-18377). Which is bigger: -1 or o?
o
Let k = 202 + -124. Let j = 80 - k. Which is smaller: j or -0.04?
-0.04
Let z = 647.1 - 647. Is -2/265 not equal to z?
True
Suppose 0 = -3*a - 41 + 116. Suppose -3*n + k = -a, -k + 10 = 2*n - 0*k. Suppose -n = -3*r - 4. Which is smaller: r or 2?
r
Let q(i) = 9*i**2 - 10. Let o(f) = 8*f**2 - 9. Let w(c) = 7*o(c) - 6*q(c). Let d be w(2). Suppose -d*j + 11 = 41. Which is smaller: j or -8?
-8
Let n be ((-144)/30)/(1/(-2)*3). Which is smaller: n or 0?
0
Let r be 35 + (-1 + (-2 - -1) - 1). Let u be r/20 + 4/(-2). Which is bigger: u or -1?
u
Suppose -3*f + 0 = 3. Suppose 2*g - 199 = -s, 0*s - 3*s = 5*g - 500. Let x = -96 + g. Which is smaller: f or x?
f
Let s = 2 - 0. Let u be -2 - ((s - 3) + -3). Suppose 5*x + 3 = -u. Which is bigger: x or -10?
x
Let y = 18.993 - -0.007. Let m = 32 + -13. Let s = m - y. Which is bigger: 0.3 or s?
0.3
Suppose -4*s + 3896 = -4008. Let j be (-5192124)/2628 + (-2)/6. Let c = s + j. Is c less than 0?
True
Suppose 4*m + 4*k = 8, 3*k = 4 + 2. Suppose -5*n + 0 + 10 = m. Suppose -f + 13 = 3*y - 0*f, -n*y - 5*f = 13. Are 4 and y unequal?
True
Let z be 2 + 5930/(-4095) + 4/(-18). Let l = -1602/1547 + z. Which is greater: -2 or l?
l
Let y = -165 - -170. Is 5 less than or equal to y?
True
Let k = 1156 + -38144/33. Which is bigger: k or -1?
k
Let u(y) = y**2 - 8*y - 2. Let k be u(9). Let q be (-2)/(k/((-21)/(-6))). Suppose 0 = 2*m - 0*m - 2. Which is bigger: m or q?
m
Suppose 3*d - 240 = f, -2*f - 140 = -2*d + 20. Suppose -4*v - 33 = p, -3*p - 2*p - 3*v - d = 0. Is -13 equal to p?
True
Let s(b) = 3*b**2 + 4*b + 6. Let x(c) = 13*c**2 + 15*c + 25. Let k(l) = -9*s(l) + 2*x(l). Let z = -1236 + 1228. Let d be k(z). Which is greater: d or -21?
d
Suppose 4*z - z = 15. Let w = 24 - z. Is -1/2 equal to w?
False
Let t = 5373803317/1062 + -5060078. Let m = t - 1/118. Is m > 0?
True
Suppose -5 - 7 = 4*i, i + 235 = 2*d. Let c be -6*(-4)/d*1. Suppose 0 = 2*k + 2*s + 10, k = -3*s - 14 - 1. Which is greater: c or k?
c
Let x = 336.9 + -337. Is 0.415 not equal to x?
True
Let q = -142 + 145. Let t = 20 + -12. Suppose -13 = -q*w + t. Is w >= 6?
True
Let u = -0.314 - 0.046. Let w = u - 55.64. Which is smaller: -1 or w?
w
Suppose i + 13 = r, 2*i + 2*i = 5*r - 62. Suppose -4*k + 6 = -r*k. Which is smaller: k or 1.3?
k
Let j = -13.62 + -1.28. Let r = 15 + j. Let q = 9 + -11. Which is bigger: r or q?
r
Let p be (-36)/27 + (-59)/6 - -6. Is p greater than or equal to -4?
False
Let u = 1317 + -1316.7. Let p = 2138/105 - 344/15. Does u = p?
False
Suppose -2*c + 0*t - 3*t = -20, 4*t - 10 = -c. Is 22 less than c?
False
Suppose 2*a + 0*a = 4. Suppose 0 = a*p + x + 25, -p + 4*p - 3*x + 15 = 0. Let b be (p/12 - -2)*-1. Which is greater: -1 or b?
-1
Suppose 5*p - 4*f - 24 = 0, 0 = -f + 4*f - 12. Suppose 4*r - 10 + 34 = 4*v, -4*v + p = 0. Which is bigger: r or -3?
-3
Let v(n) = -20*n + 30. Let f be v(-18). Let j be f/(-134) - (8 + -11). Which is smaller: j or 0?
0
Suppose q = -5*r - 237, -2*q = 1 - 7. Let x = r - -82. Which is bigger: x or 33?
x
Suppose y - 4*p + 0*p = -15, -5*p = -4*y - 16. Is -1/334 smaller than y?
True
Suppose -50 = -8*d + 3*d. Let o be 1 - (-2 - (-55)/d). Which is greater: o or -4?
o
Let p be 16/(-6)*(-15)/4. Suppose -45 = 4*a + 5*m, a = -5*m - p - 5. Let q = -92/9 - a. Is 0 bigger than q?
True
Let a be -4 - -1 - (79 - (4 + -3)). Which is bigger: a or -82?
a
Let a(g) = 3*g**2 + 7*g. Let m = -11 - -6. Let l be a(m). Suppose -19*v = -24*v + l. Which is smaller: v or 9?
v
Suppose 5*h - 10 = -3*y, y = 4*y. Let m be 6/(-3)*1 + 12. Let j be (8/m)/((-3)/(-15)). Do j and h have the same value?
False
Let d(x) = -x**3 - 6*x**2 + 7*x + 2. Let r be d(-7). Let o(u) = -u**2 + 11*u**3 + 2*u**2 + u - u**r. Let v be o(1). Is 11 not equal to v?
True
Let z = 15 + -10. Suppose z*g - 21 = 49. Let a = 34 - 19. Does g = a?
False
Let j = 29464036322/759 + -38819553. Let c = j + 130/23. Which is greater: 1 or c?
1
Let v(o) = 2 - 3*o - 2 + 5*o + 1. Let b be v(1). Suppose 12*n = -2*z + 7*n + 15, b*z - n + 20 = 0. Are z and -2 nonequal?
True
Let b = -1.3 + 1. Let y = 2.1 + -1.8. Let x = 0.4 - y. Is b at least x?
False
Let w = -23.96 + -0.04. Let x = -8 + 31. Let r = w + x. Which is greater: r or 0.7?
0.7
Let g(j) = -22*j**2 + 16*j - 13. Let h be g(1). Do h and -15 have the same value?
False
Let c be -9*6/(-9) + -3. Suppose -d - 10 = -c*d. Is 5 greater than d?
False
Let v = 3476.19 - 3442. Let i = v - 34. Is i greater than -2?
True
Let j = -858 - -80649/94. Which is smaller: -1 or j?
-1
Let d(x) = x**3 + 3*x**2 + 3*x + 2. Let f be d(-2). Let o = 2.97 - 3. Let p = 0.13 + o. Is f greater than p?
False
Let n = 0.237 + 16.363. Which is smaller: 1 or n?
1
Let x be (0 + -3)/1 - -3. Let y be (-2)/9 - (-26)/198. Which is bigger: x or y?
x
Let y = -71 - -43. Let w(o) = o + 29. Let i be w(y). Does 3/13 = i?
False
Suppose 30*x = -32*x + 372. Suppose -5 = -2*u + 3. Which is greater: u or x?
x
Let d be ((-9)/(-6))/(1/2). Let x(c) = 2*c**2 - 3*c + 3. Suppose -8*h = -2*h - 12. Let a be x(h). Which is greater: a or d?
a
Let j = -136 - -192. Let u be (48/j)/(1/7). Which is smaller: 4 or u?
4
Suppose -387 = 3*c - 276. Is -23 at least c?
True
Let r be (8/(-12))/(-7 - (-95)/15). Which is smaller: -8/431 or r?
-8/431
Let z be 260/22 + (-28)/(-154). Suppose 4*w + z = 60. Which is smaller: w or 13?
w
Let g = -84.3 + 84.4. Let z(n) = n**3 - 4*n**2 + 4*n - 3. Suppose -4*v + 9 = -7. Let b be z