Which is smaller: z or 617?
z
Let y(v) = 4631*v**2 - 16*v + 16. Let b be y(1). Which is greater: b or -1?
b
Suppose 1924 = -4*m + 16544. Suppose -28*a - 939 = -m. Which is smaller: a or 4?
4
Let b be 28992*(-12)/(-173958) - (-21)/7 - 5. Is b >= -1?
True
Suppose -o + 4*y = 8, 2*o + 2*o - 10 = -5*y. Suppose 2*k - 5*n + 22 = 0, -k + 5*k + 3*n - 8 = o. Let x be 8/18*2/4. Is k greater than x?
False
Let s(u) = -6*u**3 - 4*u**2 - 10*u - 20. Let h be s(-3). Suppose -1 = h*j - 135*j. Is -2/215 equal to j?
False
Suppose 0 = -2*c + 12. Let w be ((-1311)/322)/(-57) + 1034/28. Is c > w?
False
Let h(q) = -q**3 + 4*q**2 + 5*q + 78. Let v be h(12). Is v <= -1011?
True
Let g be (21/18 + -2)*-6. Suppose 0 = 5*k + g*u + 155, 0 = -3*k - 5*u - 36 - 65. Let l = 43 + k. Which is greater: l or 14?
l
Suppose -3*o = -6*o. Suppose -q - 3*q = -8. Let r be 14/(-98)*(q + 16/(-5)). Do o and r have the same value?
False
Let w = 144 + -145.7. Let s = w - -55.7. Let v = s + -52. Which is greater: v or 1?
v
Let m(r) = 4*r**2 - 56*r + 636. Let n be m(11). Which is bigger: n or 502?
n
Let q(l) = 2145*l - 42. Let n be q(1). Are 2104 and n unequal?
True
Suppose 4*d - 5 = 2*z + 3*z, 5*z + 5 = d. Let r be z/(-1 + 102/108). Suppose -7*v = 2*v - r. Is 17/8 bigger than v?
True
Let o be 962/(-6990) - (-10 - (-592)/60). Are 0 and o nonequal?
True
Let a(y) = -251*y - 585. Let i be a(-3). Which is smaller: 169 or i?
i
Let y = -12.592 + 0.292. Let a = -15.3 - y. Is a >= 21?
False
Let w = -2719 - -2739.007. Let x = -0.007 + w. Is x equal to 5?
False
Let g = -11728 - -8937. Is g less than 2/7?
True
Let k(x) = 2*x**2 + 2*x - 3. Let u be k(4). Suppose -u*v + 6 = -36*v. Let a be (-4)/v*36/(-16). Which is bigger: a or -1?
a
Suppose -861 = -3*j + 621. Let y be 2*(809517/3278 + 12/22). Is y at least as big as j?
True
Let f = -493 - -504. Let n be (-73)/f + -64 + 71. Which is smaller: 0 or n?
0
Let l(p) = 26*p + 25. Let y = 207 + -208. Let a be l(y). Which is greater: a or 2/391?
2/391
Let p = 7 - 9.5. Let f = p + 0.3. Let m = -2.31 - f. Which is greater: m or -0.1?
-0.1
Let b = 0.054 + 0.256. Let i = -323 - -322.6. Let l = b + i. Which is bigger: -0.2 or l?
l
Let z = 117986 - 53447609/453. Which is smaller: z or -1?
-1
Let t be 96687/(-162) - (-7 + 2). Which is bigger: -592 or t?
t
Let i be (29/(-87))/(1/(0 - 12)). Suppose q + 338 = 5*t, -q - 23 - 288 = i*t. Is -323 > q?
False
Suppose -h + 71613 = -10*h. Let y = h - -135227/17. Which is smaller: -2 or y?
y
Suppose 5*a + 5*j = 5, -4*a - 4*j + 12 = -2*j. Suppose 5*z - 63 = a*r - 9*r, z = -r + 12. Is 91/6 at most z?
False
Let j be 3/15 + (-366679)/520 + 1. Let x = j - -5735/8. Let o = -13 + x. Which is greater: 0 or o?
0
Suppose 19*o + 630 = 3*k + 6*o, 4*k - 760 = 4*o. Are k and 169 equal?
False
Suppose -231*d - 8 = -235*d. Suppose -5*a + 28 = d*p, 2*a + 4 = 4*p - a. Which is smaller: p or 154?
p
Let g(i) = i**3 - 8*i**2 - 17*i - 1. Let n be g(10). Let h(y) = -y + 36. Let a be h(-8). Let w = a - n. Is w at most as big as 17?
True
Let s(p) = -15*p**2 + p - 8. Let f(r) = -15*r**2 + r - 8. Let h(q) = -3*f(q) + 2*s(q). Let m be h(7). Let u = 37535/51 - m. Is u smaller than -1?
False
Suppose 3*z - 2*h = 46981, -15672 = -z + h - 2*h. Is 15663 bigger than z?
False
Let a be 6/(-5)*(-5)/13. Suppose 5*r - 6 + 4 = 4*m, 5*r - 6 = 2*m. Suppose j = 6*j + m*j. Is j greater than or equal to a?
False
Suppose 2*n = 4*j + 14, -133*j = -128*j + 4*n - 28. Which is bigger: j or -2/40793?
j
Let t = -546 - -568. Suppose -f - 1 = -23. Is t at most as big as f?
True
Let s = 0.411 + -0.431. Suppose 3*q - 4*k = -5, 5 = 5*q + 5*k - 10. Suppose -4*f = -q + 5. Is s < f?
False
Suppose 0 = -2*w - v + 28, 5*v - 60 = -5*w - 0*v. Let u = -2508 + 2521. Which is greater: w or u?
w
Let k be (-92365)/23065 + (6 - 2). Let y = k + 20447/3954. Which is smaller: 6 or y?
y
Let a be ((-19)/228*9)/((-4614)/8). Do a and 1 have different values?
True
Let l = -35 + 37. Let g be 3*l*4/6. Suppose 0 = -g*i - 5*v + 2, -6*v + 4 = 2*i - 2*v. Is i > -14/11?
False
Let z = -15.393 - -14.393. Which is greater: 7140 or z?
7140
Let d = 1 + -0.626. Let p = d - 0.444. Are -5/12 and p non-equal?
True
Let o = 428 - 433.8. Let c = -7 - o. Is c less than -0.17?
True
Let b be (-26)/(153/(-324) + (-10)/(-45)). Let p = 183 + -286. Let o = p + b. Does o = -2/65?
False
Let v = 204 + -204. Suppose 4*c - 3*p + 4 = v, 19 = -3*c + 5*p + 5. Which is greater: -7 or c?
c
Let j(x) = 74*x - 1976. Let n be j(12). Is n greater than -1086?
False
Let z = 0.59 - -0.37. Let q = z + -1.8. Let s = q + -0.16. Is -0.6 bigger than s?
True
Suppose 0*z + 3*z + 150 = -5*p, -5*p - 195 = 4*z. Let o be (-3)/1 + 63/(-9) + 13. Which is smaller: o or z?
z
Let k = -47.1 - -2.1. Let m = 78.57 - 78. Let r = 0.43 + m. Is r less than k?
False
Let c(d) = d**2 - 9*d + 28. Let f be c(5). Let x be f/4*(3/1)/(-9). Is -209 less than x?
True
Let i = -10936 + 10936. Is 12016 less than or equal to i?
False
Let g be (-224)/(-49) + -5 + (-18)/7. Let r be 29/(-3) - (-1)/g. Let v be ((-32)/(-20) + -2)/((-122)/r). Which is bigger: -1 or v?
v
Let w = 8432.9 + -8433. Let g = 5 - 28. Let u = g + 22.1. Which is smaller: w or u?
u
Suppose 4*r = -2*r + 5334. Let a = 7103/8 - r. Let j = -28.4 - -29.4. Which is greater: j or a?
j
Let i = -34863.974 + 34864. Is i greater than or equal to 89?
False
Let w be (17 + 1)*(4/26)/((-4526)/(-403)). Which is smaller: -1 or w?
-1
Suppose 5*m = 5, -5*l - 7 = 2*m - 244. Let j = 49 - l. Suppose -13 = j*g + o, -3*g + 9 = g - 5*o. Which is smaller: -2 or g?
g
Let f(x) = -553*x + 1. Let w be f(1). Suppose 0 = -5*s - 5*k - 2805, 40*s = 45*s + 4*k + 2796. Is s > w?
False
Let g(b) = b**2 - 5*b + 10. Let m(y) = 3*y - 8. Let v be m(4). Let p be g(v). Let h be (-10)/p - (1 + 5/(-3)). Is -1 bigger than h?
False
Let y = 3013 + -3013. Let u = 0.145 + -0.19. Which is smaller: y or u?
u
Let u = 0.96 - 18.06. Let k = u + 17. Are k and 1/61 nonequal?
True
Suppose 192*q - 65*q = 20*q + 428. Let m = 6 + 21. Let i = -12 + m. Which is smaller: q or i?
q
Suppose -33*x + 28*x = -20, 0 = 12*j + 5*x + 2836. Does -248 = j?
False
Let j = -1.099 + 3.099. Which is greater: j or 748?
748
Let w(o) = -o**2 + o + 5. Let d = 58 - 32. Let b = d + -23. Let c be w(b). Is -6 >= c?
False
Let l = 23126 + -23130. Let t be 6/4*204/(-99). Is l less than or equal to t?
True
Suppose k - 4 = -k. Let y = -1943 - -1953. Let s be (6/y)/((-603)/(-670)). Which is smaller: k or s?
s
Let z = -4553 + -565. Let o = z - -527159/103. Is o < 1?
True
Let k = -1708/5 - -1707/5. Is -173 greater than k?
False
Let s = -134347/22 + 6107. Are s and 3/10 unequal?
True
Let t = 15606 - 15606. Is -8/3973 at most as big as t?
True
Suppose p = -0 + 128. Suppose y + 4*i = -40, 0 = 2*y + 3*y + 2*i + p. Let v(j) = -2*j - 16. Let b be v(4). Are b and y non-equal?
False
Suppose -3*g = g - 3*i + 13394, 0 = 4*i - 8. Is g less than -3347?
False
Let y = -19123 + 19474. Which is greater: 354 or y?
354
Suppose -f = 43*q - 38*q + 4488, f - 4*q + 4506 = 0. Do f and -4497 have the same value?
False
Let n be -8*(5/(-4))/(-1). Let j be (n/6)/((-5)/30). Suppose 6 = 32*c - 282. Which is smaller: j or c?
c
Let l = 14 + -13. Let t = 3.86794 + 0.13206. Which is smaller: l or t?
l
Suppose 4*s + 288 = 7*s. Suppose 0 = 4*j - 4*p - s, -3*p + 6*p - 28 = -j. Suppose -5*k - j = c, -3*c - 2*c = 25. Which is smaller: -32/9 or k?
k
Suppose 3*w + 6*c - 3696 = c, -4*w - 5*c + 4918 = 0. Are w and 1220 nonequal?
True
Let l = 0 + -10. Let h be (-22)/(-4)*(-140)/l. Suppose 0 = 2*o - c - 42, 5*o - 5*c - 23 = h. Which is smaller: 21 or o?
21
Let s be 4 + -1 - 152/(-19). Suppose s*w = 10*w - 3. Let x be (-301)/84 + (-1)/w. Which is bigger: x or -2/3?
-2/3
Let q(k) = k**2 - 7*k - 697. Let c be q(-25). Which is bigger: c or -2?
c
Let m be 38/57 + 238/(-348). Which is greater: -81/5 or m?
m
Suppose 76*d - 137 = -39*d - 482. Is d at least as big as 3.2?
False
Let t be 72/(5 + -13) - -81. Which is greater: 63 or t?
t
Let l be -1 - -5 - (6300/616 + 21/(-6)). Let t = -5 - -3. Which is bigger: l or t?
t
Let i be (-16350)/(-100)*15/(-6)*1/(-45). Which is bigger: 9 or i?
i
Suppose -1 = -s - 4*z, -22*z - 28 = -2*s - 17*z. Let i(g) = g**3 - 8*g**2 - 8*g - 11. Let m be i(s). Let a = 1 - -11. Is m at least as big as a?
False
Let m be 15/20 + (-5)/(-4). Suppose