- g - 242 = -178. Is -108/13 at most p?
False
Let x = -4092 + 4092. Are x and 47/130 nonequal?
True
Let j(a) = -294*a - 2775. Let k be j(-17). Which is smaller: 2225 or k?
k
Let z = -1045 + 1037. Is -210/23 less than or equal to z?
True
Let i = 3929.974 - 3930. Which is smaller: i or 0?
i
Let z = -89/45 + 223/90. Which is smaller: 803 or z?
z
Suppose -v = 22 - 0. Let o(u) = 9*u**2 - 30*u + 46. Let a(l) = -5*l**2 + 14*l - 23. Let m(g) = -11*a(g) - 6*o(g). Let t be m(v). Is t bigger than -112?
True
Let s = 601 + -1111. Let f = s + 510.1. Which is greater: 3 or f?
3
Suppose 0 = 3*l - z - 2, z + 41 - 39 = 0. Is l less than 2/1293?
True
Let w be (-4 - (-5 + 2)) + 0. Let p be w + (2 - -16*1). Let z be (18 - p)/(-7 - (-1 - -1)). Is z at least as big as 2/3?
False
Let k(m) be the second derivative of -m**7/2520 + m**6/60 - m**5/12 - 3*m**4/4 + 25*m. Let x(v) be the third derivative of k(v). Let c be x(12). Does c = -12?
False
Suppose 2*t + 0*t + 12 = -4*q, -6 = 3*t. Suppose 12 = 2*m - 2*b, -2*m - 1 + 13 = 3*b. Let n be 1419/(-1452) - (-1 + m/8). Is n greater than or equal to q?
True
Let o(n) = n**3 - 6*n**2 - 3*n - 10. Let l be o(8). Let s = -0.3881 + 0.3881. Is l equal to s?
False
Let s = -2.69 + -934.31. Is -0.2 equal to s?
False
Let w = -18 - 81. Let p = -213 - -212.9. Which is bigger: p or w?
p
Let y = 36948 - 1293202/35. Let a be (0 - 2)*1/2. Is y > a?
True
Let f = 7878 + -63031/8. Is f bigger than 0.9?
False
Let v be (-2*(-15 - 2))/((-2)/(-8)). Suppose 64 - v = -24*h. Which is smaller: 154 or h?
h
Let l(t) be the first derivative of t**4/4 + t**3/3 - 19*t**2/2 + 4*t - 41. Let x be l(-5). Is x at most as big as -4/13?
True
Let u be 8/9*69/(-966). Which is bigger: -1 or u?
u
Let a be 11/55 - 6/90*3 - 1. Is a != -6350?
True
Let w = -151803 + 138292549/911. Which is greater: w or 0?
w
Suppose 131*n - 113*n - 360 = 0. Which is bigger: 169/9 or n?
n
Let h be (2/(-6))/(2/84). Let x(o) = -o**3 - 15*o**2 - 21*o - 33. Let y be x(h). Does 2 = y?
False
Let c = 54.4 - -493.5. Let x = 548 - c. Is 1/29 != x?
True
Suppose -18*y + 6 = -12. Is y at most 3/2593?
False
Let v be 25/(-50) + (-21)/(-162). Is 0 equal to v?
False
Let z = -102 - -107. Let k be (8/(-6))/(z/150). Does k = -40?
True
Suppose 18*o = -3915 + 43479. Which is smaller: o or 2199?
o
Suppose 0 = -3*o - 2*z + 24, 3*z + 414 - 432 = 0. Let g = 4586 + -59570/13. Is g < o?
True
Let k be 1 - (-9)/(-12) - 1811290/(-1128). Let i = k + -1606. Which is smaller: i or -1?
-1
Let q = 345 - 404. Which is smaller: 1/6 or q?
q
Let w(r) = -15*r + 2. Suppose 11*l = l + 30. Suppose 0 = -4*s + l*v - 4, 5*s + 0*v + 5 = 3*v. Let y be w(s). Which is smaller: y or 15?
15
Suppose 0 = 4*r - 2*b + 5*b - 740, r = 3*b + 200. Suppose y - 182 = 68*q - 66*q, 0 = 2*q - 6. Do y and r have the same value?
True
Let y = -0.057 - 0.079. Let z = -73.264 + y. Let d = 73 + z. Is d at least as big as 4/3?
False
Let a = 208 - 92. Let v = a + -117. Which is greater: 1/60 or v?
1/60
Let j = 20 - 15. Suppose j - 20 = -5*z. Suppose -z - 6 = -i. Is i equal to 9?
True
Suppose 34 = 4*p + 26. Suppose -3*n - p*q - 3 - 22 = 0, -4*q - 15 = -n. Does n = -60/13?
False
Let f(n) = -n**3 + 3*n**2 + 33*n - 138. Let t be f(5). Is t > 141?
False
Let o = -0.0835 - -0.1835. Let u be -2 - (0 + -1) - (-128)/(-24). Is o >= u?
True
Let n be (-6 - (1 + -3)) + -2. Let a(x) = -4*x**2 - 190*x - 98. Let j be a(-47). Let f be 0*(j/n - (-3)/(-18)). Is -1/29 <= f?
True
Let d = 34 - 21. Suppose d*n = 16*n - 24. Let t(j) = 58*j + 117. Let l be t(-2). Is n at least as big as l?
True
Let c = 0.9 + -82.9. Let r = -96 - c. Let y = r - -3. Does 2/7 = y?
False
Let m = -13461 - -13448. Which is smaller: 2/245 or m?
m
Let r = -17737/114 + 311/2. Let p be (-27)/(-54) + (-4)/(-8). Which is bigger: p or r?
p
Let x = -1751164/43835121 - 4/43879. Let h = x + -4/37. Which is smaller: -4 or h?
-4
Suppose 3*g - 4 - 26 = -5*p, p + 7 = 2*g. Suppose 3*x + x + 5*q + 39 = 0, -p = -3*q. Suppose 4*b + 49 = -5*k, 52*k + 4*b - 3 = 51*k. Which is greater: x or k?
x
Let i = -1 - -4.6. Let w = 1171 + -877.1. Let p = 294 - w. Does p = i?
False
Let f be -8*(-1 - (2 - 2)). Let p = f + -14. Let r(z) = -25011*z - 150069. Let n be r(-6). Which is smaller: p or n?
p
Suppose -4*m = 16, -2*t - 5*m + 0*m = 14. Suppose -4*q - 208 = y, -t*y + 3*q = -2*y + 208. Let n be (y/28 - -3) + 4. Which is smaller: 1/3 or n?
n
Let n(d) = d + 8. Let s be n(-5). Suppose 0 = s*u - 3*h - 9, 5*u + 0*h = -3*h - 25. Let p(x) = 9*x - 3. Let c be p(u). Which is greater: c or -22?
c
Suppose 0 = 86*k - 29*k - 36*k + 85071. Is -4052 smaller than k?
True
Suppose 2*w + 2*m = m + 8, -4*w - 4*m = -12. Suppose 2*a - 2 = c + 5, 2*a + 23 = -w*c. Is 8/165 equal to a?
False
Suppose 9*g = 12*g - 27. Let d(l) = g + 2*l + 9 - 10. Let v be d(8). Is 26 equal to v?
False
Let w be ((-1)/(-4))/(786/16). Let f be 0*-5*((-24)/21 - 495/(-525)). Is w less than f?
False
Let i = 56 + -44. Let v be -1 - (-3)/i - (-282454)/(-312). Let y = v - -906. Which is greater: -1 or y?
y
Let f = -11121 + 7834. Which is bigger: f or -3289?
f
Let b = -19199/11 + 1733. Which is smaller: -13 or b?
-13
Suppose -5*p - 4*n + 343 = 0, n - 41 + 115 = p. Let f = p - 101. Let t be (8/10)/(f/1425). Is -38 not equal to t?
False
Let y = -2458513/66 - -37253. Let h = 40/11 - y. Which is greater: 1 or h?
1
Let c = 133.16 - 72.16. Does c = -1/59?
False
Let j(g) = -8 + 51*g - 21*g - 19*g. Let f be j(8). Suppose -5*w = -x + 25, 5*x - f = 5*w + 5. Does x = 16?
False
Let h = -4.3 - -5.004. Let s = h + -0.81. Let j = -0.006 - s. Is 8 >= j?
True
Let r = -1112842/77 - -14452. Which is bigger: -1 or r?
r
Let p(d) = 2*d**2 - 5*d - 12. Suppose 0 = 218*h - 210*h + 16. Let k be p(h). Which is smaller: k or 50/7?
k
Suppose 0 = -5*d + 7 + 18. Suppose 5*o - 5 = 6*o, 0 = 5*p - d*o - 30. Let g be 1 + p + (7/10 - 3). Is g >= -1/3?
True
Let n = 121 - 136. Let y(s) = 2*s**3 - 10*s**2 + 2*s - 4. Let b be y(5). Suppose -5*v = -b*v - 14. Which is bigger: n or v?
v
Let n = 54 + -89. Let x = 603 - 640. Is n bigger than x?
True
Let d = 2756656 - 129616228/47. Suppose 5*m = 20, 2519 = 4*w - 4*m + 7079. Let i = d - w. Do 0 and i have different values?
True
Let j(a) = -a - 3 + a**2 + a**2 + 0 - a**2. Let t be j(3). Let u = -5 + t. Is 11 at most as big as u?
False
Let q be 90/(-60)*(-1876)/(-6) - 0. Is q less than or equal to -470?
False
Let i = 0.3 - -7.7. Let q = -6 + i. Let p = 51 - 52. Which is smaller: q or p?
p
Let u be (188/188)/(-2 + ((-1)/1)/1). Is -57/5 less than u?
True
Suppose 195*p - 197398 - 606683 - 49629 = 0. Which is smaller: 4377 or p?
4377
Let p = -10168/5 + 2022. Let d = p - -6259/540. Do -2 and d have the same value?
False
Let o = 0.2643 + -0.2943. Which is bigger: 1/8 or o?
1/8
Let y(t) = -t**3 - 15*t**2 + 15*t - 10. Let l be y(-16). Suppose 11 = -l*c - 79. Let m be 3 + c/3*10/16. Is m at most 3/5?
True
Let n = 43067 + -43052. Let d = -451.01 - -447. Let b = d + 0.01. Which is greater: n or b?
n
Let z be (121/(-4))/((-1)/(-32)). Let o = 869 + z. Which is smaller: -96 or o?
o
Suppose 20 = 5*o, 5*o = s - 6*s + 65. Let x = s + -4. Suppose -x*i + 54 = -3*c, -i - c = 2*c. Do i and 9 have different values?
False
Let b be (135/4)/((-23912)/(-1568)). Is b less than or equal to 2?
False
Let k = 69.722 - 71.8. Let q = -0.022 + k. Let p = q - -1.1. Is p bigger than 23?
False
Let z = 840 + -77279/92. Let l = -187/276 + z. Let w = 11 - 11.02. Which is bigger: w or l?
w
Suppose 0 = -33*d + 13*d + 420. Suppose r - i - d = 0, -15*r - 123 = -20*r - i. Which is bigger: r or -2?
r
Suppose 0 = 4*q - 7*q - g + 847, -2*g = 4*q - 1132. Suppose -2*u - q = 83. Is -181 greater than or equal to u?
True
Suppose 58*h + b = 57*h - 60, -3*h - b - 168 = 0. Which is bigger: -77 or h?
h
Let d = -21513318/253 - -85033. Which is bigger: -1 or d?
d
Let p = 10.5515 - 0.5515. Is 279 != p?
True
Suppose -s = -6*s + 3*m - 87, 0 = -m + 4. Let j be (4 - (-243)/s) + 2. Let i(v) = v**2 - 10*v - 34. Let w be i(12). Is j > w?
False
Let t(v) = 2*v**2 + 4*v + 7. Let c be t(-10). Let q = c - 163. Are q and 16/5 non-equal?
True
Suppose 5*b + 14 = 24. Suppose 0 = -7*j + 5*j - b. Which is bigger: 2/405 or j?
2/405
Let g be (-2)/5 + 48/20. Let l = -29299 + 322307/11. Do l and g have the same value?
False
Let g be (-3542)/(-168) - (-2)/(-24). Let 