*z**2 - 2*z - 6. Let p(o) = -5*o**2 + 2*o + 5. Let x(c) = 4*i(c) + 3*p(c). Let r be x(-3). Is 77 < r?
True
Suppose o + o + 3*g = -46, 5*o + 4*g = -108. Let s be 2/(-10) + (-2664)/o. Let z = s + -933/7. Which is greater: z or 0?
0
Let x = 40 + -93. Let d = -2818 - -2767. Let h = x - d. Which is smaller: h or 2/35?
h
Let b be 20/(-10)*(133/(-14) + 5). Are b and -278 non-equal?
True
Suppose -6 = -3*r + 4*r. Let p = 53 - 53. Suppose -4*s - 16 = -3*h, 2*s - 3*h + 2 + p = 0. Which is smaller: r or s?
s
Let f be (1096/(-26))/(17*28/(-3094)). Which is smaller: 307 or f?
f
Suppose -79*u + 156 = -83*u. Let q be (u/(-117))/(2/(-3*2)). Let s = 76054/39 + -1950. Is s equal to q?
False
Let i be ((-124)/8)/(1/(-2)). Let l = i - 5. Suppose -t = 3, 2*d - 2*t - 45 = -5*t. Is d less than or equal to l?
False
Suppose -6*r - 4 = -2*r. Suppose 0 = d - 13*d + 432. Let m be 1/1 - ((-429)/d)/(-11). Are m and r equal?
False
Let k be ((-12)/8)/(8/(-272)). Do k and 203/4 have different values?
True
Let x = 8987 - 323533/36. Which is bigger: 5/34 or x?
5/34
Let f be (16/5 + -2)*(-10)/(-4). Let c be ((-6)/(-2) - f) + 6/16. Suppose -3*a + 1 + 2 = 0. Is a at most c?
False
Let p be ((-3)/(-6))/((-2)/(-4)). Let u = -283 - -247. Let s = -179/5 - u. Is s at most as big as p?
True
Suppose 3*o - 4 = -0*o - 2*s, -o = 2*s + 4. Suppose -2*i + 0*n + 5*n = 0, 0 = o*n. Suppose i = 6*r - 5*r - 13. Does r = 13?
True
Let h(f) = -21*f - 17*f + 57*f - 26*f. Let c be h(0). Which is bigger: c or -6/73?
c
Let n = 15.927 - 16. Let i = -11.927 + n. Which is bigger: i or 2/5?
2/5
Let h = -40140.79 - -40260. Is h greater than 3/4?
True
Let v(c) = 4*c + 41. Let h(t) = 5*t - 11. Let r be h(0). Let a be v(r). Let y be 4*(1/(-26))/1. Is y smaller than a?
False
Let h = 772.7 - 751.7. Which is bigger: h or 24?
24
Suppose -x = -5*f - 10 - 15, f = -5*x + 125. Suppose 5 + x = 2*q. Let z(d) = -d**2 + 17*d - 9. Let b be z(q). Which is smaller: 22 or b?
b
Let l = 1398.57 + -14.57. Is l >= -0.8?
True
Let m(g) = -22*g - 101. Let d be m(-17). Suppose 24*z + d = -15*z. Is -34/5 smaller than z?
False
Let m(r) = -r**3 + 7*r**2 - 6*r + 5. Let z be (0 - -6)*1/1. Let d be m(z). Suppose -4*q - 9 = -d*h + 9, 0 = -h + q + 4. Which is greater: h or 8/7?
h
Let z be (6/165)/((-3)/24). Let i = z - 72/55. Suppose 3*v + 5*m = -29, -4*v + 8 = -8*v + m. Which is bigger: i or v?
i
Let n = 9 + -9. Let c = 66.24 - 1.24. Let t = -81 + c. Is t less than n?
True
Suppose 0 = 9*k - 13*k + 220. Suppose 61 = -5*n + r, -5*n + 4*r = -6 + k. Let b = n + 23. Does b = 10?
True
Let u = -412931/99 - -4171. Are u and 0 equal?
False
Let y = 3/24959 + 9059994/1023319. Is 10 > y?
True
Let u = -19775 + 19774. Which is smaller: -2/24091 or u?
u
Let h be (7/(98/(-76)))/(4/(-28)). Suppose -42 = -8*w + h. Which is smaller: 3/4 or w?
3/4
Let p = -352 + 510. Let n = p + -160. Suppose -2*r - 2*q + 18 = 0, 2*q = -0 - 10. Which is smaller: r or n?
n
Let r = -307 - -322. Suppose 5*x + 2*u + 8 = 2, r = 2*x - 5*u. Let j = -5273/11 - -479. Which is bigger: j or x?
x
Let b(f) = 7*f + 118. Let d be b(-12). Suppose 32*g + 16 = d*g. Which is greater: g or 47/6?
g
Let l(d) = -192*d**3 - 2*d + 195*d**3 + 2*d**2 - 2 - d. Let a = -25 - -23. Let u be l(a). Does -11 = u?
False
Let g(i) = -i**3 + 21*i**2 - 62*i - 89. Let j be g(17). Which is smaller: j or 11?
11
Let m = 1462 + -1412. Is 47 > m?
False
Let d = 15153/7 + -2173. Let b = -160/21 - d. Which is smaller: -131 or b?
-131
Suppose -4*x = 4*g + 224, 4*x + 3*g = -2*g - 220. Let o be ((-6)/(-20))/(x/50). Let l = -20 - -19. Is o >= l?
True
Let y = -566 - -578. Let r(o) = o**2 + 6*o - 5. Let f be r(-8). Which is smaller: y or f?
f
Let j be (8/(-24))/(2/(-42)). Let c be 98/28*8/j. Suppose 7*y - 21 = c*y. Which is bigger: y or -1/4?
y
Let g = -12.46 + 11.3. Let o = 0.16 + g. Let h = -0.05 + -0.015. Which is bigger: h or o?
h
Let s = 23 + -3. Let g be 26 + 8/(-3)*(-3)/(-2). Which is bigger: s or g?
g
Let n = 8231141/404334 - 4/28881. Are -1 and n non-equal?
True
Suppose 6*v - 36377 = x, -227*x + 222*x = v + 181823. Is -36365 equal to x?
True
Let b be (1258/111)/((-2)/(-3)). Suppose -b*z - 1909 = 1712. Is -212 <= z?
False
Let i(z) = -z + 2. Let v be i(-4). Let q be (-2)/(-5) - 2*(-13811)/70. Let c = 1609/4 - q. Is v >= c?
False
Let q(n) be the first derivative of n**2/2 + 2*n + 5. Let a be q(-2). Let b be ((-49)/2058)/((-2)/18). Which is smaller: b or a?
a
Let z = 21706 - 10328. Is 11379 less than z?
False
Suppose 5*i - 422 + 1577 = 5*a, -a = -5*i - 1151. Which is smaller: i or 0.1?
i
Suppose l = 4*k + 366, 80*l - 192 = 2*k + 78*l. Which is smaller: k or -93?
-93
Let i = 122.5 + -384.19. Let d = i - -262. Which is greater: d or 3?
3
Let x = 13.2 + -5.2. Are x and 18/23 nonequal?
True
Suppose -5*v + a + 37 + 20 = 0, 2*a = -4. Let o(d) = -d**2 + 9*d + 18. Let q be o(v). Which is bigger: -7 or q?
q
Let t be -2 + 4 + -4 - (-184)/2. Suppose t*c - 251 = 89*c. Is c less than 250?
False
Let d = 5.95 + 0.05. Let x be (2/8 + 2093/12)/2. Let o = x + -88. Which is smaller: o or d?
o
Let s = -1793 - -1794. Is s at most as big as 1/8903?
False
Let m(j) = -j**3 - 3*j**2 + j - 4. Let y be m(-4). Let a(v) = -4*v - 62. Suppose -2*q - 8 = x, 2*x - 5*q = -2*q - 44. Let s be a(x). Which is bigger: s or y?
y
Let s be -111*12 - (-9 - -6). Let a = 50505/38 + s. Suppose -3*o - 2*u = 3, 0*u - 5*u = 5*o + 5. Is o not equal to a?
True
Let q be 4 + (-4)/(-3)*-3 - -6. Let w be (q/(-8))/((-48)/(-32)). Is -149/5 greater than w?
False
Let j = 11109 - 11016. Do 80 and j have the same value?
False
Let g = -10187 - -10187. Which is smaller: 4/1481 or g?
g
Suppose 0 = -b - 16 + 19. Let v be ((-145)/(-522))/(5/b) + 1. Let h(k) = -k**2 + 6*k + 2. Let n be h(6). Is n less than or equal to v?
False
Let s = -18673 + 242357/13. Is -30 at most s?
False
Suppose -4*d - 5*b = -4*b + 1057, d + 266 = -2*b. Let h be (d/(-605))/(1/5). Let l = h + -153/55. Which is bigger: l or -1/3?
-1/3
Let b = -2708 + 2810. Does -8 = b?
False
Let v = -16.71 + -0.29. Suppose -710 + 151 = 5*f - 4*r, 0 = -2*r + 2. Let m = f - -335/3. Which is smaller: m or v?
v
Let u = 171338.831 + -171256. Let v = -0.169 - u. Let l = -82 - v. Is l at least as big as 1/7?
True
Let q(m) = -2*m**2 + 62*m + 48. Let a be q(30). Suppose 4*r + w + 4*w - a = 0, -3*r + 3*w = -81. Which is smaller: r or 34?
r
Let h = -47 - -5. Let f = 41.929 + h. Let z = -0.071 - f. Which is greater: 2/39 or z?
2/39
Let g = 48098/3 - 16032. Which is bigger: 92 or g?
92
Let u(k) = -2*k**3 + 24*k**2 + 2*k + 8. Let r be u(10). Let y = -428 + r. Which is greater: -2/671 or y?
y
Suppose 0 = 6*a + 182 + 166. Let o = a - -89. Suppose -5*q - 137 = -5*d + d, -4*d = 4*q - 128. Which is smaller: o or d?
o
Let p = 41/5185 + -32/1037. Which is greater: p or 1?
1
Let g = -329 - -8237/25. Let k be 2/(-36)*(-19 - -15). Which is greater: k or g?
g
Let f = -11.12 - 2.88. Which is smaller: f or -21?
-21
Let m(j) = j**3 + 13*j**2 + 12*j + 1. Let r be (9/2)/((-6)/16). Let x be m(r). Is x bigger than 3/74?
True
Let p = -0.091 - 146.909. Let k = p + 144. Are -2/9 and k unequal?
True
Let s be (-466)/52 + 74/(-1924). Let q be ((-12)/3 - -3) + -1. Let n be 202/(-24) - q/(-8). Is n at most s?
False
Let i be (28/3)/((-5)/495). Let f = 741 + i. Which is greater: -182 or f?
-182
Let l = -597 + 602. Suppose 0 = -4*c, 10*c - 620 = -l*v + 8*c. Are 123 and v unequal?
True
Let p be (15495/1290 - 12)*6/(-11). Is -1 greater than p?
False
Let n = 447.4966 + 2.5034. Is -17 not equal to n?
True
Let j(r) = -r**3 - 16*r**2 + 1. Let z be j(-16). Let p be 4/(120/(-26)) + z. Suppose 4*d = -0*d - 3*w - 4, 5*w = 0. Is p < d?
False
Suppose 0 = -80*x + 79*x + 5, 5*p - 4*x - 2100 = 0. Is p smaller than 409?
False
Let q be ((-273)/448357)/((-54)/(-4)). Are 1 and q equal?
False
Suppose 0 = 23*b - 2144 + 787. Suppose -21*u - b - 193 = 0. Which is bigger: -0.1 or u?
-0.1
Let v = 170 + -150. Let o be 37*2/(-390) + v/120. Are o and 1 nonequal?
True
Let z = 38562 + -42295. Is -3733 bigger than z?
False
Let r(b) = 7*b - 9. Let j be r(4). Suppose j*z = 20*z + 1. Is 10/9 greater than z?
True
Suppose -5*i = -15, -6 = 2*y + 2*i - 10. Is y < -1/11814?
True
Suppose 0*y + 3*v = -2*y + 9, -4*v + 12 = -4*y. Suppose -11*p + 93 = -3*z - 13*p, -p - 61 = 2*z. Which is smaller: y or z?
z
Let u be (-4)/1