maller: -8 or g?
-8
Let s(t) = -3*t**2 - 51*t - 26. Let z be s(-15). Suppose k - 6*g - z = -g, -5*k + g + 296 = 0. Which is smaller: 61 or k?
k
Suppose 3*i = 10*n - 8*n - 3294, i + 3*n + 1076 = 0. Which is smaller: -1091 or i?
i
Let y be (2/6)/((-957)/18). Let m be (-7)/(21/6) - (9 + -12). Which is bigger: y or m?
m
Let m be (-27 - -26)*((-14)/(-2) + 1). Let u be 2/m - (-92)/(-400). Suppose -5*i = -g - 5, i + 4*g - 6*g = 10. Is u at least i?
False
Let q(s) = s**3 + 25*s**2 + 15*s - 55. Let w be q(-24). Suppose -w*h + 18 = -155*h. Is 38/11 less than h?
False
Let c = 106 - 347. Let b = c + 200. Is b less than -42?
False
Let i be (-10)/(1 - (-14)/(-4)). Suppose 0 = 3*o - i*a + 59, -a + 4*a - 80 = 5*o. Suppose 0 = 4*y + 5 + 47. Is y at most as big as o?
True
Let w be (-345)/((-20)/4)*4/12. Suppose g - 8 = -5*a - w, 5*g = -4*a - 12. Let f = 637/53932 - -1/388. Which is smaller: g or f?
g
Suppose -322*j + 293*j = 11 + 18. Which is bigger: -5/594 or j?
-5/594
Let u be (-15)/2 + 5/10. Let t(i) = -5*i + 2. Let r be t(1). Let n be (2/(-3))/(2 - u/r). Is n greater than or equal to 3?
False
Let j be 1/4 - (-2)/(16/2302). Suppose 168 + j = -38*q. Is q >= -9?
False
Suppose -528 = -5*a - 48. Suppose a = -5*b - 429. Which is bigger: -106 or b?
b
Let u(p) = -3*p**2 - 38*p - 5. Suppose 8*g + 77 - 29 = 0. Let q be u(g). Which is bigger: 116 or q?
116
Suppose -4*r + 2*j + 4 = 0, r + 2 = -2*j + 8. Suppose r*l + 4*h - 10 = 0, -4*l - l + h = 8. Let w be 577/665 + -14*33/539. Are l and w equal?
False
Let a = 0.0363752 - -84.9030248. Let s = -0.0606 - a. Which is bigger: -2 or s?
-2
Let x = 1388.8 - -432.2. Which is smaller: 1/4 or x?
1/4
Let p(q) = -296*q + 4145. Let u be p(14). Which is smaller: -8534/3 or u?
-8534/3
Suppose -11*u - 4*p = -13*u - 516, -1027 = 4*u - 3*p. Let a = u - -230. Which is smaller: -35 or a?
-35
Let m be (((-132)/27)/11)/(62/3). Let n = 13/2046 + m. Suppose -2*c + 1 = 3. Is c greater than or equal to n?
False
Let h = -4800 - -4111. Are h and -6214/9 non-equal?
True
Suppose 5*j + 15 = -5*u, -21 = 4*j - 4*u + 5*u. Let r = 5 - 7. Let b(i) = i**3 + 4*i**2 + 6*i + 2. Let z be b(r). Do z and j have the same value?
False
Let h be 36/126 - (-108)/14. Let l(f) = 6*f**3 + f - 1. Let k be l(1). Suppose h*q - k*q = 2. Which is smaller: -1/50 or q?
-1/50
Let a(o) = -33*o - 294. Let i be a(-9). Suppose -2*c + 125 = -i*c + 5*n, 0 = -5*n. Which is smaller: c or 1/4?
c
Let k = 393 + 3280. Is k < 3672?
False
Let u be (-3396)/1981 - ((-8)/(-84))/((-1)/(-3)). Which is bigger: u or -35/19?
-35/19
Suppose y + 6 = -0*y. Suppose 735*d - 739*d = -v - 26, -d + 8 = -v. Is v >= y?
True
Let r = 19 + -19.04. Let h = r - 0.06. Let n be -5 - (-34)/4*(-74)/(-185). Which is greater: h or n?
h
Let i be -5*((-217)/35 - -6). Which is smaller: 51/223 or i?
51/223
Let c be (-6)/(-10) - (-4)/10. Let y(s) = -93*s + 164. Let z be y(4). Let u = 201 + z. Is c equal to u?
False
Let s be (155/(-6) - 340/(-136))*72/(-14). Let w(u) = -13*u + 3. Let q be w(6). Let g = q + s. Which is smaller: 44 or g?
44
Let t(o) = 3*o + 47. Let g be t(-15). Suppose 0 = -3*n + g*q, -5*n - 3*q + 17 = -2. Suppose -u + 14 = -n*m, -3*u = 2*u + 4*m - 14. Is u at most as big as -2/7?
False
Let n(j) = 17*j + 37. Let a be n(7). Let c be (1/(-3))/((8/a)/2). Which is smaller: 8 or c?
c
Let t = -187584319 - -18195458854/97. Let m = -2269 - t. Which is smaller: 1 or m?
m
Let f = -3.6 + -0.1. Let b = 3.33396 + -0.03396. Let m = f - b. Are m and 1 non-equal?
True
Let t = 51186/17 + -692188244/229891. Which is smaller: -1 or t?
-1
Suppose 0 = -2*i + 2, 4*s = -3*i + 8*i + 335. Let b be (748/s)/(2/(-10)). Is -45 less than or equal to b?
True
Let s be 12/10 + -35 + (-32700)/(-250). Is s at most as big as 83?
False
Suppose -5*z + 30 - 5 = 0. Let p = -421.01 + 421. Which is smaller: p or z?
p
Suppose n = -3*n - 20, 4*n = -5*q - 25. Let x be (-5)/(-123)*(-4)/(-10). Which is greater: x or q?
x
Let b = 4126 - 4136. Which is smaller: -50 or b?
-50
Let u = -10592 + 10592.03. Are u and 3 nonequal?
True
Suppose 23 = 4*l - 5. Let x be ((-24)/(-20))/(-1 + 26/20). Which is greater: x or l?
l
Let s(p) = p**3 - 7*p**2 + 10*p - 9. Let v be s(4). Let j = v + 23. Suppose -j = -3*b - 0. Which is smaller: 3 or b?
b
Let t be (-893)/231 + (-2)/11 - (-130)/26. Is t less than 12?
True
Let v(i) = 4*i**3 - 432*i**2 - 454*i - 71. Let x be v(109). Which is greater: x or -2035?
x
Let v(d) = -d**3 + 2*d**2 + 2*d - 3. Let w be v(2). Let i(f) = 2*f**3 - f**2 + 3*f - 3. Let s be i(w). Suppose -13*t - s = -12*t. Is -0.01 less than t?
False
Let o = -2398.821 + 2397. Is o at least as big as 0.1?
False
Let s = -625 + 624.8. Let b be 2*(3 - 1)*99/31086. Is b >= s?
True
Let l = 102 + -71. Suppose -2*b - 4*y = -3*y + 35, -b = 5*y + l. Let c be 2 + 1 + b/(-4). Is c at least 7?
True
Let s be ((-4)/(-8) + -5)*-2. Let m be 0*(-4*9/(-12) + -4). Suppose m = 13*g - 16*g + 21. Do g and s have the same value?
False
Let b = -889/17380 + 1/869. Let u be (-2)/4*(4 + -10). Suppose 0 = z + 2*z + u. Do z and b have the same value?
False
Let o(y) = -3*y**3 - 3*y**2 - 224*y + 1374. Let l be o(6). Are 2 and l equal?
False
Let p = 56 - 2. Let b = p + -57. Let v be b - (5/((-20)/8))/1. Do v and 10 have different values?
True
Let u be 2653*(15 - (-1 - -15)). Which is smaller: 2654 or u?
u
Suppose -4*f + x = -9*f + 3423, 0 = 5*x - 15. Suppose 30*y + 8*y = f. Is 17 equal to y?
False
Suppose 13*t = 257 + 1745. Is 135 >= t?
False
Let o(g) = -2*g - 1. Let v be o(2). Suppose 0 = -b - d + 5, -b + 5*d = -0*d + 7. Let y(k) = -k**3 + 4*k**2 - 3*k - 6. Let f be y(b). Which is greater: v or f?
v
Let z be ((-3 + 3)/10)/(-2). Let g = 1244653/255 + -4881. Which is smaller: z or g?
g
Let x be (-60)/75*(-2)/44. Let z(s) = -s**2 + 7*s + 5. Let r be z(7). Suppose -5*p + g = -2, -3*g - 1 = -5*p - r. Is x > p?
False
Let p = -2425.79 - -2425. Which is greater: p or -0.2?
-0.2
Suppose -5*q - 194 + 203 = -2*o, 0 = 3*o - q - 19. Suppose 5*j + 10 = 4*l - 10, 5*j = 3*l - 20. Suppose l*r - 2*r = -18. Which is greater: r or o?
r
Suppose n - 644 = -4*w - 1934, -5*w + 1308 = -n. Which is smaller: n or -1299?
-1299
Let u = 107 + -51. Suppose -f = 2*z + 114, -2*z + f = 12 + 102. Let k = z + u. Which is bigger: k or 2?
2
Let j be ((-22)/(-55)*53)/(1/35) + -6. Is 5 greater than j?
False
Let j be 9 + 22/(-8 + 6). Let u be (432/252)/(5/((-175)/j)). Is u < 123/4?
True
Let y = -51.582 - -0.182. Let i = -51 - y. Does 6 = i?
False
Let c = -3158 - -3168. Let l = 2.8 - 0.8. Let j = 6 - l. Is c greater than or equal to j?
True
Let a(i) = -221*i + 2110. Let f be a(21). Which is bigger: f or -2532?
f
Suppose 25617 = 4*k - 3*y, 5*k - 9*y - 31988 = -10*y. Is k equal to 6399?
True
Let n = 22 + -16. Let r(o) = o**2 - 4*o + 39. Let h be r(n). Is h >= 54?
False
Let u = 257.6 + -254.6. Are u and -546 non-equal?
True
Suppose -9 = -0*b - 3*b. Let c(z) = 2*z**2 + 42*z + 208. Let r be c(-8). Suppose b = 3*l - r. Which is smaller: 1/36 or l?
1/36
Let r be ((-494)/30 - -17) + (-1)/5 + 0. Which is bigger: r or 29?
29
Let s = -2.16 + 0.46. Let q = s + 1.44. Is q > -0.1?
False
Let g be ((-24)/(-36))/((-2)/(-3)). Suppose -r + g - 2 = 0. Let m be (-56)/176 - (-2)/(-11). Which is smaller: r or m?
r
Let m be (-3 + (-266)/(-49))*13879/(-19). Let b = m - -1774. Which is greater: 1 or b?
1
Let q be -2*(-9)/(-8)*4. Suppose -b + 21 = -2*v, -4*v - 73*b - 37 = -70*b. Is v greater than q?
False
Let q = -4.947 - 0.053. Which is greater: q or 2/299?
2/299
Suppose -4*z - 48 = -a, -5*z + 9*z = -4*a + 292. Suppose x + 2*m - 77 = 0, 3*m = 14 + 1. Which is smaller: x or a?
x
Let w(b) = b**3 + 20*b**2 - 10*b + 21. Let y be w(-11). Let a be 4 + (-15)/3 + (-602)/y. Let c = a + -2/305. Is 2 greater than c?
True
Suppose 187 + 149 = 46*f - 400. Is -49 <= f?
True
Suppose -13*p + 3*p = 12*p. Suppose 5*r - 10*r + 60 = p. Which is smaller: r or 23/2?
23/2
Let t = 42 + -118. Let w = -42 + 118. Let g = w + t. Is g < 17?
True
Let g be ((-20)/(-15))/(-1) + 30/9. Suppose -24 = -26*p + g*p. Does p = -2/25?
False
Let n(z) = z**3 - 2*z**2 + 38*z + 207. Let r be n(7). Which is bigger: r or 710?
r
Let i = 8219 + -8219.1. Which is smaller: -21830 or i?
-21830
Suppose 0 = -4*j + 5*k - 15, 3*k + 35 = j - 3*j. Let b(i) = i**3 + 11*i**2 + 8*i - 16. Let t be b(j). Suppose -v = 25 - t