: 0 or u?
u
Suppose 2915*f - 2907*f - 96 = 0. Let q = 27 - 7. Let y = q - 10. Does f = y?
False
Let m(g) = g**3 + 28*g**2 - 22*g + 203. Let h be m(-27). Which is smaller: 1528 or h?
h
Let m = -8488247/406 + 20907. Are m and 1 nonequal?
True
Let b be (61962/5)/2 + (-95)/((-3800)/32). Is 6198 at least b?
True
Suppose 3*r = -0*r + 144. Let q = 17 - 5. Let x = q + r. Which is smaller: 59 or x?
59
Suppose 5*r - 3*p + 53 = -370, -164 = 2*r + 4*p. Which is smaller: r or -17/3?
r
Let j be ((-2)/(-4))/(((-21)/(-10))/21). Suppose -j*s = -2*m + 15, -3*m + 6*s - 3*s + 9 = 0. Is -2/677 > m?
False
Let w(i) = -20*i + 71. Let c be w(4). Let x(n) = -17*n - 129. Let u be x(c). Which is smaller: u or 201/8?
u
Suppose -4*y - 2*l - 208 = 0, -l + 86 = -3*y - 60. Suppose b = -2*q + 51, -164*b = -169*b + 4*q + 241. Let u = b + y. Is -3/2 greater than or equal to u?
False
Let x be (-13500)/8 + ((-4)/(-4))/(-2). Which is bigger: -1687 or x?
-1687
Suppose -1602 = 9*d - 1593. Let s = -845 - -16062/19. Which is greater: s or d?
s
Suppose 342 - 1462 = -70*h. Which is smaller: 248/15 or h?
h
Let x be 1*(-3)/(-6)*(13 - (13 - -90)). Do x and 1 have different values?
True
Suppose 390 - 144 = 12*s - 162. Is -55 != s?
True
Suppose 0 = q - 0*q - 2. Let i be (-5)/q*30/25. Let s be (-5)/(-30)*i*5. Is s less than -2?
True
Let n = -1 - -2. Let c = 0.04752 + 324.65248. Let p = c + -325. Which is greater: p or n?
n
Let z = -145.2 - 21.8. Let w = -166 - z. Is w >= 0.038?
True
Suppose 2*c = 5*o - 26115, 5 = -5*c + 30. Let b be 2 + -3 - o/(-5181). Is -1 bigger than b?
False
Suppose -38*x - 3124 = -920. Let v be (-10)/x*(-8)/(-60)*-9. Is v > -0.3?
True
Suppose -n + 94 = -86. Let w be 14/(-21) + 118/n. Which is smaller: 1 or w?
w
Let o be 416/(-1190) - (-88)/220. Let p be ((-2)/(-6))/((-49)/21)*-7. Which is smaller: p or o?
o
Let p(j) = 11*j**2 + 0 + 12 + j**3 - 21*j + 32*j. Let t be p(-10). Suppose -5*u = 5, -3*z + 2*u = -t*u - 19. Which is greater: 6 or z?
6
Let q be (-27)/(-30) + (-2)/12. Suppose 4*g = 2*t + 438, 6*t - 2*t - 105 = -g. Let k = 109 - g. Is k equal to q?
False
Suppose -788 = -4*g + 4*f, 0 = -50*g + 53*g - f - 589. Let d = g - 196. Which is smaller: d or -2/33?
-2/33
Suppose -3*t = 4*a - 4*t - 28, 5*t = 3*a - 38. Suppose -8 = -3*l - a*n + 5*n, 4*l = -3*n + 14. Suppose 9*v - l*v = -189. Is v at most as big as -26?
True
Let p = 55 - 49. Let v(b) = -b**2 + 5*b + 1. Let z(c) = c**3 - c**2 - 3*c - 4. Let m be z(3). Let x be v(m). Is p < x?
False
Suppose 11*b - 3*f + 8513 = 15*b, b - 2130 = -f. Is b greater than 0.05?
True
Let z = 77/36 - -79/468. Suppose -5*q - 2*b - 48 = -146, -5*q = -3*b - 103. Let h be 1*3/(-15) - (-24)/q. Which is smaller: h or z?
h
Suppose 0 = -36*n - 95558 + 24350. Which is bigger: -1977 or n?
-1977
Suppose -2*k = -k - 14. Suppose 0*z + 3*z = 5*v - 3, 4*v + 4*z = -4. Suppose 5*w = 5, v = -m - m - 4*w. Is k greater than or equal to m?
True
Let i = 44671469/4669 - 66974/7. Which is smaller: i or 1?
i
Let r = -8460 - -14929. Is r != 6467?
True
Let l(t) = t**3 - 3*t**2 - 10*t + 14. Let m be l(2). Let u(g) = -g**2 - 8*g - 33. Let p be u(m). Are p and -258/5 nonequal?
True
Let r(x) = -x**3 + 60*x**2 - 43*x + 16. Let y(l) = -12*l**2 + 9*l - 3. Let u(i) = 2*r(i) + 11*y(i). Let c be u(-7). Which is smaller: c or -10?
-10
Let l(b) = b - 6. Let v be l(6). Let q = 39 + 71. Let j = q - 120. Is j less than or equal to v?
True
Let c = 10915 + -152779/14. Is c greater than -1/7?
True
Let c(x) = 4*x**2 - 4. Let j(u) = -u**2 + 1. Let d(n) = -c(n) - 5*j(n). Let r be d(1). Let q be (-6)/3 + (-5)/((-1040)/414). Which is bigger: q or r?
r
Suppose 4*p - 4*v = 4, 3*v = -2*p - v - 28. Let s = 1 - p. Suppose -x + 4*b = 3 - 1, -5 = s*b. Is -8 smaller than x?
True
Suppose 0 = -2*i - 2*f + 38, i = -7*f + 2*f + 7. Suppose 150 = -4*o - i. Suppose 220 = -7*k + 2*k. Do k and o have different values?
True
Suppose 35*k + 2736 = -13*k. Let s be 1/(-1 - (-112)/110). Let l = k + s. Is -5 < l?
True
Let y be (-52310)/726103 + 6/21. Let j = 2/2207 - y. Is 1 equal to j?
False
Let s(a) = 4*a + 61. Let q be s(-14). Let c be (3 - -7)*1/q. Suppose 0 = c*f + 26 - 34. Is 14/3 equal to f?
False
Let n be (2/6)/((4 - -4)/504). Let f be (-6 - (-6 + 3))*(-28)/n. Suppose -f = u + 3*u. Which is bigger: -3/22 or u?
-3/22
Let n(z) = 3*z**2 + 7*z + 34. Let f(u) = -u**2 - 1. Let o(y) = -4*f(y) - n(y). Let p be o(10). Suppose p*v = 4*v + 5*k + 88, 2*v = -k - 38. Is -16 != v?
True
Suppose 3*q + 110 = 13*q. Suppose 60 = 7*i + q. Suppose i*g + 18 = -3. Is g less than or equal to -0.2?
True
Suppose -10*n = 6*n + 384. Let i be 46/3 + 56/n + 2. Suppose 83 = 5*s - 2*x, 0*s + x = 4*s - 67. Which is smaller: s or i?
i
Suppose -2*k = 2*h + 4, 0 = h + 11*k - 12*k - 2. Which is smaller: -1/123 or h?
-1/123
Let u = -121 + 181. Let q = 91 - u. Let d = q - 65. Which is smaller: d or 2/5?
d
Let v be (3 + 50/(-20))/(3 + -1). Let z = -24 + 27. Suppose z*t - 8 + 5 = 0. Which is bigger: v or t?
t
Let s(d) = 5*d**2 + 5*d + 1. Let i(r) = -6*r**2 - 6*r. Let b(m) = 4*i(m) + 5*s(m). Let f be b(0). Suppose -4*n = -3*h + f, n - 5 = -n + 3*h. Is -4 > n?
True
Suppose 4*d = -s + 2*s + 3, 0 = -2*s + 5*d - 3. Suppose -4*z = -5*y + 9, 2*y - 3*y + s = 0. Which is bigger: 0 or z?
0
Suppose 5*w - 2*i = -132, -4*w = 23*i - 24*i + 105. Which is greater: 177 or w?
177
Suppose 6*p + 648 = 24*p. Suppose p*z = -19 + 271. Is z at most as big as 63/8?
True
Let q = -19249 - -19252. Which is greater: q or 370?
370
Let t = 0.6614 - 0.6614. Is -268 smaller than t?
True
Let o(y) = -3*y - 37. Let v be o(-12). Let f be ((-36)/60)/(88/43 + -2). Let r = -2963/230 - f. Is r not equal to v?
True
Let l = -1072600330129486/228735 - -4689270685. Let n = 4/1035 - l. Which is smaller: -1 or n?
-1
Let y = 7003753/13 - 539091. Which is greater: y or -340?
-340
Suppose 5*x - 2*w + 2 = 6*x, -3*w = -3*x - 3. Suppose 49 = 4*b - 5*a, b + x*b - 2*a - 13 = 0. Let p = -6 - b. Which is smaller: 0 or p?
p
Let q be (13 - 19)*(0 - 1842/36*2). Is 604 at most q?
True
Let p = 114687/97160527 + -17/11923. Let s = p - 16080/888241. Which is smaller: 0 or s?
s
Let x(j) = -j**3 + 14*j**2 - 29*j - 69. Let c be x(16). Let n be ((-2)/5)/((-19)/(c/(-891))). Which is smaller: -1 or n?
-1
Let h(d) = -d**3 - 9*d**2 + 23*d + 16. Let p be h(-11). Suppose -12*z - p*z = 0. Which is greater: 9/13 or z?
9/13
Let x be (-278)/(-973) - (-2 - 186002/(-81382)). Which is greater: 1 or x?
1
Let u = -77 - -27. Let a = 76 + u. Suppose 0 = -y - 27 + a. Which is smaller: -1/83 or y?
y
Let d = 2837/664 + 17/166. Let z be (1 - 3) + ((-9)/(-3) - -2). Suppose 0 = -q - z*q + c + 11, 3*q - 13 = -4*c. Which is greater: q or d?
d
Suppose 3*r - 2*x = -6*x + 36, 4*r + 4*x - 48 = 0. Let b be r/9 - (-18)/27. Suppose d + 5 + 1 = 0. Which is bigger: b or d?
b
Let q be ((-2)/(-72))/((-18)/192). Let l = q + 4139/13878. Is 1 bigger than l?
True
Suppose 4*p + 12 = -3*c, p - 26 = 5*c - 6. Suppose 4*o - 3*r = 197, -5*r - 195 = -4*o - p*o. Is o greater than 53?
False
Suppose 8*t - 20 = -5*g + 3*t, 0 = -3*g + 4*t + 47. Let d(l) = -2*l + 11. Let m be d(g). Let x = m - -12. Is 4 smaller than x?
True
Suppose 16*q = 13*q + 9. Suppose -q*t + 4*t + c = 0, -c = -3*t. Which is smaller: t or 2/77?
t
Suppose -3*r + 3*k = 9, 0*r - 6 = 5*r - 2*k. Suppose -86*a + 68*a + 1728 = r. Which is smaller: 0 or a?
0
Suppose 2*y - 247 = -5*p, -2*y + 5*y = -12. Let t = 63 - p. Let g = 3 - -8. Which is smaller: t or g?
g
Let t be (-302)/1661 + (-2 - 2667/33). Are t and -77 equal?
False
Suppose -u - 2 = 0, -3*u - 24 = -3*q + 30. Suppose -4*a + n + 32 = -4*n, 3*n = -5*a + 77. Let z = a - q. Is z < -6?
False
Let q be (-6 + 165/30)/((-30)/(-32)). Let n = 76732 - 2302231/30. Let o = n - q. Is o smaller than -9?
False
Let t = -93376224/3859 + 24197. Is t >= -1?
True
Suppose 11*i = 17*i - 24. Suppose 0 = 5*a - z - 5, z - 7 = -i*a + 3*a. Is a greater than 1?
True
Let i(s) be the second derivative of -s**4/12 - s**3 + 2*s**2 + 2*s. Let d be i(-6). Let o be ((-16)/10 - -1)*(16 + -17). Which is smaller: d or o?
o
Let k = 1297/16833 + -12/181. Which is smaller: k or 0?
0
Let t be 2 - 15/6 - 39/(-6). Let n(s) = -s**2 + 9*s - 6. Let j be n(t). Let d be 0/(-1) + 168/15. Is j equal to d?
False
Let x be -18*(-4 - -10)/(-126) + -3. Let j be 4/6 + 358/(-105). Let k = x - j. Whic