 is greater: z or 1?
z
Let p be (24/(-9) + 2)/((-40)/(-114300)). Is -1908 at least as big as p?
False
Let b = -30.3 + 0.3. Let c = -1.7 - -1.3. Let h = 0.4 + c. Is b smaller than h?
True
Let z = 23 + -14. Let n be z/(-186)*(-16)/(-6). Let r(p) = 3*p**2 + 27*p + 23. Let l be r(-1). Which is smaller: n or l?
l
Let d be (78/12 + -6)*14. Let i be 1/3 - (d + (-192)/18). Are i and -3 non-equal?
True
Let u be (-30 + (-1408)/(-48))/(2/33). Is u > -516/47?
False
Suppose 2 = 5*o - s, 5*o - s + 10 = -6*s. Suppose k - 124 = 3*i, i - k = -o*i - 40. Which is smaller: -251/6 or i?
i
Let o = -1/587 - -631/25828. Is o < 1?
True
Let g(z) = -3*z**2 + 224*z - 1371. Let h be g(6). Let c be -2 - (0 + 2*67). Which is smaller: h or c?
c
Let y = 23833/50646 + -32/69. Is y smaller than 1?
True
Let j be ((-2)/3)/((-200)/2379060) + 2/(-10). Is j at most 7931?
True
Let s = -2.868 - -4.668. Which is greater: 4 or s?
4
Let s = -24 - -24. Suppose y + 9*y = s. Suppose 2*o + 97 = -3*u, -o + 2*u - 47 + 2 = y. Is -45 greater than o?
True
Let g(p) = 6*p**2 + 98*p + 32. Let v be g(-28). Suppose 9*k + v = 21*k. Is k smaller than 166?
False
Let s = -36489 - -35974. Which is smaller: -2582/5 or s?
-2582/5
Suppose -2*i + 10662 - 1222 = -2*h, 4*i - h = 18880. Let c(a) = 3*a - i - 2*a + 4724. Let d be c(-3). Is d not equal to -1/17?
True
Let f(t) = -t**3 - 9*t**2 - 5*t - 17. Let y be f(-9). Suppose 0 = y*m + 39 - 11. Which is smaller: m or 9/29?
m
Let s = -31.18 + 31.04. Let x = 46229/486970 + -1/5126. Let b = 2/19 + x. Is b at most as big as s?
False
Suppose -w + 1 + 4 = -2*s, 0 = -4*w - 2*s. Let k = 38928/295 + -1980/59. Let t = 98 - k. Is w at least t?
True
Let s be (-22)/(-33) - (-2122)/(-330) - -3. Let g = -26/11 - s. Which is bigger: g or -13?
g
Let l(s) = -22*s**3 - s**2 - 3*s - 5. Let r be l(-2). Suppose 0 = -10*t - 933 + r. Is -75 bigger than t?
True
Let n = 73.81 - -2.99. Let p = 67 - n. Let t = -59.2 + p. Which is greater: t or -1?
-1
Suppose -5*s = 3*v - 4*v + 407, 3*v + 5*s = 1121. Which is greater: 381 or v?
v
Let u(z) = z**3 + 6*z**2 - 8. Let c be u(-6). Let g = -1894 - -3787/2. Do c and g have the same value?
False
Suppose -2*z + 2 = -3*z, -3*z - 2646 = -11*n. Is n bigger than 724/3?
False
Let u = -199/9690 + -11/190. Is u at most as big as 1?
True
Let t = -345 - -357. Suppose 1354 = -t*f - 302. Which is smaller: -139 or f?
-139
Let v be 7 + (-239)/3*(28 + -237)/(-19). Which is smaller: v or -868?
v
Let q = 4534 + -4283. Which is smaller: 254 or q?
q
Let u = -16.7 + 16.14. Let l = 0.44 - u. Which is smaller: l or -11?
-11
Let m(g) = -68*g - 544. Let z be m(-8). Which is smaller: 237.8 or z?
z
Let g = 491 + -788. Let s = g + 267. Is -29 >= s?
True
Let a be 178574/479952 - (-57)/(-152). Which is bigger: 0 or a?
0
Let c = -4535 + 36361/8. Which is smaller: c or 11?
c
Let h be ((-854)/(-35))/((-1)/((-165)/(-11))). Which is smaller: -367 or h?
-367
Let s be (-4)/1*2/((-8 - -360)/8). Is s smaller than -754?
False
Let r(j) = j**3 - 2*j**2 - 17*j - 20. Let n be r(7). Which is bigger: 105 or n?
n
Let n be (-109)/(-45) + 5/(-25). Let l(y) = 18*y - 50. Let u be l(-4). Let g = u + 123. Is n bigger than g?
True
Suppose -3*n + 76 + 29 = 0. Let s be (-20)/n + 2 + (-328)/14. Which is greater: s or -27?
s
Suppose 0 = -y + 4*f, 0 = -3*f - 0*f. Let d be 385/70*1/(-12). Is y <= d?
False
Let j = -268 + 160. Let h be (j/8)/(-9) + (-13)/2. Which is bigger: h or 10?
10
Let d(l) = -l - 3. Let q be d(-6). Suppose -q*z = 3*i - 7*i + 17, 1 = -4*i - 3*z. Which is smaller: i or 17/15?
17/15
Let r(p) = 2 - 5*p + 5 - 49. Let o be r(0). Let g be 39/o + 1/1. Which is smaller: 1 or g?
g
Let p(k) = -2*k + 41. Let d(g) = g + 40. Let f be d(-8). Let i be p(f). Which is smaller: i or -24?
-24
Let n = -151 - 30. Let s = 180.914 + n. Which is smaller: s or -0.1?
-0.1
Suppose -4*i - 30 = 2*z - 7*z, 3*i + 17 = z. Suppose -30 = -5*k - 2*q + 5, 13 = z*k + q. Let f be (57/(-52) + 1)*(13 - k). Is f less than 1?
True
Suppose 318*v - 235 = 83*v. Which is smaller: 31/29 or v?
v
Let i = -6 - -9.1. Let m = i + -3. Let x = -408.5 + 411.5. Is m less than or equal to x?
True
Let t be ((-6)/4 + 0)/(2967/(-46) + 66). Let v = 2408/30155 + 1/815. Is t less than v?
True
Suppose 54*q - 30*q = 20*q + 50200. Do 12550 and q have the same value?
True
Suppose 5*d = 5*i - 25, 0 = -4*d - 4*i + 7 + 5. Let c be ((-4)/(-14)*10/20)/d. Are c and 0 unequal?
True
Let z be (137/(-36))/(15/45). Let i = 907/132 + z. Is i greater than or equal to -2/7?
False
Let w(j) = 41*j + 15. Let h be w(8). Let s = 401 - h. Are s and 62 equal?
False
Let i be 21 - (-2420)/(-120) - (-2)/12. Let d be (2*(-4)/8)/758. Which is bigger: i or d?
i
Let z(w) = -24*w - 65. Let n be z(-3). Let s be n/(-1) + -5 + 708. Which is bigger: s or 695?
s
Let f(v) = 5*v + 5 - 4 - v**2 - 5*v + 2*v. Let w be f(2). Let j be ((-26)/(-208))/(14/4). Which is bigger: j or w?
w
Let j be (9/(-6))/(237/(-13114)). Is 54 bigger than j?
False
Let h(d) = -d**3 + 64*d**2 + 428*d - 375. Let p be h(70). Which is smaller: p or -39?
-39
Let w be (72 + -74)/(4/4). Let b(i) = -2*i**2 + 6*i - 1. Let n be b(6). Let t be (-8)/(-28) + n/7. Which is smaller: w or t?
t
Let b be -2 - (19325550/(-10268) + 28/238). Let h = b - 1880. Is 1 bigger than h?
True
Let i = 103 + -94. Suppose -36 = -i*x - 3*x. Let g be 5 - x - ((-14)/(-4) + -1). Are -1 and g equal?
False
Let a(u) = 3*u**3 + 86*u**2 - 25*u + 28. Let p be a(-29). Are p and -1162/13 non-equal?
True
Let z = -497 - -505. Let x be (-3)/((3/z)/(21/(-252))). Is -3 != x?
True
Let n = -44793 + 44771. Let l(q) = 3*q - 5. Let o(c) = c**2 - 8*c + 2. Let k be o(7). Let f be l(k). Is n not equal to f?
True
Let z be (-5)/(-1) + 160/(-240). Let w = -1 + 3. Suppose w*n = n + 5. Which is bigger: z or n?
n
Let s(o) = -10*o**2 - 6*o - 5. Let k = 277 - 278. Let j be s(k). Does 0 = j?
False
Let p be -2*(-5)/30*-33. Suppose 3*m + 720 = 738. Which is smaller: p or m?
p
Let t = -3 - -359/120. Let l = -666960353/840 + 794000. Let i = t + l. Is i < -0.06?
True
Suppose 2*r + 112 = 3*m, -5*r + r - 54 = -m. Let y = 127 - 92. Are m and y non-equal?
True
Let m be 6520/(-136) - -3 - 1/(-170)*-10. Is m smaller than -451/10?
False
Let t(k) = k**2 - 142*k - 295. Let v be t(0). Do v and -304 have different values?
True
Let l = 373687706/1723 + -216882. Which is smaller: l or -1?
-1
Let v(x) = 3*x**2 - 46*x - 146. Let f be v(-3). Suppose r + 59 = 3*u, 0 = -u - 0*u + 4*r + 27. Are f and u nonequal?
False
Let r = 24.1 + -48.1. Are -6/13 and r unequal?
True
Let l = 2.11 - -186.89. Let j = 188.75 - l. Let m = -18 + 56/3. Do m and j have the same value?
False
Let a be 12/(-3)*(-29)/(-116). Let d be (-79)/(-99) + a - (-272)/1224. Let g(u) = u**2 + 6*u + 5. Let l be g(-5). Is d bigger than l?
True
Let z = 65 + -64.14. Let l = -7.2 - -6.84. Let v = l + z. Is v < -1/3?
False
Suppose -2*x + 4*x + 2*o - 20 = 0, o + 2 = 0. Suppose -9*c - x = -13*c. Suppose 0 = -0*r + 4*r - 3*a + 60, 0 = c*r + a + 58. Which is bigger: -16 or r?
-16
Let v = 7.816 - 0.016. Let k = -0.2 - v. Suppose -15*s = -16 + 1. Which is bigger: k or s?
s
Let l = 10/10791 - -1029538/3597. Which is greater: 285 or l?
l
Let p = 3621 + -3620. Is 10/89 less than p?
True
Let u be ((-1504714)/(-1165))/((-1)/5). Which is greater: u or -6460?
u
Let l be (-2 - 14/(-5))/(56/(-280)). Let w be l/(-2) + (5 - (-116)/(-20)). Suppose -2*f + 10 = 3*f. Is w < f?
True
Let s = -11.538 - -167.538. Are s and -3/13 nonequal?
True
Let s = -29 + -4. Let v = s + 88. Let a be 570/v - (3 + 1). Is 7 at least as big as a?
True
Let p be ((-78153)/19539 - -4)*(10 + (-1 - 10)). Is -1 at most as big as p?
True
Let y = -1001/3 + 320. Let r = y + 43/3. Is 3.5 greater than r?
True
Suppose 4*l + 7503 = 2*p - 3177, -10694 = 4*l + 5*p. Which is greater: -2670 or l?
-2670
Let y = -10.3 - 21.3. Let o = y + -7.4. Is -1 at least as big as o?
True
Let k = -175/3 - -56. Let x = k - -43/21. Which is bigger: x or -42?
x
Let l = -499 + 1059. Which is greater: l or -4?
l
Let a = 618 - 616. Let n be 7 - (a/5)/(11/(-110)). Is 25 equal to n?
False
Let r be (-1320)/(-48) + 1/(-2). Suppose 0*q - 86 = -3*q + 4*y, -q + 22 = 2*y. Which is smaller: r or q?
q
Let w = -1309477936/7583 - -172686. Which is bigger: w or 0?
w
Let f = -17 - -19. Suppose -f = -o, 2*k + 0*k + 4 = 3*o. Is k bigger th