1352/71. Which is greater: z or 0?
0
Suppose 5*z = 5*v - 10, -8 + 48 = -5*z - 5*v. Let d be 122/(-354) + (z/5)/(-3). Which is smaller: -1 or d?
-1
Let p(n) = -9*n**2 - 109*n - 186. Let a be p(-11). Which is greater: a or -67?
-67
Let u = 1/404 - 819/4444. Let x(o) = 2*o - 20. Let r be x(10). Suppose r*l - 4 = -4*l. Which is bigger: l or u?
l
Suppose 57*u = 20*u - 2627. Which is smaller: 1/14 or u?
u
Let y be (-1)/3*(-1296822)/(-58) + 9. Is y > -7443?
False
Let c = -0.6 + 0.621. Let z = -30459.979 - -30474. Let k = z - c. Which is smaller: k or 0.2?
0.2
Let u(r) = 17*r - 3. Let b be u(3). Let g(p) = p**3 + 14*p**2 - 4*p - 8. Let i be g(-14). Is b smaller than i?
False
Let f(h) = -257*h + 771. Let j be f(3). Is j less than -0.4745?
False
Let b(i) = i**3 + 2*i**2 - 4*i - 3. Let o be b(-4). Let s = 2 - o. Suppose -5*p - 28*g + 33*g + 100 = 0, -3*p + 60 = 5*g. Which is greater: p or s?
s
Suppose 5*x - 2*t + 43 = 232, -150 = -4*x + t. Let f(o) = -2*o + 3. Let h be f(-19). Let n = h - x. Which is greater: n or 1?
n
Let q be ((3232/60)/(-8))/(2/846). Let c = 2861 + q. Which is bigger: c or 12?
c
Let d(y) = y + 15. Let m be d(-5). Suppose -z - m = -2*c - 34, -12 = 2*c + 2*z. Let b = 31 + -43. Is c > b?
True
Let d be ((-2)/(-87))/(4/12). Let w = -0.03968 + -0.06032. Which is bigger: w or d?
d
Let z be (-1)/(2*(3/(-6) - -1)). Suppose 7*x + 12 = -30. Which is bigger: x or z?
z
Let f be -3 + -5 + 698/78. Let t = f - 8/13. Is -50 not equal to t?
True
Suppose 12835 = -5*n - 5*u, 144*n - 140*n + 2*u + 10268 = 0. Which is smaller: -17960/7 or n?
n
Let o(v) be the third derivative of v**6/120 + v**5/15 - 5*v**4/12 + 31*v**3/6 + 24*v**2. Let j be o(-7). Which is bigger: -47 or j?
j
Let w = -17286 + 17288. Is w smaller than 1856?
True
Suppose -4*x - 4*p + 39 + 17 = 0, 4*x + 2*p = 62. Suppose 21*w + 2*k - 114 = x*w, 5*k = -3*w + 89. Is 144/5 smaller than w?
False
Suppose -2*x + 8 = 0, -2*t = 2*t - 4*x + 4438232. Let h = -41060043/37 - t. Let k = 177 + h. Do -2 and k have the same value?
False
Let d be (5 - 1) + (-2)/2 + -4. Let j be 3 + 3*(d - -2) + -345. Which is greater: j or -338?
-338
Let z = -38158 + 27163. Which is bigger: -10996 or z?
z
Let v be 0/(-2)*23/(-138). Let r = 5.57 - 6. Is r >= v?
False
Suppose 4092 = 2*l + 2*o, 12*l - 2*o = 7*l + 10209. Is 2046 bigger than l?
True
Let f(d) = 3*d. Let y be f(1). Let h(b) = 2*b**3 + 13*b**2 + 4*b - 8. Let x = -159 - -153. Let g be h(x). Which is smaller: g or y?
y
Suppose -3*c - 1132 = -5*k, 0 = -499*c + 494*c - 20. Which is smaller: k or 2005/9?
2005/9
Let n = -14 + 31. Let y(o) = 4*o**2 + 14*o - 2. Let j be y(-4). Let k be -1*(j/10 - 115/275). Which is greater: k or n?
n
Let x(h) be the third derivative of -h**5/60 + 7*h**4/12 - 47*h**3/6 - 24*h**2. Let t be x(9). Which is greater: -0.3 or t?
-0.3
Let q be (3 - (-68)/(-24))*27/(-6). Is q < -2/171?
True
Suppose -4*j + f = -15, -j = 5*f + 2 + 10. Let g be 5 - (-61 + j*(-4)/6). Which is smaller: 66 or g?
66
Suppose -105 = -7*z + 14. Suppose 15*x - z + 2 = 0. Which is smaller: -2/77 or x?
-2/77
Let n = 45.7 - 22. Let s = n + -7.7. Let r = s - 16. Which is bigger: r or -0.04?
r
Let g be 12 + (-426)/60 - 4/(-40). Is 226/57 equal to g?
False
Let j be 52 + -60 + (46/492)/((-30)/(-2568)). Which is smaller: j or -8?
-8
Let m = 55651/17 + -3275. Suppose l - 2*l = 0. Which is smaller: l or m?
m
Let n be 132654/57*8/(-16). Let h = -1164 - n. Let g = h + 65/228. Is g >= 1?
False
Suppose -3 + 64 = p. Let b = p + -53. Suppose -11*c - 9 = -b*c. Is c at most as big as -7?
False
Suppose 115 = -150*h - 41*h + 306. Which is greater: 3832 or h?
3832
Let r be (((-880)/(-561))/1)/(28/(-30)). Is -1 at least r?
True
Let f be (-554)/(-22) - 10/55. Let z = f - 25. Let l be 8 + (3 - -1) + z. Is l <= 12?
True
Let g be (-1 - 0) + (-9 + 4)*19. Let z = g + 1919/20. Let l be (1 + (-3)/(-3))/(-2). Which is smaller: z or l?
l
Let f = -17143 - -11214. Is -5929 <= f?
True
Let a = 0.16 - 3.96. Let c = 7.2 - a. Which is smaller: 17 or c?
c
Let m(q) = -q**2 + 66*q - 795. Let d be m(61). Which is bigger: -491 or d?
d
Let m = 5954 + -5833.52. Let p = m + -120. Let k = p + -0.58. Which is smaller: 97 or k?
k
Let d be 3 - 292/(-150)*(-1591)/1032. Which is bigger: d or 0?
0
Let l be 177/472 + (-1)/8 + 798/8. Which is bigger: 110 or l?
110
Let a(g) = -g**3 - 9*g**2 + 5*g - 5. Let x(l) = 5*l**3 + 37*l**2 - 19*l + 20. Let d(p) = 9*a(p) + 2*x(p). Let f be d(6). Which is greater: f or -1/102?
f
Let j be (315/2)/((-96)/128). Let d = j + 220. Suppose -3*y + y = -12. Which is smaller: y or d?
y
Let q(t) = -5*t + 55. Let a be 6/18*15/(-1). Let h be q(a). Suppose 0 = -81*r + h*r - 1. Does r = 3/22?
False
Let m = 16.1 - 15.9. Let q = -283 - -286.2. Is m > q?
False
Suppose 5*o + 17 = -8. Let q be 2720/676 + (29 + o)/(-6). Which is smaller: q or 0?
0
Let j be 10 - (-5)/(4/(-4)). Let l(r) = 2*r**2 - 30*r + 103. Let z be l(6). Is j at least as big as z?
True
Let y be (33120/46)/(1/(-4)). Let w be 16/2 + y/400. Let i = -2 + 0. Which is greater: w or i?
w
Let d(j) = 2*j**3 + 7*j**2 + 3*j + 1. Let m be d(-3). Let g = 469 - 4689/10. Which is bigger: m or g?
m
Let u be 93*(-25)/1476 + 15/12. Which is smaller: u or 0?
u
Let x(m) = 2*m**2 + 7*m + 5. Let z be x(-4). Let p = 76.7 + -13.7. Let j = -59 + p. Is j less than or equal to z?
True
Let t = 5044/969 + 280/57. Let o = t + -15773/1564. Is 1 at least o?
True
Suppose -3373*v + 8 = -3375*v - 0. Are v and -8 equal?
False
Let a(w) = -4*w**2 + 341*w - 129. Let l be a(62). Is l <= 5637?
True
Let r be 1 + 4/(-70) + -1. Suppose 3*v = -5*b + 1156, -2*b - 22*v + 470 = -17*v. Let w = b - 230. Is r bigger than w?
False
Suppose -n = 6 - 2. Let a be 3/n + 52/(-32)*2. Which is bigger: a or -24/7?
-24/7
Let z(t) = 3*t + 15. Let s be 1743/35 - (-1)/5. Suppose 8*r = -s - 6. Let g be z(r). Is g <= -27/5?
True
Suppose 48 = 8*k + 8. Let x = 26 + -4. Let u = x + -17. Is k <= u?
True
Suppose 299*k - 254*k = -2160. Suppose -183 = 4*p - 3*a, -2*p - p + 5*a = 140. Is p equal to k?
False
Suppose 3*d = 3*l - 39, 4*d - 17 = l - 69. Let h be ((-4)/(-6))/(15/(-981)). Let w = 44 + h. Do w and d have the same value?
False
Let r(v) = -33*v + 164. Let i be r(5). Suppose 0 = 2*l + 6, 2*z + 5*l = -2*z - 7. Let h be z + -32*6/81. Which is bigger: h or i?
h
Let c = -145.2 - -7.2. Let h = -152 - c. Let y = -0.7 + 0.4. Which is greater: h or y?
y
Let o be (0*(1 + -2))/(-1). Suppose o = -2*w - 2*t + 12 - 4, -2*t + 13 = -3*w. Let h = 41.948187 + 0.051813. Is w bigger than h?
False
Let q = -0.45787 - -0.05787. Is -1.6 bigger than q?
False
Suppose -11*s = -12*s + 10. Let j be (3/2)/(-6 - (-595)/s). Let m = -137/1070 + j. Is m > -1?
True
Suppose 0 = -3*k + 32 + 13. Let z = 607 - 605. Let s be z + 10/k - 3. Is -11/2 <= s?
True
Let a be (56/10)/((-31)/465). Let t be (-4)/(a/(-9)) + 19/28. Is -33 <= t?
True
Let l be -5 + 1 + 39/9. Let w = -222 + 412. Let z = -165 + w. Is l at most as big as z?
True
Let n(r) be the second derivative of -25*r**3/6 + 13*r**2 + 2*r - 21. Let v be n(1). Which is smaller: 1/57 or v?
1/57
Let f be -2*((-15)/9)/(6/9). Suppose -5*l - 65 = -3*v, f*l - 4*v + 64 = -6. Let n = l + 51/5. Which is smaller: n or 1?
n
Let m = -104 + 111. Suppose -m*p - 4*p = -3*p. Let v(z) = z**3 - 15*z**2 + 15*z - 7. Let r be v(14). Which is greater: r or p?
r
Let h = 10905/44 - 9384/11. Let x = h + 607. Which is greater: x or 1.1?
x
Let s = 55784/1751195 + -18/577. Is -1 greater than or equal to s?
False
Let g be ((-592)/700*-85)/(2 - 12/5). Is -181 at most as big as g?
True
Let x(d) = d**3 - d**2 + d + 1. Let f(w) = -w**3 + 6*w**2 - w. Let g(v) = -f(v) - 3*x(v). Let z be g(-2). Let o = 0.9 + 0.1. Which is greater: z or o?
z
Suppose 5*r - 7*r + 5*h - 843 = 0, 1255 = -3*r - 2*h. Let o = 418 + r. Which is greater: o or -2?
o
Suppose 8*a = 10*a + 12. Let w = a + -1. Let r be (18/w)/((-15)/280)*-1. Is r greater than or equal to -48?
True
Let a = 552 - 879. Let f = -326.99 - a. Let p = -6.94 + 7. Is f smaller than p?
True
Let l = -11543 + 242399/21. Is l > -62?
True
Let a = 66207 - 195719/3. Which is smaller: 968 or a?
a
Suppose 4*v + 102 = -110. Let c = v - -53. Suppose -y + 2*g + 0 = 16, c = -3*y - g - 27. Which is bigger: y or -4?
-4
Let o = 528572654/1161817 - -1/27019. Let r = -455 + o. Let c = 0.62 - 0.82. Which is g