y - 1 - v. Let z be b(4). Which is greater: -4/5 or z?
z
Let j = -9 - -57. Let z = -65 + j. Let r be ((-18)/5)/((-5)/(-25)). Which is smaller: r or z?
r
Let q(i) = 2*i**3 - 50*i**2 + 47*i + 7. Let u be q(24). Which is greater: -18 or u?
u
Let c = -9 + 14. Suppose 0*y + y + c = 0. Let s(u) = u**2 + 5*u + 1. Let q be s(y). Which is smaller: q or -2/7?
-2/7
Let d(b) = b - 5. Let a be d(5). Let g be ((-28)/9)/(2/(-9)*-3). Let t = g + 5. Which is smaller: t or a?
a
Suppose -2*q + 3 = -21. Suppose 4*y - 4 = -q. Is -3/5 > y?
True
Let w be (10/(-150))/(51/(-10)). Which is smaller: 1 or w?
w
Suppose -69 = q - 613. Let x be (q/36)/2*(-12)/(-8). Which is smaller: x or 10?
10
Let m = -11 - -14. Suppose 5*o = -t - t, -2*o + m*t = -19. Suppose 0 = -o*z - 0*z. Are -6/5 and z non-equal?
True
Let a be 65/(-2)*24/30. Let u = -26 - a. Which is smaller: u or 2/57?
u
Suppose -3*a = -43 + 7. Let d = a + 10. Let t be (-32)/12*3/d. Which is smaller: 0 or t?
t
Suppose -32*v - 195 = 7*v. Are v and -2 unequal?
True
Suppose -o + r + 1 = 0, 0 = 5*o + 4*r - 7*r - 5. Let u = -307/92 - -13/4. Which is bigger: u or o?
o
Let i = 288 + -166. Let w = -149 + i. Is w at most as big as 0?
True
Let t(g) = -4*g**3 + g**2 + 23*g + 180. Let d be t(-6). Which is bigger: d or 943?
943
Let g(x) = 100*x**2 - 5*x - 5. Let d be g(-1). Which is smaller: -3 or d?
-3
Let w be (70/16)/((-153)/81 + 2). Is w at least 40?
False
Suppose 3*f = -f + 72. Let p = f + -18. Which is greater: p or -4/9?
p
Let r be (6/4)/(-4 - -7). Let d = -13.32 - -0.32. Let x = d - -12.3. Which is greater: x or r?
r
Let d(f) = f**3 + 3*f**2 + 3*f + 2. Let l be d(-2). Let m(s) = 3*s**2 + s. Let i be m(-1). Suppose l = i*v - 5*v + 33. Which is bigger: v or 0?
v
Let w be 6/(-12) - 234/28. Let j = -1031 + 1022. Which is bigger: j or w?
w
Let m = 55/104 + 26545/936. Do m and 30 have the same value?
False
Let d be -3*(4 - (-148)/(-40)). Let c = d + 2/5. Which is bigger: c or 0?
0
Let d = -1 - -3. Let x = -4.68 - -0.74. Let i = x + 4. Is i less than d?
True
Let m = -24.5 + 24.9. Let k = 0.26 + -0.46. Which is smaller: k or m?
k
Let l = -604 - -547. Is l less than -58?
False
Suppose -11 = d + 3*n, 2*d + 24 = 6*d - 5*n. Let m be (3/(-2))/(12/(-576)). Let a be ((-16)/m)/((-2)/(-3)). Are d and a unequal?
True
Let l(z) = 4*z - 6. Let s be l(3). Suppose 0 = -2*k - h + s*h + 1, -5*k + 4*h = -11. Let j = 2 - 3. Are j and k non-equal?
True
Suppose -4*k + 8 - 24 = 0. Let r be (k/(-6))/((-123)/9). Which is smaller: r or 0?
r
Let b be -1*21/(2/(-2)). Suppose 5*f = 2*f - b. Are f and -5 nonequal?
True
Let j = -2086.87 + 2119. Let a = j + -32. Let l = 17.2 + -17. Which is smaller: l or a?
a
Suppose -8 = -2*v, 0*l + 5*l - 4*v - 59 = 0. Let k = -12 + l. Let h be (3/(-16))/(k - 6). Which is bigger: 0 or h?
h
Let z(p) = p**2 - 14*p + 15. Let a be z(13). Suppose 19 = a*f - f - t, -4*t + 56 = 2*f. Let j = -30 + f. Is -8 < j?
False
Suppose -45 = 3*y + 3*k, 0 = 3*k + 2*k + 25. Let z be -2*(6/y)/(-11 + 14). Suppose -5*i - 7 + 2 = 0. Which is bigger: i or z?
z
Let f be ((-12)/(-15) - 1)*((-150)/(-15))/(-2). Let c be 90/(-182) + 1/2. Which is greater: c or f?
f
Let b be 3 - -4*1/1. Let u be (-2 + -2)/(-4)*b. Suppose 32 = -u*p - 3. Is p > -5?
False
Suppose -6*i + 10 = -2*i - 2*a, -5*i + 15 = -3*a. Suppose -5*s + 62 - 237 = i. Which is greater: s or -0.1?
-0.1
Let w = -20 + 28. Suppose -5*i + 2*r + 2*r + w = 0, 4*r + 8 = 0. Let y = 426 + -2123/5. Which is smaller: i or y?
i
Let a = -109 + 117. Let z be (a/(-9))/((-20)/(-30))*15. Which is smaller: z or -21?
-21
Suppose 0 = m + 2*m. Let n = 33/35 - 4/5. Which is bigger: n or m?
n
Let p = 87 + -87. Which is greater: p or 15/46?
15/46
Let f(t) = -t**2 - 5*t - 1. Let c be f(-6). Let a(x) = -x**2 - 7*x + 3. Let k be a(c). Suppose k*d - 16 = -4. Is d less than or equal to 4?
True
Let m be (-18)/2670*(-30)/(-21). Let j = m - 11783/5607. Is -2 smaller than j?
False
Suppose -4*p = -2*d - 25 - 29, 0 = d + 5*p + 48. Let o be d/44 + 98/24. Which is smaller: o or 4?
o
Let x = -165.5 - -77.7. Let y = 88 + x. Are y and 7/3 unequal?
True
Let w = 530164/435 - 3656/3. Let x = w + -1/29. Is x less than or equal to 1?
True
Let m = 78 - 71. Let q be (m + -1)*-1*(-1)/(-2). Is q >= -0.02?
False
Suppose 0*i + 7*i = 175. Let a = i + -43/2. Which is bigger: a or 0?
a
Suppose -4*t - 708 + 2854 = -6*j, 0 = -3*j - 2*t - 1069. Which is smaller: -358 or j?
-358
Let r be (-1)/(-232)*1505/56. Let o = 3/64 - r. Let q be (1/2)/(5/(-10)). Is q equal to o?
False
Let x be -2 - ((-1792)/(-40))/((-1)/(-5)). Is -674/3 at most x?
False
Let z = 850 - 1222. Which is bigger: z or 1?
1
Let q = 70.5 - 70.5. Is q <= -13/14?
False
Suppose 1 = 3*z - 5. Let u be (-16)/2*1/z. Let g be u/(3 + -7) + -1. Which is smaller: 2/5 or g?
g
Let s be 24/(-9)*(1 + -4). Let a be (-2)/s - 436/(-1616). Which is smaller: -1 or a?
-1
Let d(j) = -6*j - 28. Let y be d(-5). Suppose -3*w + y*v = 39, 5*w + 4*v = v - 65. Is w < -11?
True
Suppose -6*k + 1 = 13. Is -28/11 bigger than k?
False
Suppose -36 = -4*q + 3*z + z, 0 = -3*q - 5*z - 5. Let b(i) = -3*i + 7. Let y be b(q). Let g be 17/(-4) - (-6)/y. Which is smaller: g or -6?
-6
Suppose 10*d + 29 = 9. Are -101 and d non-equal?
True
Let q = 566 + -207. Is q less than 359?
False
Let h = -2 - -2. Let w = h - 0.18. Let q be 96/(-108)*6/8. Which is smaller: q or w?
q
Let x(r) = 3*r**2 + 12*r - 14. Let z be x(-5). Let y(u) = -2*u**2 - u + 2. Let h be y(-2). Let s be 1/h - (-15)/(-20). Which is greater: z or s?
z
Let m = 1318/55 + -279/11. Which is greater: -1 or m?
-1
Let m(a) = a**2 + 21. Let c be m(0). Let r = c + -35. Let p = 11 + r. Is p less than 3?
True
Suppose -2 = 3*g - 5. Suppose 4*h - 11 - g = 0. Suppose 2*r - r + 3*o - h = 0, -r - o - 1 = 0. Are r and -6 non-equal?
True
Let f = 0.17 - 0.07. Let k be -2*4*(-3)/(-56). Which is greater: f or k?
f
Let c be (4/(-10))/(6/10). Let z = 13.99 - 14. Let k = 0.99 - z. Which is bigger: c or k?
k
Let u be ((-3)/(-3) - 1) + 5. Suppose -4 = -5*b + 16, -2*t - 112 = -u*b. Let o = 24 + t. Which is smaller: o or -21?
o
Let g be (-15)/(-6)*58/4495. Is g smaller than 3?
True
Let f = -14 + 18. Let s be f/4 + 344/65. Let g = 48/13 - s. Is g < -4?
False
Suppose 0 = 3*o + 2*o. Let j be (5/(-6))/(1495/(-92)). Which is smaller: j or o?
o
Let b = -695.05 - -695. Which is smaller: -60 or b?
-60
Let s(x) be the third derivative of 11*x**4/24 + 7*x**3/2 + 14*x**2. Let o be s(-6). Do o and -45 have different values?
False
Let w = 407.99 + -408. Is -3/23 equal to w?
False
Let m = -22.1 + 0.1. Let g = 12 + m. Which is bigger: -1 or g?
-1
Let u = -0.02 + 2.02. Let x = -31 + 31.19. Let q = x - 0.09. Is u != q?
True
Suppose -2*m + 5*c - 139 = 0, 2*m + 180 = -m - 2*c. Let y = m + 65. Let r = 1370 + -9570/7. Are r and y equal?
False
Suppose -4*n = -5*p - 297, 3*p - 4 = -19. Let j be (10/(-5))/(-2) + n. Which is smaller: 68 or j?
68
Let y = 0.104 - -19.496. Let n = -1.4 - y. Let f = 29 + n. Are 0.2 and f non-equal?
True
Suppose 5*d - 28 = -2*n, 5*n - 12 = n + d. Suppose n*f - 2*f - 148 = 0. Which is smaller: 75 or f?
f
Let t = 1632 + -1616. Which is greater: t or 15?
t
Suppose -47*k = -44*k. Suppose b - 2 + 6 = k. Is -4 >= b?
True
Let x be (-24)/30*(-5)/2. Suppose 4*c = 2*c + x. Is c at most as big as 2/57?
False
Let k = -94 - -93.9. Let t = 0.8 + 0.2. Is k bigger than t?
False
Suppose 27*l + 25 = 52*l. Let w = -197368 + 53881544/273. Let f = -2/273 + w. Which is greater: f or l?
l
Let g be (-20)/(-90) + (-1706)/(-18). Let p = g - 99. Is -4 at least p?
True
Suppose 0 = -211*t + 218*t + 1967. Are t and -280 unequal?
True
Let n(y) = -47*y + 299. Let s be n(7). Are s and -5 unequal?
True
Let f be 1/1 - 5542/85. Let m = f - -65. Is m less than 0?
False
Let j = -64376/37 + 1740. Is 1 at most j?
False
Let j = -503 - -1015/2. Is 1/3 not equal to j?
True
Suppose -30*v = -19*v - 121. Which is smaller: -3 or v?
-3
Let t = -1.996 - 0.304. Let c = -10 + 8. Which is smaller: t or c?
t
Suppose 0 = g - 2*b + 10, 3*g + 20 = 4*b - 2. Let j be (1 - (-27)/(-21)) + 12/(-42). Which is greater: j or g?
j
Let s be 3/(((-6)/(-8))/1). Let m = -428/1547 + -2/221. Which is smaller: m or s?
m
Let m be 152/(-32) + (-1)/4. Let t = m - -1. Which is bigger: t or -16/5?
-16/5
Suppose 0 = 7*i - 9*i + 10, -25 = 4*f - 5*i. Does f = -83?
False