 n?
4/629
Suppose -17*t = -2*t - 450. Is -6 < t?
True
Let t be 3/(-12)*-4*11. Suppose -5*z = l - 7, 5*l + t = -4. Let i be (-3 - (-5)/z)/(-3). Which is smaller: i or 0?
0
Let p be (112/6)/(6*(-8)/(-72)). Which is smaller: p or 30?
p
Suppose -o + 4 = -5*o. Let k be 1/((5/(-5))/o*1). Let f be (2/(-4))/(2/(-4)). Is k at most f?
True
Let x(u) = 24*u - 487. Let n be x(19). Is n != 2?
True
Suppose 2*c - 2*r = 3468666, 5*c - 2*r = r + 8671659. Let j = 2089867419/1205 - c. Let w = j - 2/241. Which is smaller: -2 or w?
-2
Let c = -51 - -80. Let d = c + -29. Which is smaller: 3 or d?
d
Let q = 1.06 - -83.94. Let c = 80.9 - q. Let g = -1.1 - c. Which is smaller: -3 or g?
-3
Let p = -5 - -24. Let s = -20 + p. Which is smaller: 9 or s?
s
Let h be (-226)/(-4) + (-6)/(-4). Suppose 233 = 5*c + 5*o + h, -163 = -5*c - o. Which is smaller: c or 2?
2
Let p = 0.09 - 5.09. Let x = 281/558 - 1/279. Which is greater: p or x?
x
Let w be (-20)/16*(-2)/45. Let l(x) = x**2 - 4*x + 4. Let g be 3*(1 - (2 - 2)). Let t be l(g). Which is smaller: t or w?
w
Suppose -4*v = -19 + 31, -3*r + 5*v = 294. Which is smaller: r or -102?
r
Let s = 0.29 - 5.69. Let z = 5.6 + s. Which is bigger: z or 16?
16
Let z = -0.06 + 0.96. Let t = 2.1 + z. Let a(l) = l**2 + 9*l + 10. Let h be a(-8). Which is bigger: h or t?
t
Let g = -442 - -441. Is -3/139 not equal to g?
True
Let r be (-18)/(-28) - (-6)/(-42). Let h = -0.42 - -0.04. Which is bigger: r or h?
r
Let l = 115 - 114. Which is bigger: -2/713 or l?
l
Let w be (-14876)/(-8908) - 3/((-9)/(-6)). Let h = w + -3/131. Which is bigger: 1 or h?
1
Let m(w) = -w**2 + 7*w - 9. Let t be m(4). Suppose 0 = -4*o - 10 + 2, 5*r + 4*o + 13 = 0. Let f be r - t/6*-4. Which is greater: 3/2 or f?
3/2
Let z be ((-6)/(24/2))/1. Is z <= -4/11?
True
Suppose -4*t + 18 = l - 11, 16 = 4*l - 4*t. Suppose j - l = -2*j. Let q = 13 + -12. Is q greater than j?
False
Let v = -2 + 1. Let m be 0/(-3)*v/2. Let y(u) = u + 5. Let w be y(-4). Do m and w have different values?
True
Let q(n) be the second derivative of 1/3*n**3 - n - 1/3*n**4 - 3*n**2 + 0 + 1/20*n**5. Let b be q(4). Is 7/3 less than b?
False
Let t(g) = g + 12. Let a be t(-10). Let j be 1 + (a - (0 - -4)). Is 2/39 > j?
True
Let v = -34/21 - 5/7. Which is smaller: v or 1?
v
Let x(j) = 3*j**2 - j - 3. Let n be x(-3). Let l = 15 - n. Let g = -20 - l. Which is smaller: g or -9?
-9
Let s be (-6)/4*6*4. Let w be (-47 - -52)/(4/(-28)). Which is greater: s or w?
w
Let h(m) = m + 18. Let o(f) = 15*f**3 - 2*f**2 - f - 1. Let w be o(-1). Let k be h(w). Which is greater: k or 4/5?
k
Let x = 95 + 24. Let l = 108 - x. Is -7 greater than or equal to l?
True
Suppose -3 = -6*f + 5*f. Let g be f + -1 - 3 - -1. Which is smaller: -2 or g?
-2
Let t be (-16)/6*(-30)/(-8). Let h be (-2)/(-8) - (-5)/t. Let b be 2*(-5)/2*1. Is b >= h?
False
Let v(a) = a**2 - 8*a + 13. Let i = 13 - 7. Let f be v(i). Let k be (-16)/(-7) - (-2)/(-7). Is k at most as big as f?
False
Let i = 2193 + -2204. Let k(l) = -l**3 - l**2 + l - 1. Let n be k(0). Let t be (-4)/n*27/(-12). Which is bigger: t or i?
t
Let o be (-4)/10 - ((-932)/5 - -6). Suppose -2*d = -8*d + o. Which is bigger: d or -1?
d
Let l = -2 + 2. Let f = -0.046 + -22.954. Is f bigger than l?
False
Let m(v) = 10*v**2 + 112*v - 3. Let o be m(-10). Is o smaller than -122?
True
Let z be (-57)/22 - (-6)/4. Let q(y) = -y**3 + 23*y**2 + 21*y + 71. Let a be q(24). Is a not equal to z?
True
Let q be 332/65155*(1 - 7/2). Are q and -1 non-equal?
True
Let j be (-110)/33*63/4. Let c = 52 + j. Which is smaller: 10 or c?
c
Suppose 3*n = 5*w + 15 + 22, -3*n + 32 = -4*w. Let i = -1 - n. Which is smaller: 0.4 or i?
i
Let w be (-22)/8 - 42/(-56). Suppose -48 = 5*f - f. Are w and f unequal?
True
Let m = -3 - 1. Let x be 124/10 - m/(-10). Let z be (-52)/x - (-2 - 2). Which is smaller: 2/7 or z?
z
Let v be (-1)/((-2)/(-6))*(-3304)/84. Is 117 bigger than v?
False
Let j(s) = 2*s**2 + s - 2. Let d be j(-2). Suppose 0 = -4*h - 4, 0 = r - 4*h - 6 - d. Let q be 4/(-1) + 0 + r. Are q and 13/4 non-equal?
True
Let r be 1/3*(-40)/(-16). Which is smaller: r or 2?
r
Let n = 603 - 4225/7. Which is bigger: n or 126?
126
Suppose 20 = -h + 4*r, 5*h + r = -r + 10. Suppose 0 = -h*q - q. Let b = 264 + -269. Which is smaller: b or q?
b
Suppose 4*x - 16 = 4*b, -12 - 4 = b - 4*x. Which is greater: 18 or b?
18
Let h(w) = -w**2 - 15*w - 9. Let a be h(-11). Suppose 5*v = c + 7, -5*c + 3*v + v - a = 0. Is -12 < c?
True
Let y be 3 - ((-1 - -4) + -1). Suppose -5*w = y - 11. Suppose 7*m - w*m + 65 = 0. Is -14 smaller than m?
True
Let h be (-2)/(2/4*(-40)/140). Does h = 40/3?
False
Let y(z) = -2*z**2 + 121*z + 78. Let k be y(61). Which is bigger: 129/7 or k?
129/7
Let d = 0.1 - -0.9. Let h = 22 - -5. Let z = -16 + h. Which is smaller: z or d?
d
Suppose -2*c = -5*c + 30. Suppose -5*r + 4*i + 11 = 0, -3*r + 7 = -5*i - c. Let x be r/((-4)/6 - -1). Is -3 smaller than x?
False
Let b be 3/9 - -1*8. Let l = -25 - -32. Is b != l?
True
Let f(l) = 3*l**2 - 41*l + 44. Let h be f(15). Which is greater: 0.1 or h?
h
Suppose -4 = -4*x, 5*y = -0*y - 2*x + 617. Is y smaller than 123?
False
Let u be (2/4)/(2/22). Let c = u - 35/6. Let a = 4 - 4. Which is bigger: a or c?
a
Suppose -153*j = -155*j + 146. Let q = j - 76. Is q < -4?
False
Let g be (-4)/(-18)*-1 + (-994)/1278. Is -4/89 bigger than g?
True
Let b be 69/(-21) + (-2)/(-7). Let i(w) = 6*w + 27. Let c be i(-5). Are c and b equal?
True
Let u(s) = s - 8. Let t be u(10). Let h be t*(3/(-5) + 310/225). Which is bigger: h or 3?
3
Let h = -12 - -11. Let m = -131 - -2226/17. Which is smaller: h or m?
h
Let i(m) = 4*m + 47. Let b be i(-10). Which is bigger: 150/19 or b?
150/19
Suppose 104 = -o + 4*x, -50*o + 3*x + 76 = -51*o. Which is bigger: -84 or o?
-84
Let p be (1 - 2) + (-6)/(-1). Let c be 12/p + 10/(-25). Suppose n + 3*m + 10 = 0, -3*n + 0*m - 5*m = 14. Is c greater than n?
False
Let g be (76/(-57))/((-33)/(-108)). Is -5 <= g?
True
Let s = -1612 + 1572. Which is smaller: -38 or s?
s
Let s = 3853 + -535568/139. Let k(p) = -p**3 + 4*p**2 - 1. Let t be k(4). Is s smaller than t?
False
Let j = -2 + 1.9. Let w(x) = -x**3 - 9*x**2 + 16*x - 12. Let u be w(-11). Which is smaller: u or j?
j
Let j be (1/(-4)*233)/((-1)/(-4)). Is -233 > j?
False
Let n = 126 - 34. Let i = -92 + n. Is -2/7 < i?
True
Let a = -45770450/357 - -128208. Let m = a + 4/21. Is m equal to -1?
False
Let m = -15 + 30. Is -0.5 >= m?
False
Suppose 3*x - 4*x + 1 = 0. Suppose -14 = -5*p + x. Let o be 1 - p - (14 - 18). Which is smaller: o or 1/6?
1/6
Let b = 394.6 - 395. Is -0.2 >= b?
True
Let s = -11 + 9.96. Let d = s + 0.04. Suppose -2*u + 10 = 3*n - 5*n, -3*u = -5*n - 15. Is d greater than or equal to n?
False
Suppose 2*s = -b - 0*b, b = -3*s - 2. Let t be b/(-10) - 12/(-30). Suppose -2*i = 1 + 3. Is t not equal to i?
True
Suppose f + 4 = 2*w - 11, 0 = -f + 5*w - 18. Suppose -10 - 14 = 2*m. Which is bigger: m or f?
m
Let w = 11.5 + -11.4787. Is w smaller than 3?
True
Let r be (9 - 13) + 3*1. Let o be (68/7565)/((6/(-5))/r). Which is bigger: o or 1?
1
Let z be (4/(-10))/(1/(-5)). Suppose -z*w - w + 9 = 0. Suppose -3*y = -s + 1, y + w = -2*y + 3*s. Which is bigger: y or -1?
y
Let t(k) = -k**3 - k**2 + 27*k + 18. Let b be t(-6). Is b smaller than 176/5?
False
Let b = 230 + -16101/70. Let o = b + -41/70. Let d be (-19)/(-45) - (-39)/((-8073)/46). Which is greater: d or o?
d
Let w = 694 - 683. Are w and -2/7 nonequal?
True
Suppose 5*f - 6 = 9. Suppose f*v + 35 = -2*v. Let m = v - -9. Is m != 1?
True
Suppose 4*k + 0*k = 40. Let f = -6 + 16. Suppose 8*m - k*m + f = 0. Which is smaller: m or 2?
2
Let n = 1 + 2. Suppose -4*v + 5*h = v - 55, 73 = n*v + 5*h. Is v at least as big as 17?
False
Let a = -179939/350 - -7379/14. Which is bigger: 14 or a?
14
Let c = 189 + -174. Is c at most -1?
False
Let w be (-15)/(-9)*(-186)/(-110515). Which is smaller: -1 or w?
-1
Let x(v) = v**3 + 9*v**2 + 11*v + 15. Let f be x(-8). Which is bigger: -10 or f?
f
Let v(z) = z - 25. Let y be v(3). Let s(g) = g**2 + 9*g - 4. Let l be s(-6). Is l at most as big as y?
True
Let a be 14/(-150)*64/224. Suppose 3*u = -4*l + 10 - 26, 12 = 5*u - 3*l. Is a > u?
False
Let a(l) = -2*l**3 + 7*l**2 - 22*l - 11. Let b be a(6). Is 0 less than or equal to b?
False
Let z = -861 - -447. Are z and -2/7 eq