 -1753?
True
Suppose -46*k = 32*k - 25*k + 63812. Which is bigger: -1205 or k?
k
Let w(x) = x**3 + 6*x**2 - 3*x - 8. Let g be w(-6). Suppose -3*j - g = -j, 1194 = -4*r - 2*j. Let f = r + 5622/19. Which is smaller: f or 0?
f
Suppose -1175 - 785 = -5*n. Let t = n + -383. Which is greater: 33 or t?
33
Let k = -600.1 + 682. Let l = 195 - 113. Let m = l - k. Which is smaller: -35 or m?
-35
Let b = 2120 - 12559/6. Let z(x) = -24*x - 93. Let r be z(-5). Is r equal to b?
False
Let k(f) = -f**2 + f + 7*f + f**3 - 2 - 11*f. Let o be k(-1). Let x be -2*(-1)/(-8)*o. Which is bigger: x or -1?
x
Let s = -25 - -26. Let t be (-4 + (-22)/(-6))*-9 - (-1833)/(-559). Which is smaller: s or t?
t
Let t be 4/1 - (-146)/(-17). Let k = -11508 - -11503. Is t at least k?
True
Suppose 47*a - 50*a = -3. Suppose 0 = -2*t + a + 3. Suppose -4*z - p = -20, 0 = -t*z + 4*z - 3*p + 4. Do 3 and z have different values?
True
Let h be (-4 + (-2)/(-2 + 0))*1. Let i(j) = -4*j - 38. Let z(k) = 12*k + 113. Let b(n) = h*z(n) - 8*i(n). Let u be b(-13). Which is bigger: u or 16?
u
Let m = 13.41 - 643.41. Let u = m + 718. Which is bigger: -0.2 or u?
u
Let p(k) = 8*k - 46. Let x(j) = 17*j - 96. Let s(b) = 9*p(b) - 4*x(b). Let y be s(5). Which is greater: -12 or y?
y
Suppose a = -5*n + 2 + 4, -14 = 3*n + 5*a. Let i(u) = u**3 + 10*u**2 + 23*u - 3. Let t be i(-8). Let y = 70 + t. Which is bigger: y or n?
y
Suppose -4*y - 232 = 2*c, 4*c = -4*y - 55 - 173. Let s(n) = -8*n**2 + 10*n - 8. Let w be s(10). Let t be (3/9)/((-4)/w)*-1. Is y != t?
False
Let p be 6 - (8 + (-1 - 3)). Suppose 0 = 5*b - 0*b + p*k - 157, -4*b = 5*k - 112. Let z be (b/(-484))/((-3)/(-2)). Is 0 smaller than z?
False
Let a = 25000 + -775091/31. Is a less than -3?
False
Let l(o) = o**3 + 9*o**2 + 13*o - 5. Let i be l(-8). Let m be (4/(-60))/(2*(-2)/2676). Let n = i + m. Is n bigger than -1?
True
Suppose -170*n + 141*n = 493. Is n at most 9?
True
Let a(l) = 18*l**2 + 12*l - 735. Let n be a(-26). Is n bigger than 11121?
False
Let r(d) = -d + 9*d**3 + 3*d**2 - d - 3*d - 12 + 3*d**2. Let j be r(-3). Which is bigger: j or -187?
j
Suppose -6*c + 135 = -c. Suppose 118 + 57 = 35*h. Suppose 0 = -u - 4*a - 11, h*u + a - 14 = -12. Is u > c?
False
Let x be 28/10*870/12. Let k = x + -6703/33. Which is greater: k or 1?
1
Suppose 39*a = -78*a + 39*a - 78. Which is smaller: a or 7/703?
a
Suppose 5*g = 2*g + 12. Suppose 7*c - 9 = g*c. Suppose -2*l + 0*l + 36 = c*t, 0 = -4*l - 12. Is 4 at most as big as t?
True
Suppose 7*i - 154557 = -777417. Let m be (i/585)/((-226)/(-27)). Let g = 236/13 + m. Is g bigger than 0?
False
Let k be (-39 + -1)*18/45. Let a be (-1 - k)*2573/1494. Which is greater: 27 or a?
27
Let i be 321/2461 + 12/(-92). Let g = 60 + -92. Is g at most i?
True
Let i = 22/563 + -1192/1689. Which is bigger: -2389 or i?
i
Let p = -402 + 962. Let x = p - 236. Are 326 and x unequal?
True
Suppose -4*g + 3*j = -14, 91*g + 5*j + 37 = 84*g. Let f be 0 + 2 + (-66)/41. Which is bigger: f or g?
f
Let q = -2.5 + -35.5. Let w = 5055 - 5022. Let s = w + q. Are s and 11 unequal?
True
Suppose -3*a = -2*y + 1, -2*a + y - 4*y = -21. Is 833 at most as big as a?
False
Let b be (6/(-5))/((-52)/17550). Let t be -1*(b/171 + -2). Is t greater than 0.2?
False
Let t = 0.162 - 0.012. Let n = t + 12.85. Which is bigger: n or 2/9?
n
Suppose 0 = -7*k + 43*k - 26*k. Is -46/399 at most k?
True
Let a be (-112)/(-64)*(-17470)/(-35) + (-3)/6. Which is bigger: 860 or a?
a
Let n = 0.4 - 0.16. Let i = -125 - -120.86. Let a = i + n. Does a = 0.1?
False
Let a(s) = 2*s**2 + 21*s - 5. Let z be a(-11). Let g be (-126)/(-28) - (-3)/z. Is 39/8 >= g?
False
Suppose -3*n = a + 33, 272*a + 44 = -4*n + 275*a. Let r = -50 + 31. Is n smaller than r?
False
Let h = -0.071 + -0.211. Let t = h + -6.718. Which is smaller: 0.4 or t?
t
Let c(p) = 31*p**3 - 2*p**2 - 2*p - 1. Let q be c(-1). Let o = -102 - q. Let d be (-24)/56 - 34/o. Is 0 less than d?
True
Let q(t) = -83*t + 580. Let l be q(7). Suppose 4*i + 3*n - 14 = 0, -2*n + 8 = 6*i - 4*i. Let o be -2*i/(-36)*-3. Which is smaller: o or l?
l
Let v = -3 + 147/50. Let m(j) = 8*j**2 + 3 + 6 - 3 - 3*j - 5*j - j**3. Let x be m(7). Do x and v have different values?
True
Let f be 0 - -2 - 40/10. Let c be f/(-8) + 4/(64/12). Let a be 4/(-6)*(c - 15/6). Is 2/37 != a?
True
Let z = 74 - 38. Let y = 26.4 - 26.4. Let i = y + z. Which is smaller: i or 0?
0
Let u be 2/10 - (-56)/20. Suppose u*q - 1819 = -4*i, 2*q + 395 - 1605 = -2*i. Is 601 >= q?
True
Let g be (-350)/(-50) + 135976/(-13598) + 0 + 3. Which is bigger: 0 or g?
g
Let o = -51 + 55. Suppose 0 = -o*j + 145 - 153. Let x be 52/(-20) - j - (-160)/(-25). Which is greater: -4 or x?
-4
Let d be 12/6*(15 - 1). Let n = 27 - d. Which is bigger: n or 5/51?
5/51
Let f be 143/121 - 4/22. Let w be (-31 - -2)*(f - -2). Let l = w + 85. Which is smaller: -1 or l?
l
Let p be (0 - 1) + 25/9. Suppose -210 = 30*v - 300. Is p smaller than v?
True
Suppose -4*q + 6*q + 103 = 3*z, 2*q - 4*z + 106 = 0. Let u = 45 + q. Is -15/8 != u?
True
Let l(w) = -w**3 + 12*w**2 + 8. Let c be l(12). Suppose -2*b - c*b + 180 = 0. Which is smaller: 16 or b?
16
Let f(n) = n**3 + 17*n**2 + 14*n - 31. Let h be f(-16). Let a be (34 + -34 + h/(-2))*-358. Is 178 less than a?
True
Let z = -15.896 - 0.104. Let d = 4 + z. Let t = d + -41. Which is greater: t or -1?
-1
Let v = -21 - -6. Suppose 0 = -w - 0*x - 2*x + 52, -3*w = 5*x - 161. Suppose -5 = 5*z, 0*z = -4*f - 2*z - w. Are v and f nonequal?
False
Suppose -8 = 244*g - 245*g. Suppose g = 2*a + 2*a - 4*b, -2*a + b = -1. Which is greater: -3/95 or a?
-3/95
Let c be -7 - (5 + (18/(-54) - 76822/6)). Which is smaller: c or 12793?
c
Suppose -5*w - m + 1154 = 0, -w - 4*w + 2*m + 1157 = 0. Suppose -4*q = -w - 273. Let r be (-4)/q + (-3)/27. Is r < -1?
False
Let z = -1708/255 + 56/51. Let w = z + 298/55. Is w <= 27?
True
Let y = 8703 + -18681. Is -1/4 less than or equal to y?
False
Suppose f - 5 = a - 3*a, -2*a - 10 = -4*f. Suppose f*u = m + 1, -m = 2*m - 3*u + 15. Let c be 1 - (m - -1 - 3). Is c less than or equal to 0.2?
False
Suppose 2*n = 2*s + 4*n + 2, 2*s - n - 10 = 0. Suppose -6*t = -4*t - s*g + 111, 4*t - 3*g + 225 = 0. Are t and -56 non-equal?
True
Let o = 1/25 + -16/25. Let n(t) = -51*t**2 - 7*t - 6. Let s be n(-3). Let x = -2229/5 - s. Is o > x?
True
Let n(u) = 3*u**3 + 57*u**2 - 2*u - 38. Let j be n(-19). Which is bigger: -39/89 or j?
j
Let w be (12/20 + 744/60)*(8 - 1). Is -16 < w?
True
Let d = 8548/37 - 231. Suppose -8*q + 19 = -13. Suppose -q*i - 3*p = -7, -2*i = 3*i + 2*p - 7. Is i != d?
True
Let d be (3474/8055)/((-24)/130) + 2. Let c = 1/358 + d. Let b = 0.6 + -0.9. Which is bigger: c or b?
b
Let v(w) be the third derivative of -w**5/60 - 4*w**4/3 + 31*w**3/6 + w**2. Let y(d) be the first derivative of v(d). Let r be y(-19). Is r < 10?
True
Let w be 3 + (-5 - -2) - -14*4/(-140). Which is bigger: 8/113 or w?
8/113
Suppose -2*a - 6*a + 56 = 0. Let f be 7/a*16266/(-27). Let j = -604 - f. Which is greater: 2/7 or j?
2/7
Let u = 3917 + -39129/10. Let x = u - 509/15. Which is smaller: -30 or x?
-30
Let u(g) = -g**3 - 8*g**2 - 8*g - 2. Let c = -67 + 60. Let x be u(c). Suppose 0 = -x*l + 1 - 91. Is l less than or equal to -18?
True
Let w = -1354 + -643. Let f be (-1 + 0)/((-1)/w). Let r = -73877/37 - f. Is 1 less than or equal to r?
False
Suppose 4*m + 16 = 0, 12 = 3*d - 7*d - 3*m. Let s be (-4)/(192500/694529) + 14 + 9/21. Which is smaller: s or d?
s
Let h = -64235 - -92499. Which is smaller: h or 28263?
28263
Let u be 525/700 - ((-3849)/4 - 0). Let g = 334 - u. Which is greater: -630 or g?
g
Let w = -5766 - -5769. Is -29/28 bigger than w?
False
Let y(n) = -2*n**3 + 25*n**2 - 24*n - 1. Let p(k) = 8*k**2 + 3*k. Let i be p(1). Let c be y(i). Does 97 = c?
False
Suppose -526 = -15*v - 817 + 3936. Which is smaller: 241 or v?
241
Suppose -12*i - 28 - 15 = -19. Is i less than -9/8?
True
Let x = 6 + -1. Let h = -7139 - -7146. Suppose 11*b - h*b - 4 = 4*j, x = 5*b - 4*j. Is b less than or equal to 1/51?
False
Let v = 1171 - 1170. Which is bigger: v or -2/46779?
v
Let o(x) = 14*x**3 - 65*x**2 + 56*x + 121. Let j(u) = -5*u**3 + 22*u**2 - 19*u - 41. Let q(g) = 11*j(g) + 4*o(g). Let t be q(17). Is t smaller than -11/15?
True
Let q be (4 + -2)*-1*-6. Suppose -8814 = q*m - 14*m. Let i be 1547/m + 1*