s bigger: z or m?
z
Let p = 7196.1 - 7196. Which is greater: 3/236 or p?
p
Let c be 0 + 1/((-2)/(-58)). Let h(s) = 6*s**2 - 7*s**2 + 2*s**2 - 4*s + 4*s**3 - 3*s**3 + 5. Let i be h(3). Is c < i?
False
Let a(l) = -l**2 + 20*l - 17. Let r(m) = 8*m - 93. Let f be r(14). Let q be a(f). Which is greater: 1 or q?
q
Let v = -29.2 + 2.2. Let n = -1032 + 1069. Let p = n + v. Which is smaller: -1/7 or p?
-1/7
Let l be 390 - -3*(0 + 4). Is l less than 400?
False
Let d(k) = k**3 + k**2 + 8. Let x be (-8)/12 - 5/(15/(-14)). Let h be d(x). Suppose -4*i - i = -2*m - 212, -2*i = -4*m - h. Is 42 smaller than i?
False
Let b = 75509 + -75506.5. Let i = -2.5 + 2. Is i at most b?
True
Let k = -6408 - -6404. Which is smaller: -14.6 or k?
-14.6
Let k = 0.4305 + -0.4545. Which is smaller: -4 or k?
-4
Let o(i) = i**3 + 2*i**2 - 115*i + 67. Let u be o(-12). Let n be 1 - 3 - (-15 + -3). Let s = 22 - n. Is u smaller than s?
False
Let t be (73 - 3)/10*1 - 9. Which is bigger: -78/97 or t?
-78/97
Let w(a) = -13*a + 115. Let l be w(10). Let b be (-99)/l + 30/(-50). Is b at most 3?
False
Suppose -19*j + 18*j = 2. Let s be ((-90)/12)/15 + (-1)/j. Let w = -13199/33 + 400. Which is smaller: w or s?
s
Let r = 80 + -10. Let g = -121/2 + r. Let a = -401 - -412. Which is smaller: a or g?
g
Let q = -21.377 + 21.877. Is q > 0.2423?
True
Let b be 4/(-22) + 34832/154. Let c be b/(-114) + (-4)/(-2). Which is greater: 0 or c?
c
Let x = -7.303 + 8.128. Which is bigger: 3 or x?
3
Let d(o) = o**3 + 53*o**2 + 35*o - 223. Let c be d(-53). Which is bigger: -2073 or c?
-2073
Let f be (-1)/11 + (-137)/(-1507). Which is smaller: 28/127 or f?
f
Suppose 3*l - 6*q - 52 = -2*q, -4*l + 121 = 5*q. Let w = l - 28. Let g be 3 + (w - 68/6). Which is greater: g or -11?
-11
Let u = -4 - -20. Suppose 4*i + t = -3*t - u, 4 = 4*i - t. Let x be (-27)/(-3)*(-1)/(-7)*-1. Which is smaller: x or i?
x
Let g = -0.39897 - -352.39897. Which is greater: 24 or g?
g
Let t be 0*(-2)/((-30)/5). Suppose -m - 3*m - c + 4 = t, -2*m - 3*c = 8. Suppose -2*g + 22 = -m*i, -g = -3*g + 8. Which is greater: 0.08 or i?
0.08
Let t(h) = h**3 - 13*h - 10. Let i be t(4). Suppose 2*u = -5*k - 44, i*u - 4*k - 4 = u. Which is bigger: u or -26?
u
Let u be (-26 + 5)*3/(-9). Let p be (-9)/u + 14/49. Let h be 168/(-147)*p/(-92). Which is smaller: 1 or h?
h
Let i(h) = -28*h + 15. Let s(r) = 14*r - 8. Let n(k) = -2*i(k) - 5*s(k). Let a be n(-11). Suppose -a = o - 5*o. Are 42 and o non-equal?
True
Let l = -367.35 + 366. Let a = 0.65 - l. Which is greater: -0.158 or a?
a
Suppose 4*q + 2*j - 8236 = 0, -2*q + 668*j + 4114 = 671*j. Which is bigger: 2069 or q?
2069
Let y be (-4)/(-1) - 728/(-7). Let z be y/28*2/12. Which is smaller: z or 2?
z
Let r = 11695/16 - 731. Let q = r + 113/1168. Is 1 less than or equal to q?
False
Suppose 0 = 186*x - 178*x. Is 1/2198 at least x?
True
Let s(d) = 68*d + 13. Let f be s(2). Suppose -2*y + 0*v = -4*v + 82, 0 = -4*y + 3*v - f. Which is smaller: -0.2 or y?
y
Let k = -151 + 214. Let d = k + -72. Let s be d/(-2)*(-2 - (-11)/6). Is 0 < s?
False
Let u = 1.0069 - 0.0069. Let j = 102 - 265. Is u < j?
False
Suppose -40*b - 74 - 46 = 0. Does 7 = b?
False
Suppose -2*b + 51 = -2*f - 5*b, 5*f - b = -119. Let l = 83 + -16. Suppose -43 + l = -m. Is f at least as big as m?
True
Let o = -103 + 103.09. Let j = o + 0.91. Which is smaller: -81 or j?
-81
Suppose 18*o + 33*o = -6732. Which is smaller: o or -131?
o
Let s be 48/(-96) - 2/4. Let h be (-3930)/1968 - (1 - 3 - 0). Is h less than or equal to s?
False
Let i be 1078/(-70) - 2/(-5). Let b(o) = 2*o**2 + 23*o - 108. Let m be b(i). Is -14/13 greater than or equal to m?
True
Suppose 3*q = 17*q - 546. Suppose -7*i - 367 = -3*i + f, -166 = 2*i + 4*f. Let b = -53 - i. Which is bigger: q or b?
b
Let q = 0.58 - 18.78. Let h = q + 17.5. Which is smaller: h or -0.1?
h
Let w = -7355/64 + 115. Suppose 66*u - 158*u = -78*u. Are w and u non-equal?
True
Let v = -245 - -173. Let x be 5 - (71 - (-5 - 0)). Let m = x - v. Is m at most 10/21?
False
Suppose 7089 + 6411 = 4*v. Let w be v/(-18)*((-2 - -1) + 3). Let i be 0 + (-2 - (-5)/(w/(-162))). Which is smaller: 1 or i?
i
Let n(x) be the first derivative of x**4/4 - 13*x**3 + 20*x**2 - 106*x - 116. Let i be n(38). Which is bigger: i or -32?
i
Suppose 4*d - 93343 = 30*u - 45*u, -5*d = -3*u - 116483. Is 23302 at most d?
True
Let j(r) = 3*r**3 + 2*r**2 - 2. Let d(b) = 8*b - 15. Let m be d(2). Let l be j(m). Suppose 2*v - 4*v = l*a - 78, 0 = -a - 3*v + 19. Which is greater: 26 or a?
a
Let w be ((-287)/49 - -6) + 1826/7. Suppose -3*j = 2*u - 214 + 21, -4*j + w = -u. Which is smaller: j or 68?
j
Suppose 5*k = 10, t + 5*k - 4 = 5. Let i be (t/2)/((-6)/168). Let z(v) = 16*v**2 - 4*v + 4. Let x be z(1). Is x greater than i?
True
Let w = 35421.55437 + 0.44563. Is 0 at most as big as w?
True
Suppose 5*f + 49 = 3*s - 7, -4*s + 5*f = -83. Let w be s/(4/6 + 77/(-264)). Let q = -67 + w. Is 2 less than q?
True
Let a = -524493/699308 - -3/174827. Let l(r) = -r**2 - 4*r - 2. Let p be l(-4). Which is smaller: a or p?
p
Let y = 14572 + -14605. Which is smaller: -53 or y?
-53
Let f = -16796.86 + 16804. Is 1 bigger than f?
False
Let m(w) = -w**3 + 13*w**2 + 38*w - 234. Let j be m(14). Which is smaller: 1106/11 or j?
1106/11
Let j = 0.35206 - -304.64794. Which is smaller: 3 or j?
3
Let y = 25182 + -18990. Is 6192 less than y?
False
Let z be (-86120)/160 + 45/20. Which is greater: -538 or z?
z
Let n be 4/(-30)*-159*(-10)/160. Is n less than or equal to -1?
True
Suppose -23*q - 1868 = 1260. Let c be (1815/550)/(q/(-10) + 2). Is c bigger than 0?
True
Suppose -2*j + x - 571 = 2*j, 0 = -4*j - 3*x - 591. Let r be (j/(-46) - (-21)/(-7))/2. Which is smaller: 0 or r?
0
Let u be (1040/30 - 2)*(-216)/(-14). Let k = 569 - u. Is k > 67?
False
Let a(m) = 2*m + 11. Let i(j) = -2*j**2 + 8*j - 5. Let n be i(4). Let x be a(n). Let c = x - 34. Is c < -33?
False
Suppose 0 = -3*b + 9, -n - b + 1 = 4. Let d be 3*5/(-90) - 1/n. Let k = 12 - d. Is k less than or equal to 98/9?
False
Let u = -23796 - -23821. Let g be 3/(-5) - 235/(-225). Is u at most as big as g?
False
Let c(j) = -2*j**2 - 31*j - 11. Let u be c(-15). Let x be ((-8)/(-6))/(u - (-510)/(-126)). Do -29 and x have the same value?
False
Let h be (-5 - -3)*14 - 3. Let x = h + 145/4. Let j = 313 - 309. Which is greater: x or j?
x
Suppose 2*r = -16 - 0, 3*t = 8*r - 3*r + 133. Let v = -54 - -90. Is v at most as big as t?
False
Suppose 984 - 5264 = 4*n. Which is smaller: n or 0.1?
n
Let u be (1 - 0/4) + 32. Suppose u = 2*r - 3*c, 0 = 5*r - r + 5*c - 99. Let a = 3 - r. Is -17 at most a?
False
Let j(n) = -n**2 + 57*n - 1095. Let m be j(42). Which is bigger: m or -468?
m
Let b be (-134)/10 + (969/85 - 11). Let k(o) = -6*o + 13*o + o**2 + 6*o. Let j be k(b). Does j = -2/113?
False
Let w(u) = 4*u**2 + 13*u + 12. Let y be w(-5). Suppose 11 - y = -3*p. Which is bigger: p or 11?
p
Suppose i = -2*z - 0*i + 22, 3*z = i + 38. Suppose -4*l = 3*p + 1, -p + l + 2 = -0*l. Let g be p + (-1 - 51/(-4)). Which is greater: z or g?
g
Let u be 2/(-4) - 19869/7518. Suppose -1 = 2*m + c + 4*c, m - 5*c + 8 = 0. Which is smaller: u or m?
u
Suppose -21*q + q = 64*q + 14784. Is -179 greater than q?
False
Suppose 8*d + a = 6*d + 823, 9 = -3*a. Suppose -3*y + 8*y - 4*s - 2078 = 0, y - 424 = 5*s. Is y less than d?
False
Let o = -83.1 - -81. Let t = o - -3.1. Is 50 equal to t?
False
Let y = 4177/23374 - -60/403. Which is smaller: 1 or y?
y
Let w be -30 - 4/(-14)*-7. Let h = w - -107. Is h smaller than 74?
False
Let h = -34 - -9. Let w(j) = -j**2 - 22*j + 75. Let q be w(h). Is -2/23 at most q?
True
Suppose -5*i + 9*i = -128*i. Which is smaller: i or -1/2218?
-1/2218
Let j = -2.84 + 1.8. Let k = j - -1.1. Which is smaller: k or 2/43?
2/43
Let s = 2/12569 - 527908/62845. Is -39 < s?
True
Let s = 45.8 - 46. Let n = -14048/25 + 562. Is s > n?
False
Suppose 0 = -g + 12*g. Let f = -17382 - -34025/2. Let v = -9631/26 - f. Which is greater: g or v?
g
Suppose -7*c = -5*k - 2*c + 30, -4 = 4*c. Suppose 4*m = k*m + 3, m + 428 = 5*g. Which is smaller: g or 84?
84
Let h(l) = 53*l**2 - 2*l. Let g be h(1). Suppose -1925 = -66*q + 31*q. Which is smaller: q or g?
g
Let b = -24 + 30. Let z be 10/20*(-1244)/b. Let d = z + 106. Is 3 less than or equal to d?
False
Suppose -r - 4*w - 985 = 0, 0