Let p be x(-9). Which is smaller: p or -1/276?
p
Let g be (-2)/(8/(-36)*-3). Let x be (-38)/g*(-15)/10. Let c(n) = 2*n**3 - 31*n**2 + 12*n + 25. Let l be c(15). Which is smaller: l or x?
l
Let r be 1*(0 - (1 + -2)). Let a = 45 - 44. Let w = r + a. Are 3 and w equal?
False
Suppose -13 - 1 = -7*l. Let o = l - 3. Which is smaller: -4 or o?
-4
Let h(s) = s**3 - 2*s**2 - s - 56. Let z be h(0). Let d be 4*(-4)/z + (-5)/(-7). Is d equal to -1/16?
False
Let a(s) = -s**3 + 11*s**2 - 12*s - 1. Let q = -23 + 33. Let j be a(q). Which is bigger: j or -23?
j
Let u = 1/29 + 25/116. Which is smaller: u or 0.71?
u
Let p be 65/4 - 7/28. Suppose 0*g = g - p. Let t = g + -17. Which is greater: 0 or t?
0
Let x(j) = -j**2 - 30*j + 9. Let s be x(-16). Is 1 bigger than s?
False
Let q = 14.96 + -17.66. Which is smaller: 0 or q?
q
Suppose -6*o = -h - 3*o + 30, -h = -o - 24. Let w be 69/h + -1 + -2. Suppose z + 3*q + 13 = 0, 2*z + 2*q = -0 - 10. Which is greater: w or z?
w
Suppose 4*r + 4*g + 2 = 10, -3*r + 3*g = -6. Let i be (-2)/(-2 - (-5)/r). Let v = 149 + -153. Is v at least as big as i?
True
Let a(w) = 4*w + 14. Let b be a(-3). Let i be 2 + (b/8 - (-36)/(-24)). Is 0 at least as big as i?
False
Suppose 3*f = -5*c - 5, -6*f + 1 = -2*f - c. Suppose -j - 9 = -5*l - f, -3 = j - 3*l. Which is greater: 5 or j?
j
Let v be (2 - 8/10)/(6/135). Is 34 > v?
True
Let x(t) = -t**3 - 8*t**2 - 5*t - 6. Let o be ((-54)/(-24))/(6/(-16)). Let r be x(o). Which is smaller: r or -49?
-49
Suppose -2 + 10 = 4*j. Suppose r - 26 = j*i, -2*r + 0*r = -3*i - 41. Which is greater: i or -19/2?
-19/2
Let n = 293 - 291.65. Is n < -1?
False
Suppose -30 = -5*u + 3*u. Let y be 2/((-24)/u)*16. Let n be 4/(-10) - (-132)/y. Does n = -9?
False
Let p = -40 + 73. Which is smaller: p or 21?
21
Suppose m - 117 = -0*m - 4*p, -8 = 2*p. Let k = 7393 + -7259. Is k != m?
True
Let w = -27 - -42. Let b = -7 + w. Let c = b + -6. Which is smaller: 0 or c?
0
Suppose -3*g + 7 = n, -23 = 6*n - 5*n - 3*g. Let m be 0 - 0 - (7 - -2). Is m greater than or equal to n?
False
Let b = 424 - 198. Suppose -40 = -14*g + b. Is g less than or equal to 17?
False
Let l be (6/(-11222))/(3 - 18/4). Let q = 22053806278 - 9033305212898710/409603. Let j = l - q. Which is smaller: j or 0?
0
Let p be 0 + -2*(160 + -9). Is p <= -304?
False
Let r = -2355/16 - -147. Suppose -a + 0 = 1. Let k be ((-16)/4 - a) + 3. Which is smaller: k or r?
r
Let c be (-2)/(-8) + (-35)/(-4). Suppose 0 = -3*k - a - 7, -5*k - 3*a = c + 4. Let u be k/7*(-9)/(-27). Is 0 less than u?
False
Let u(v) = -v**3 + 22*v**2 - 12*v - 17. Let d be u(21). Suppose 3*g + d - 28 = 0. Which is smaller: -49 or g?
-49
Let q(y) = y**3 + 5*y**2 - 9*y - 4. Let t be q(-6). Let k = t + -11. Suppose -k*m + 18 = -5*m - 4*b, -12 = 4*b. Is -3 greater than or equal to m?
True
Let d be ((-12)/(-3) - 2) + 2. Suppose 5*t - 24 = d*t. Suppose -3*k + 7*k = t. Which is smaller: k or 7?
k
Let a = -202 - -203. Is 4/251 <= a?
True
Suppose o - 4*f = 22, -4*o - f + 32 = -3*f. Let c be 4/o - (-8)/(-3). Let j be c*((-3 - -2) + 3). Are -4 and j non-equal?
False
Let s = -34/115 + -44863/345. Is -131 greater than s?
False
Let l = 6 - 6. Suppose l = -2*x + 4 - 0. Let u be (x + 0)/(-5 - -1). Which is smaller: 2/7 or u?
u
Let y = 254 - 256. Which is smaller: y or -7?
-7
Let f(l) = l**2 + 18 + 24 - 22 + 6*l. Let z be f(-8). Which is greater: z or 37?
37
Let v be 18/(-24) + 44/(-112). Let d = 86/63 + v. Which is smaller: -0.02 or d?
-0.02
Suppose 18*z - 1692 = 1008. Is z at least as big as 150?
True
Let y be (-6)/(-16) - 3432/13248. Which is bigger: y or 0?
y
Let x = -33 + 32. Let c be (x + 0)/((-140)/240). Which is smaller: 2 or c?
c
Let l(u) = -u**3 + 2*u - 3. Let z be l(0). Let v be z - (-18)/(-7)*-1. Let h be 4/(-14) + (-5)/7. Is v less than h?
False
Suppose -12 = -3*y + 63. Suppose 5*b = -5*t + 3*b, 5*b = -y. Which is smaller: 17 or t?
t
Let w(b) = b**2 - 7*b - 29. Let g be w(10). Which is bigger: g or -7/17?
g
Let l = -11 + 2. Let h be 28/(-10)*(-5)/2. Suppose 36 + 27 = -h*x. Is l greater than x?
False
Let a = -6.798 + -0.002. Let h = 2.9 + a. Let b = h - -3. Which is smaller: b or -1?
-1
Let p = -7.17 + 0.17. Is p smaller than -3/2?
True
Suppose 0*x - 2*x = -42. Let u be ((-20)/x)/(((-96)/18)/(-8)). Is -2 >= u?
False
Let b be 5*(1 + 3/(-5)). Suppose 3*u - 23 = -5*t, 5 = b*t - u - 2. Let a be 4 - (t + (-4 - -3)). Is a less than or equal to 4?
True
Let z = 6 + -4. Let w be 18/61 + 2/16*0. Let q = 356/793 - w. Which is greater: q or z?
z
Suppose 0 = -11*l + 4*l - 7. Is l at most 7/40?
True
Let g be (-4 - 0)/4 + 0. Let t = -4.9 - 0.1. Let p = -7 - t. Which is smaller: g or p?
p
Let j = -275 + 290. Let z(t) = t**3 - 8*t**2 + 10*t - 6. Let x be z(7). Is x at least j?
True
Let g be (-19)/((-57)/42)*2/(-12). Which is bigger: 3 or g?
3
Suppose -j - 2*a - 6 = 1, 3*a = -4*j - 43. Let r(g) = -18*g + 5. Let h be r(10). Let l be (-2)/4 - h/(-14). Are l and j nonequal?
False
Let j be 3/((-6)/10*(-15)/6). Suppose -3*t + 5 + 1 = 0. Let k be (j + t)*(-21)/91. Which is smaller: k or -1?
-1
Let g = 6/29 - 988/4495. Is 1 >= g?
True
Let x be ((-10)/24)/(60/(-168)). Let b = -2 - -3. Which is smaller: b or x?
b
Suppose 4*i - 3*j = j + 1508, -i - j + 375 = 0. Is i at most as big as 377?
True
Suppose 21*l = -6461 + 25382. Is 901 greater than or equal to l?
True
Let v be (-855)/(-10)*(-21)/(-18). Let p = 99 - v. Let y = -192 + 1726/9. Which is bigger: p or y?
y
Let b = 14.6 - 13. Which is bigger: 5 or b?
5
Let k = -30 - -36. Suppose k*t - 4*t = 0. Let x be (-2)/5 + (-18)/(-70). Which is greater: x or t?
t
Let c = -13 + 19. Let j = -390 + 438.2. Let u = j - 48. Which is smaller: c or u?
u
Let a = -1643011/161 + 10205. Which is smaller: -1 or a?
-1
Let x = 8 - 16. Let m(p) = -p**2 - 11*p - 18. Let r be m(x). Let g(y) = -y + 18. Let u be g(r). Which is greater: 11 or u?
u
Let k(o) = -6*o. Let u be k(1). Let f = -3 - u. Suppose f*y + 32 = -y. Which is bigger: y or -13/2?
-13/2
Let g = 45 - 46. Let j be (-8)/(-36) - g/9*-11. Is 2 != j?
True
Let g = 3 - 2. Let f be (g + 2)*2/(-6). Let h be 847/605 + (-31)/15. Which is greater: f or h?
h
Let k(r) = r - 2. Let h be k(9). Suppose l = 3*n - h, 3*n + 2*n - 2*l = 13. Suppose n = -5*u + 6. Which is smaller: u or -2?
-2
Let r be 12 - (-1 - -9) - (159 + 2). Is -158 < r?
True
Suppose 0 = 5*m - a + 40, m - 2*a + 13 + 4 = 0. Let n = 71 + -66. Let j be 4/20*n - 0. Is j bigger than m?
True
Let a = -56 - -84. Suppose 0 = -3*v + 14 - 2, a = -5*b + 2*v. Do -7 and b have different values?
True
Let i be (6/4 + -1)/(8/(-16)). Let w be (-6)/3 + (-54)/(-33). Which is smaller: i or w?
i
Let t be -3 + (-1)/4 + 70/24. Suppose 3*o - 3*i = 9 + 24, 5 = 5*o + 5*i. Which is smaller: o or t?
t
Suppose -5*o + 5 = 0, 5*o + 9 = -2*a + 18. Suppose a*s + 2*h + 0*h - 2 = 0, 0 = -3*s + 4*h + 31. Which is smaller: s or 2?
2
Let z be 1/1*(-9)/(-18)*542. Let x = z - 194. Is x at least as big as 76?
True
Let l = -13505/6 - -2260. Let n(f) = f**2 - 16*f - 122. Let i be n(-6). Is l greater than i?
False
Let s = 1 - 4. Let m(d) = 0*d + 1 - 2*d**2 + d + 3*d**3 + 2*d - 4*d**3. Let q be m(s). Is q > 1?
False
Let p be (-16)/104*-5*(-3)/(-5). Suppose 4*r + a - 58 = -r, r + 5*a - 26 = 0. Suppose 7*y = 3*v + 3*y + 13, -3*y + r = -v. Is p equal to v?
False
Let g = 154.8 + -154. Is 3 < g?
False
Let t = -3270/1043 + 19752560/9387. Let u = t + -2098. Is 4 bigger than u?
True
Let a = -532 - -478. Are a and -56 equal?
False
Let q = 34.4 - 34.1. Is -15.3 less than q?
True
Let j = 13 - 14. Let v = j + -1. Are -5/4 and v unequal?
True
Suppose 4*d = 4*k + 6*d - 30, -2*k + 5*d - 15 = 0. Suppose -j + 6 = k. Let r be (j*-7)/(-20 + 22). Which is smaller: -5 or r?
-5
Let c(d) = d**2 + 3*d - 7. Suppose -5*s - 4 = -4*s. Let b be c(s). Let v be b + 6*(-1)/2. Which is bigger: v or -8?
v
Let i be 5 + 5/(15/(-9)). Suppose -i*a + 6 = -0*a. Let r be ((-6)/28)/(a/4). Which is bigger: 1 or r?
1
Suppose 5*p + 16938 = 6*p. Let j = p + -474185/28. Let g = 18/7 - j. Which is smaller: g or 0?
g
Let l = -97 - -133. Let a = l - 35.98. Which is smaller: a or -2?
-2
Suppose 104 = 12*m + 68. Which is smaller: 0 or m?
0
Suppose 12311*k = 12319*k - 6880. Is k greater than or equal to 859?
True
Let k = -12.2 + -6.8. Let s = k + 4. Does -1 = s?
False
Let c be (2/16 + 27/(-24))