et c be q(3). Suppose -28 = 6*i - 7*i - 5*v, -4*i = 4*v - 48. Let p = c - i. Which is greater: p or 3?
p
Let d be 6*1*(-18)/(-27). Suppose -d*l - 16 = 0, 0*y - 8 = -2*y + 3*l. Let a be y/(-12)*(-3 - -23). Is a greater than 2?
True
Let q = -194 + 194. Is q <= 0?
True
Let x be ((-16128)/240)/(3/20). Is -448 < x?
False
Let b = 3371 - 2275. Is b != 1096?
False
Let r(j) = j**2 + 8*j + 12. Let n = -10 + 4. Let w be r(n). Is 7/5 at most as big as w?
False
Let z be (0 - (-1)/(-5))/(14/(-70)). Suppose 0 = 2*t - z + 3. Is -0.62 != t?
True
Let o = 53386199/40 - 1334729. Let d = -74 - o. Let m = d + -17/40. Is 1 greater than or equal to m?
True
Let p = 1.56 + 12.44. Which is smaller: 5 or p?
5
Let w(l) = -l**3 + 5*l**2 - 3*l - 4. Let m = -5 + 8. Let o be w(m). Suppose b - 4*x = -x + 2, 2*b + 3*x = -o. Which is bigger: b or 1/29?
1/29
Let c be 90/70 - (-8)/(-28). Are c and 30/43 equal?
False
Let p be (7 - (-2)/6)*12/8. Is p equal to 9?
False
Let d(g) = g**2 + 15*g + 57. Let n be d(-8). Which is bigger: n or 10/11?
n
Let o be 8/(-28) - (-4)/14. Let z = -309/10 + 31. Is o > z?
False
Let d(z) = -9*z - 92. Let n be d(-20). Is n >= 88?
True
Let v = 0 + -0.1. Let k = v + -0.1. Let g = -1/78 - -7/39. Are g and k unequal?
True
Let u = -2 - -10. Let z be 2 - (-17)/(17/8). Is u smaller than z?
True
Let b be 1 + 9 - (2 - 2). Let k = 287 - 292. Let n be (-4)/k*(-25)/b. Which is smaller: n or -1?
n
Let a be 1/2*-3*6. Let x be (6/711)/((-3)/a). Does x = 0?
False
Suppose -14545 = 46*g + 9559. Is -1045/2 > g?
True
Let k be 203412/(-414) - (15/(-9))/(-1). Is k != -493?
False
Suppose -5*i - 2*q + 15 = 0, -2*i - 4*q + 6 = -0*q. Suppose 17 = 3*n + 7*r - 2*r, -i*n = 3*r - 9. Which is smaller: 7 or n?
n
Suppose 0 = -0*b - 3*b. Suppose 2*t - o = -10, b*t = 2*t - 3*o + 18. Let i = 4 - t. Is 8 greater than or equal to i?
True
Let y = 10007/2730 - -1/910. Let t(u) = 7*u**2 + u. Let d be t(-1). Suppose 0 = -j + d*j - 15. Which is bigger: y or j?
y
Let n = 6.145 - 0.145. Let w be 0 - 64/(-28) - 3. Which is bigger: n or w?
n
Let y(z) = -z + 11. Suppose 0 = 22*d - 15*d - 112. Let a be y(d). Is -5 at least a?
True
Let x be (1 - 15/13)*-1. Let n = -0.25 + 8.25. Let b = 7 - n. Which is smaller: b or x?
b
Let f = -387.911 - -388. Is f less than -2?
False
Let w(j) = -4*j + 142. Let l be w(34). Suppose -l*c + 7*c - 5*g = -43, -4*c + g = 96. Let b = 15 - 38. Is b at most as big as c?
True
Let h(g) = -4*g**2 + 38*g + 5. Let b(n) = -3*n**2 + 37*n + 4. Let y(s) = 6*b(s) - 5*h(s). Let q be y(-16). Which is smaller: q or -2/97?
q
Let n = -1322 - -1322. Is n equal to -7/106?
False
Let a = 51 - 49. Suppose -3*i - i = a*c, -5*c = 10. Is i <= -1/94?
False
Suppose 10 + 11 = 3*g. Suppose -g*x = -3*x - 8. Let c = 3.08 + -0.08. Which is smaller: x or c?
x
Suppose 4 + 5 = 3*i. Suppose -7*t = 3 - i. Let s = 0 + 0. Is s < t?
False
Let m(v) = v + 7. Let u be m(-8). Do u and -2 have different values?
True
Suppose -u = -4*d + 8 + 10, -4 = 2*u. Suppose l = -5*w - 19, 2*l - 7*w + 14 = -11*w. Which is smaller: l or d?
l
Let s(x) = x**2 + x - 14. Let v be s(3). Does -4 = v?
False
Let h(s) = s - 8. Suppose 106 = 5*m + 41. Let v be h(m). Suppose -2*p = 3*p + v. Which is greater: -3 or p?
p
Let i = -27.1 - -1.1. Let x = i - -27. Do -1 and x have the same value?
False
Let u be 418/22 + 1*(1 + -1). Let n = u - 22. Which is greater: -34/9 or n?
n
Let y be 2/3*-3 - 126/(-3). Let v be 2 + y/(-25) - 63/20. Is -2 > v?
True
Let t be 160/70 - (-4)/(-14). Let i(z) = -z**3 + 5*z**2 - 3. Let n be i(5). Which is smaller: t or n?
n
Let g be (5 + -5)/(1 - 0). Let d be -4 - (149/(-37) - 0/8). Is d at least as big as g?
True
Let v be -6 - ((-384)/22 + 4)/2. Is v at most 1?
True
Let r be 24/42 + 20/14. Let a be ((-2)/(-3))/(-5 - (-1 - r)). Which is smaller: -0.03 or a?
a
Let x be 4 - (3 + -6) - (2 - 0). Let n be (0 - -1 - 6)/(-1). Is x less than n?
False
Let h(z) = z + 7. Let a be h(-12). Let k be a/2 + 3 - 4. Is k at least -5?
True
Let j(g) = g**2 - 20*g + 20. Let p be j(19). Suppose 4*o = 9*o - 35. Suppose 3*k - 8 = o*k. Do k and p have the same value?
False
Suppose 4*r - 16 = 0, -5*k - 4*r = -0*k - 6. Let t = -41 + 42. Let c = t + k. Which is smaller: -6/5 or c?
-6/5
Let w = -337 + 191. Do 1 and w have different values?
True
Suppose -6*o = 2*o. Which is bigger: -3/25 or o?
o
Let c be ((-31)/2)/((-10)/(-100)). Does -160 = c?
False
Let a = 0 - 0. Let q be -3 - -2 - (a - -16). Let h be (18/(-12))/(-1) + -8 + (-161)/14. Which is smaller: h or q?
h
Let g = 93 + -91. Let l = 55/12 - 7/4. Which is smaller: l or g?
g
Let t = -53 + 158/3. Is t bigger than 0.25?
False
Suppose 0*b - 45 = -3*b. Suppose -7*c - 43 + b = 0. Let z = 0 - 8/3. Which is smaller: c or z?
c
Let y = -0.51 - -0.51. Is y bigger than 1/267?
False
Suppose -4*a + 5*f - 507 = 0, 2*f = -5*a + f - 670. Let n = 134 + a. Is n equal to -2/355?
False
Let i be 8/12*12/8*8. Let z be i/(-492)*(-9)/(-6). Is z >= 1?
False
Let v be (-18)/(-45) - 447/5. Which is greater: v or -87?
-87
Let o = 3653/24682 + -1/602. Is o greater than 1?
False
Let w = 0.4947 + -0.0947. Do w and -16/7 have the same value?
False
Let y(o) be the first derivative of o**3/3 - 5*o**2/2 + 5*o + 1. Let u = -30 - -34. Let t be y(u). Is t greater than 1/36?
True
Suppose 8*g + 15*g = 23. Which is bigger: g or 15/164?
g
Let h(r) = -r**2 - 4*r + 33. Let n = 101 + -109. Let x be h(n). Which is bigger: x or 1/115?
x
Let z(n) = -4*n**2 - 7 + 0*n - 7*n - n**3 - 3*n**2 + 4. Let y be z(-6). Suppose -13 = -4*a + y*a. Which is smaller: a or 14?
a
Let h = 0.177 - 0.127. Is -2 equal to h?
False
Let y = 140 + -70. Suppose 0 = -0*d + 14*d + y. Is -3 bigger than d?
True
Let a = 17 + -16. Suppose 0 = 5*z - a - 4. Which is greater: z or 8/7?
8/7
Let t = 2.8 + -17.8. Let y = 15.09 + t. Let a = y + 0.01. Is a equal to -1/2?
False
Suppose -5*q + 92 = -7*q. Is -4 not equal to q?
True
Let h = 59 - 37.9. Let d = -4.1 + h. Let r = -9/2 - -25/6. Which is smaller: r or d?
r
Let l be 6/(-30) - (-1)/(-5). Let b(c) = c**3 + 10*c**2 - 12*c - 1. Let k be b(-11). Is k <= l?
False
Let a = 1 + -2. Let f = 2/83 - 220/2241. Which is smaller: f or a?
a
Let v(l) = -9*l - 56. Let p be v(-18). Is 106 bigger than p?
False
Let q be 2 + 1 + -4*66/12. Let b(g) = -g**2 + 11*g - 30. Let a be b(10). Is q at least a?
True
Let m be (-3400)/(-21) + 22/231. Let w be 3/m*-4*-51 + -2. Which is bigger: 3 or w?
3
Let b be ((-306)/8)/((-15)/40). Let y be (8/b)/((-18)/27). Suppose -3*k + 0 + 3 = 0. Is y bigger than k?
False
Suppose 54 = 54*g - 0. Does g = -10/33?
False
Let f = 2.5 - 4.4. Let c = -1.9 - f. Which is smaller: -2/45 or c?
-2/45
Suppose -6*g = -4*g + 4*c - 56, 2*c - 92 = -3*g. Let z be 3*(-1 + 35/3). Does z = g?
True
Let z = -304 + 305. Which is bigger: 1/62 or z?
z
Let k = -1795 - -2777. Is k less than or equal to 983?
True
Let o be (-14)/(((-9)/(-6))/((-3)/(-4))). Let i = 38/5 + o. Which is greater: i or 1?
1
Let x(b) = -b**3 + 2*b**2 + b - 9. Let m be x(4). Let u be (-405)/11 + (-12)/66. Is m less than or equal to u?
True
Let r = -815 + 809. Which is smaller: r or -25?
-25
Let c be (315/70)/(1/(-2)). Which is smaller: -7 or c?
c
Let y be -4 + 2 - (-4 - (-66)/26). Let w be (-6)/(-3) - (3 + 1). Which is smaller: w or y?
w
Let s = 33.1 - 49. Let t = 17 + s. Let x = -1.01 + t. Which is smaller: -1 or x?
-1
Let d = 17 - 15. Suppose 0 = -3*s - d - 10. Which is bigger: -0.03 or s?
-0.03
Let w be (-2)/10 - (-2 + 905/(-275)). Let d = 81 + -77. Is w >= d?
True
Let p = 18616/1435 + -454/35. Which is smaller: p or 1?
p
Let s be (-365)/70*6 - 30/105. Is -32 less than or equal to s?
True
Let w(f) = f + 7. Let s be w(0). Let z = s - 15. Let o = -5 - z. Is o greater than -3/4?
True
Let j be 1/((6/(-14))/(-3)). Let p be ((-9)/j)/((-70)/49). Which is bigger: p or 0?
p
Let l = 8.98 + -9.08. Which is bigger: l or 1/61?
1/61
Let x = 8 - 5. Let y be -1*(1 - x/6). Which is greater: y or -2.9?
y
Let g be ((-6)/(-54))/(10/(2580/(-7))). Which is bigger: g or -3?
-3
Let g(k) = -k**2 - 5*k + 1. Let w(b) = -b**3 - 9*b**2 + 2*b + 13. Suppose -22 - 5 = 3*f. Let u be w(f). Let z be g(u). Is 4/3 smaller than z?
False
Let n be (-4 + 2)/((-2)/11) + 4. Suppose -11 = n*a + 4. Which is smaller: -1/66 or a?
a
Let i(l) = 2*l**2 - 8*l - 41. Let c be i(7). Is -1/131 less than or equal to c?
True
Le