or l?
p
Let i be 1*(3/(-6))/((-2)/4). Which is smaller: i or -0.114?
-0.114
Suppose -4*i = 5*t - 19, 0 = -3*i + 2*t - 5 + 25. Suppose -14 = 5*u + i. Which is bigger: -11/4 or u?
-11/4
Let x be (12/(-30))/(24/(-2290)). Which is greater: 39 or x?
39
Let x be 285/(-105) - 4/(-7). Which is greater: x or -2?
-2
Let m = 5320 + -53153/10. Let p = m - 31/10. Which is greater: 3 or p?
3
Suppose -586 = 4*b - 8*b - 5*q, -4*b + 582 = 3*q. Let s be b/60 + 3/((-15)/2). Do 3/2 and s have different values?
True
Let a(n) = -n**3 + 8*n**2 - 2*n + 16. Suppose 0 = -224*q + 220*q + 32. Let p be a(q). Is -6/7 bigger than p?
False
Let d = 244 + -152. Let q = d - 92. Which is smaller: 1/29 or q?
q
Suppose 8 = -5*x - 7, -4*x = -2*k + 16. Let j be (-21 - 3) + 0/3. Let f = j + 26. Is f at least as big as k?
True
Let s = 1007 + -1006.91. Is s bigger than 17?
False
Suppose -2*j + 5*j = -d + 22, -d + 3*j = 2. Let n = d - 3. Let h = 0 - n. Is 1 <= h?
False
Let h = 9.9 + -10.28. Which is smaller: -8/3 or h?
-8/3
Let p = 7631/10 - 762. Let t = 7/6 - p. Suppose 1 = 3*s - 2. Is s > t?
True
Let g = -0.629 - -0.629. Which is smaller: g or 0.25?
g
Let p = 26.019 + -0.019. Let f = -542 + 516.2. Let l = p + f. Are -0.1 and l unequal?
True
Let k be (-5 - (-3 - -2)) + 4 - 23. Which is bigger: k or -30?
k
Suppose 8 = a + 4*w, -6*w + 8 = 3*a - 2*w. Let f be 12/(-42) + (-446)/7. Let v be (1 - (-2)/(-3))*12/f. Is a less than v?
False
Suppose 3*v + 2 - 8 = 0. Suppose -35 = 5*c + 5*a, 5*c + 6 = 5*a + 1. Let p be ((-2)/c)/((-1)/v). Do p and -3 have the same value?
False
Let p(i) = i - 17. Let j be 0/(8 + -4) - -6. Let z be p(j). Is z smaller than -12?
False
Let v = 4148 - 4147. Let p = 5 - 7. Is v at least as big as p?
True
Let v be 7/(28/(-36)) + 8 + -8. Is -19 smaller than v?
True
Let h be 2*2/4 + -16. Suppose 0 = f - 0*f - 5. Let r be 3/f*(-4)/6. Which is smaller: h or r?
h
Let h = -0.06 - 0.14. Let p = -67 - -67.04. Which is smaller: h or p?
h
Let o = 0.8 - 0.65. Let i = -61 + 60.09. Let y = 0.81 + i. Is y < o?
True
Let j(l) = -l**3 + 9*l**2 - l - 3. Let g be j(9). Which is bigger: g or -9?
-9
Let y(v) be the first derivative of -v**3/3 - 4*v**2 + 14*v + 7. Let z be y(-10). Let g be 5*(0 - z/(-135)). Is 3 < g?
False
Let u(z) = -z**2 + 10*z - 9. Suppose 0 = 8*q - 10*q + 18. Let v be u(q). Which is bigger: -11/9 or v?
v
Let o = 31.953 + 0.047. Let d = o + -46. Which is bigger: d or 1/3?
1/3
Let b(l) = -l**3 + 6*l**2 - 4*l. Let n be b(3). Suppose 0 = -2*y - y + n. Let g = 1109 + -5526/5. Which is greater: g or y?
y
Let x(d) be the second derivative of d**5/20 - d**4/12 + 6*d. Let y be x(0). Suppose y = -4*u + 7*u. Is -6/11 greater than or equal to u?
False
Let p be ((-4)/(-6))/((-78)/(-22269)). Is p at least as big as 189?
True
Suppose -1262 = 9*i + 556. Is i <= -201?
True
Suppose b = -b - 2. Let o be 2/(-11) - 136071/(-531135). Let z = -1/185 + o. Is b bigger than z?
False
Suppose 17 = -5*c + 72. Let b(n) = n**3 - 10*n**2 + 10*n - 1. Let i be b(9). Let p(u) = 2*u - 5. Let o be p(i). Is c at most o?
True
Let r(h) = -10*h + 2. Let z be r(0). Suppose 5*o - z = -3*f - 0, 3*o - 7 = 4*f. Do -1/16 and o have different values?
True
Suppose 3*w - 3 = 0, -4 = l - 5*w - 2. Let g = 5 - l. Let u be (-1)/((-7)/4*g). Which is bigger: 2/3 or u?
2/3
Suppose -4*r + 8 = 2*s, 2*r - s = -3*s + 4. Let i(p) = -p**3 + 22*p**2 + 20*p + 45. Let v be i(23). Let a be 4/(v/(-15))*(-2)/(-20). Which is greater: r or a?
r
Let i(x) = x**2 + 2. Let r be i(-3). Suppose -f = 5*p - 6 - r, 5*p - 5*f = 35. Let m = p + -8. Is -3 > m?
True
Suppose 52*g + 17182 = 49422. Is g <= 620?
True
Let h be 10/4 - (-5)/10. Suppose -h*m + 6 - 24 = 0. Which is smaller: m or -5?
m
Suppose -y - 22*h = -25*h + 300, 1145 = -4*y + h. Which is smaller: y or -287?
-287
Let r = 11.3 - 4.3. Let y = -5 + 7. Let a be 1/(2 + -2*y). Which is greater: r or a?
r
Let o = -65 + 68. Suppose -o - 11 = 14*m. Which is smaller: -5/4 or m?
-5/4
Let c(v) = -v**3 + 21*v**2 - 21*v + 14. Let t(h) = h**3 - 5*h**2 + 5*h - 5. Let i be t(5). Let s be c(i). Which is greater: s or -5?
-5
Let l = -785 + 723. Which is smaller: -61 or l?
l
Suppose -4*b + 912 = -4*d, -2*d = -4*b + 1327 - 415. Is b != 1?
True
Let g be (-3)/2*2000/12. Is g smaller than -250?
False
Let s = 0.01 + 3.99. Let a = 1.03 + -0.48. Let t = a + -0.55. Is s greater than t?
True
Let p be -1*-1*(2 - -7). Suppose 136 = 2*g - 16. Suppose g - 26 = 5*j. Which is bigger: p or j?
j
Let j = 272 + -259. Which is smaller: -2/11 or j?
-2/11
Let x = 3.7 + -5.7. Is x greater than 37?
False
Let s be 2/(-4)*130/(-13). Suppose 0 = s*x - 208 + 63. Which is smaller: x or 30?
x
Let v be ((-102)/18 - -5)*54/12. Which is smaller: -52/31 or v?
v
Suppose c - 3*k = -1 - 6, -4*c + 5*k - 49 = 0. Let m be ((-50)/4)/(-5)*(-20)/(-100). Which is smaller: c or m?
c
Let g be 7 + 4/(-5) + -5. Is 0 < g?
True
Let h = -62 + 55. Suppose 2*y + 27 = -y. Which is bigger: y or h?
h
Let k be (-14)/2 - 0 - (-43654)/6266. Which is smaller: k or -1?
-1
Let s = 695 + -456. Is s bigger than 239?
False
Let w(a) = 4*a - 4. Let b be w(0). Is -11/4 bigger than b?
True
Let v = 15 + -12. Suppose 345 = 5*p - 2*w + 70, -p + 38 = v*w. Let t = -263/5 + p. Which is greater: t or -8?
t
Let m = -598 + 1075. Let a = 5719/12 - m. Which is smaller: 1 or a?
a
Suppose 6*r = 4*r. Suppose r = 3*k - 6, 3 = 2*d - 4*k - 13. Let a be (-4 + 18/8)*d. Which is bigger: -1 or a?
-1
Let u be ((-30)/(-4))/(19/((-6061)/(-66))). Are 37 and u unequal?
True
Let s be 36/13 + 1 - (-5 - -4). Which is greater: 5 or s?
5
Suppose 0 = 4*t + 2*y + 10, -t + 4 = 4*y + 24. Which is smaller: 1/85 or t?
t
Let l = 2/11 - -7/22. Suppose 4*d + d - 5 = 0, 2*w + d = 7. Does w = l?
False
Suppose 416 = -16*p + 32*p. Suppose -4*t - 3*g + 118 = 0, 2*g = -2*t - 0*g + 60. Is p at most as big as t?
True
Suppose -2 = 4*q - 2*z, 4*q + 8 = 3*q + 2*z. Let s be (2/(-90))/(q/218). Let b = s - -20/9. Which is smaller: 0.1 or b?
b
Suppose 0 = 2*u + l + 8, 13 = -5*u - 5*l - 12. Let y = -13 - u. Let s(p) = p**3 - 44*p**2 - p + 35. Let t be s(44). Which is smaller: t or y?
y
Let o = 2265 - 76999/34. Which is smaller: 1 or o?
o
Let g = -67 + 130. Suppose 0 = 3*r + 2*j - 34, 0*r - g = -5*r + 3*j. Suppose -13*i = -102 - 67. Is i equal to r?
False
Let z = 6 + 10. Suppose i + z = -i - 5*s, -5*i + 5*s = -30. Is i equal to -9?
False
Suppose 3*f + 5*s + 629 = -678, 2*s = 5*f + 2199. Which is bigger: -440 or f?
f
Let w be (((-135)/21)/3)/((-54)/12). Is 0 less than w?
True
Let v = -51220/29 + 1766. Let q(b) = -b - 8. Let z be q(-9). Which is greater: z or v?
z
Let q = 3.8 + -1.1. Let n = q + -2.9. Which is greater: n or -4?
n
Let o be (-4)/3*18/(-48)*36. Is o > 5?
True
Let n(q) = -4*q**2 - 10*q + 51. Let c be n(-5). Are c and 16/11 non-equal?
True
Let z(l) = l**3 - 17*l**2 + 19*l + 20. Let c be z(16). Let r = c + -125/2. Is r > 7?
False
Let l be (-12 - 3)*14/(-70) + -2. Which is smaller: -3/1151 or l?
-3/1151
Suppose 78 = -4*f + c, -97 + 11 = 4*f - 5*c. Let y be ((2 - f) + -2)/((-9)/18). Is y < -37?
True
Let g = 179 - 103. Let b be (-64)/288 - 1/((-18)/g). Is b at most as big as 17/6?
False
Let c be (8/(-28) - (-80)/35) + -2. Is c less than 6/67?
True
Suppose -2*r = y - 0*y + 9, 4*r + 23 = 3*y. Is 1/136 != y?
True
Let b be 1/(-1*(-4)/32). Let z be (b/(-128))/(22/(-24)). Is z > -1?
True
Let i(p) = 2*p**2 - 9*p + 6. Let f be i(4). Let s be (4/6)/((-2)/6*f). Let x(w) = w - 7. Let h be x(6). Is s greater than or equal to h?
True
Suppose 2*a + 0*a - 4 = 0. Suppose 0*p + 4*p - a*s - 18 = 0, 5*s + 15 = 4*p. Suppose 13*r - 13 = 52. Is p >= r?
True
Let h be (-30)/9*9/(-6). Suppose 6*y = 4*y + 24. Let u be -12 + y - (-14)/4. Which is greater: h or u?
h
Let o = 181 + -61. Are 118 and o equal?
False
Suppose 5*i - s = 2*s + 468, 3*i - 292 = -s. Let t = -95 + i. Which is bigger: t or -20?
t
Let i = 726 - 6538/9. Is 1/3 not equal to i?
True
Let w(t) = -8*t + 1. Let j be w(-1). Let i(v) = 0 - 1 + 9 + j*v + v**2. Let c be i(-8). Is 0 <= c?
True
Let n be 18 + 2/4 + 9/18. Let y(g) = -g**2 - 9*g + 29. Let o be y(-10). Do o and n have different values?
False
Let d(z) = 7*z - 10. Suppose -5*c - 5*w + 40 = 0, -2*c - c + 24 = -4*w. Let p be d(c). Which is greater: p or 1?
p
Suppose -2*x - 2*l + 7104 = -10586, 0 = x - 5*l - 8815. Let y = 97314/11 - x. Let