is bigger: j or -8?
-8
Suppose 535*f = 17*f + 387982. Which is greater: f or 754?
754
Suppose -17*h + 323 = -11*h - 25*h. Let k(u) = u**3 + 4*u**2 + 4. Let c be k(-5). Which is greater: h or c?
h
Suppose w + 4*v = -0*v + 163, w - 128 = 3*v. Suppose 0 = -u - w + 109. Which is smaller: 0.1 or u?
u
Let p = 197420158/6727 + -205432/7. Which is smaller: 0 or p?
0
Suppose -239 = 15*c - 14. Let z(i) = -8*i**2 - 127*i - 17. Let s be z(c). Is -2 < s?
True
Let k be (-1 - (-7 + 3))*-31. Let r be (k/(-11))/(-3) + (-10)/55. Let z = r + 8/3. Is 4 less than or equal to z?
False
Let m = -7596 + 7756. Which is smaller: 153 or m?
153
Let a = 1289/399 - -22/399. Let w = -1 + 4. Which is greater: a or w?
a
Let k = 9722 - 9721.9. Let o be 10*(6/(-15) - 0). Let f be -2 - o - (-184)/(-94). Are k and f unequal?
True
Let u(g) = 7*g**2 + 99*g + 4. Let a = -36 + 24. Let f be u(a). Does f = -177?
False
Let r be ((-7719)/(-1577) + (-1 - 4))*6/44. Which is smaller: r or 0?
r
Suppose -d = -4*t + 113 + 24, 32 = t + 2*d. Let m(s) = -s**2 + 4*s - 2. Let n be m(8). Let h = n + t. Is -2 not equal to h?
True
Suppose -l + 1404 = -5*b - 5*l, -5*b = 2*l + 1412. Let w = 291 + b. Which is greater: w or 53/8?
w
Let a = 9617/204 - 4531/68. Which is greater: a or -19?
-19
Let s be (-10)/4 + (-26763)/(-117766)*11. Which is smaller: 1/4 or s?
s
Suppose 0 = 3*t + 174 + 114. Let i = t - -87. Let g be 20/6*(-2 + -1). Is g greater than or equal to i?
False
Let m be ((-252)/(-12))/((-3)/(-6)). Is 42 equal to m?
True
Let s = 611 - 257. Suppose -5*p = p - s. Let y = p + -59. Do y and 4/11 have the same value?
False
Suppose -4*r - 138 = d - 2*d, 0 = -2*d - 4*r + 252. Let l be 21/8 - (-24)/64. Suppose -3*x = -2*k + 252, -4*x = -l*k + 256 + 123. Which is bigger: k or d?
d
Let k(d) = 7*d**2 - d. Let s be k(1). Let i = 6943 + -6941. Is s equal to i?
False
Let o = -18 + 7. Let s = -32147 - -128607/4. Which is smaller: s or o?
o
Let r = 662.9 - 629. Let h = r + -28.2. Is h at least -1?
True
Let j(n) = -4*n**2 + 2*n + 6. Let a be j(2). Suppose 0 = 6*u - 9*u + 12. Let q be 28/6*((-15)/u)/3. Do q and a have different values?
True
Let v = 16817/14 + -1215. Let p = -30315/2198 - v. Does p = -1?
False
Let v be (-22)/33*(-30)/203390. Are -1 and v equal?
False
Let l be (4/18)/(10/14505). Suppose 5591 = -14*x + 929. Let k = x + l. Do k and -12 have the same value?
False
Let w = 59/159 - 2/53. Let d = -496 - -843. Let a = d + -352. Which is smaller: a or w?
a
Let l = -1081 - -1087. Which is smaller: l or -63?
-63
Suppose 3*n = 0, -8*n + 4*n - 10 = -l. Let x be 20915/(-100)*6/(-9). Let o = x - 779/6. Is o bigger than l?
False
Suppose -3*c - 606 = c - 2*m, 300 = -2*c + 4*m. Let w be c/(-4)*74/5. Let d = w + -565. Which is greater: d or -3?
d
Let j(a) = 5*a**2 - 237*a - 23. Let q be j(48). Which is bigger: -0.12 or q?
q
Let g = -334 - -350. Let p = 11.4 - -4.4. Let m = p - g. Is m != -3?
True
Let i = -714 + 852. Which is smaller: i or -8?
-8
Let z = -1.2 - -1.165. Let q = 0.965 - z. Which is smaller: q or -13/3?
-13/3
Let x be -11209*10/(-42640) + 1*-3. Let t = -2/533 + x. Which is greater: t or -4?
t
Let z = 21 - 52. Let o = -48 - -60. Let b = z + o. Is b greater than or equal to 0.1?
False
Let m be (4/(-26) - (-9183)/117)*-3. Let z = m - -177. Does z = -57?
False
Let x = 3009 - 3119. Is x greater than or equal to -110?
True
Suppose 2*k = 5*t + 10, -3*t = -2*k + t + 10. Suppose q = k*q + 8. Let u be (-42)/70*q/(-4). Is -1 equal to u?
False
Let x = -74 + 79. Suppose -10 + 0 = x*h. Let j be 1*(h - -5) + -4. Does j = -5.5?
False
Let b be ((-5)/((-75)/(-20)))/(6/9). Let k be 1 + b/1*(-69)/6. Is k >= 21?
True
Let l = -13288 + 13299. Is 173 < l?
False
Let i(j) = -j**3 - 9*j**2 - 3*j - 25. Let m be i(-9). Suppose -4*l = 5*g - 359, 0 = 4*g - 0*g - m*l - 282. Is g greater than 73?
False
Let j = 0.3 + -0.14. Let t = j + -96.16. Which is bigger: t or 0.1?
0.1
Suppose 436 = y - 5*z, -3*z + 441 = 2*y - 366. Let r be (-554)/y - (-68)/51. Which is smaller: r or 1?
r
Let s be 3/(-2 - 126/4). Let q = 7/98922 + -3488173/16569435. Let x = s + q. Do x and -1 have different values?
True
Let o = -4 - -2.6. Let t = 4.514 + -0.114. Let q = 4.3 - t. Is o equal to q?
False
Let u = -258915 - -1816012/7. Is u greater than 516?
False
Let t be ((-789845)/70)/((-23)/(-2)). Let x = t + 981. Which is bigger: x or 1?
1
Let u be (20/12)/(18*11/149094). Is 1240 greater than or equal to u?
False
Suppose 0*o + 7 = -r + 3*o, -o + 2 = 0. Let g(d) = -d**3 - 2*d**2 + d + 2. Let q be g(r). Is q less than or equal to 4/207?
True
Let m = -37.5 + 660.5. Let w = 27284 - 27284. Is m < w?
False
Let z be (-14)/(-35) - (-2)/(-5). Let r = 63 - -177. Let g be (18/r)/(12/(-10)). Do z and g have different values?
True
Let c = 0.67091 - 0.57091. Let p = -1.59 - 31.91. Is c >= p?
True
Let w = -0.025 + -65.975. Let n = 68.5 + w. Let d = n + -2.6. Which is smaller: -9 or d?
-9
Let h be (-16)/10*(-28700)/1680. Which is smaller: 27 or h?
27
Let c = 577.819 + 0.181. Let q = c - 577.932. Is 2/5 <= q?
False
Let l(h) = 3*h**3 + 5*h**2 - 1. Let n be l(-2). Let b be (12/30 + 7/n)*0. Is -3/20 <= b?
True
Suppose -2*p = 4*r - 52, 3*r + 0*p - 30 = 3*p. Suppose 4*u + 2*c = -r, 0 - 8 = 4*u + c. Let d be ((-30)/75)/(0 - -2). Which is smaller: d or u?
u
Let f = -7.06 + 458.06. Is f greater than -2?
True
Let n be (20/50)/(1/10). Let l be ((-72)/(-90))/(n/110). Which is smaller: 10 or l?
10
Let m(q) = q**2 + q - 2. Let z be m(-3). Let l be (1 - -13) + 178/(-16). Is z less than l?
False
Let q = -728.856 - -727. Do q and 0 have the same value?
False
Let v = 5 + -11. Let o(r) = -r**3 - 2*r**2 + 26*r + 13. Let i be o(v). Is i > 3/133?
True
Let h(j) = -j**3 + 51*j**2 - 529*j + 55. Let x be h(22). Is x greater than or equal to 2453?
True
Suppose 12795 = -43*r - 363. Let s = -306 - r. Is -2/3 at most s?
True
Let c = 4 + -17. Let h = 2429 + -2416.07. Let k = c + h. Which is bigger: k or 0.2?
0.2
Let n be ((-4)/20 - 68/(-40))*2/(-3). Which is smaller: -1/20954 or n?
n
Let c = 340 + -15641/45. Let x = c + 70/9. Which is smaller: x or -96?
-96
Let f = -14127 - -18954. Which is bigger: f or 4826?
f
Let q(f) = f**2 - 4*f + 4. Let y be q(4). Suppose -4*k - o = -9*k - 533, 5*o = -5*k - 545. Let r = k - -111. Is y greater than r?
False
Let h be (-100 + 102)/((-29)/(-21) + -1). Let t = 74 + -70. Is t at most h?
True
Let n = -17579 - -9015. Which is bigger: n or -8565?
n
Let k = 2149 + -500. Which is smaller: k or 1646?
1646
Let h(t) = 14*t**2 - 5*t + 26. Let u(a) = 15*a**2 - 6*a + 25. Let q(f) = -4*h(f) + 3*u(f). Let o be q(4). Is o less than -197?
False
Let a = 274948817/4155 + -66173. Which is smaller: a or -1?
-1
Let a = -350 + 400. Suppose a*z = 51*z + 23. Is z >= 2/9?
False
Let k = 150 - 810. Let z = k + 660.1. Is z greater than -1/4?
True
Let o = 937 + -937. Let j(m) = -m**2 + 3*m + 4. Let y be j(4). Suppose 5*q - 12 - 8 = y. Is o at least as big as q?
False
Suppose -1069 = -7*i + 653. Suppose -a = -5*w + i, -9*a + 212 = 4*w - 6*a. Which is smaller: w or -5?
-5
Let r = 3136695/236 + -13291. Which is bigger: 0 or r?
r
Suppose 14 = v + 4*k + 41, 3*v = 5*k + 38. Is v < 3/30245?
False
Let o = 5186/175 + -208/7. Let q(j) = -j**2 + 3*j + 19. Let t be q(6). Is t bigger than o?
True
Let d = -8715 + 8719. Which is smaller: -21 or d?
-21
Let d(z) = 72*z - 4702. Let b be d(65). Suppose 0 = -4*n - 2*t - 49 - 167, -3*n + 4*t - 173 = 0. Let m = 33 + n. Are m and b non-equal?
False
Let q be -18*9 - (-1)/1. Let v = -112 - q. Let k(i) = -31*i**2 + 2034*i - 3151. Let w be k(64). Is w less than or equal to v?
True
Suppose 2*a = -3*q + 4, 0 = a - q + 18 - 15. Let y be 240/(-25)*7/(-2). Let g = -4546/135 + y. Do a and g have the same value?
False
Let j be (-29)/1 + 24/(-8 - 55/(-5)). Let k be -18 - 2*1/(-1). Which is smaller: j or k?
j
Suppose 354*o - 359*o + 61 = 21. Let u be (0 + -2)*(-1)/(-1). Which is smaller: u or o?
u
Let c be 2/(-6) + (-59)/(-204). Let w(v) = -12*v**2 - 92*v + 144. Let k be w(-9). Which is smaller: k or c?
c
Suppose -2*m + 109 - 1 = 0. Let j = m - 60. Let k be (0 + (-2)/j)*3/(-46). Which is greater: k or 0?
0
Let f = -74.8836 + 0.1836. Let c = -75 - f. Let d be (-1)/(-3)*60/50. Is c > d?
False
Let k = -14218 - -14217. Which is smaller: -86/135 or k?
k
Let p = 2537.947 + -2538. Is p smaller tha