0*f - 9. Suppose y - f*p + 16 = p, 3*y - v*p = -8. Which is smaller: y or -4/5?
-4/5
Let c be (4 - 298/152) + (-8)/4. Which is smaller: c or 1/8?
c
Let a be -127*(-2)/(-4) + 2/4. Which is smaller: a or -61?
a
Let j be -71 - -76 - (-5)/(-1). Which is smaller: 4/47 or j?
j
Let b(v) = -v + 5. Let r be ((-10)/8)/((-7)/28). Let z be b(r). Let p = 1 - z. Which is smaller: p or 2?
p
Suppose 0 = -4*j - 8 + 72. Let l be j/(-7)*(-178)/(-4). Let b = l - -102. Do -1 and b have the same value?
False
Let x = 7 - 29/4. Which is greater: x or -215?
x
Let f(j) = -2*j**3 + 6*j**2 + 2*j - 10. Let m be f(4). Let q = -64 - -30. Is m greater than q?
False
Suppose 4*j = 4*g + 64, 6*j - 3*j = 5*g + 88. Suppose -5*k - 57 = -2*k. Let t = g - k. Is 2/17 at least as big as t?
True
Let z be (15/(-6))/(-1 - -5). Let i = -13.4 + -1.6. Let p = i + 14. Is z less than or equal to p?
False
Let l be (-11)/(-1716)*-6*(-38)/(-3). Do l and -1 have different values?
True
Let b be (6/18*-2)/(-1). Which is smaller: b or 1/2?
1/2
Suppose 4*j = -4*l, 0 = 6*j - j - 3*l - 32. Suppose n - 6 + j = 0. Let u be (-9)/(9/n) - 4. Is -6 < u?
False
Let n be (39 + 3*(-8)/12)*-35. Let p = n + 24611/19. Is 1 != p?
True
Suppose 0 = 53*g + 48 + 429. Which is smaller: g or -68/9?
g
Let q = 896/11367 + -2/421. Let l(t) = t**2 - 8*t + 4. Let b be l(8). Suppose 0 = -u - b*u. Which is smaller: q or u?
u
Suppose -2*t = -3*f - 11, -4*t = -0*t - 2*f - 18. Suppose t*i = 3*i + 1. Which is greater: 1/2 or i?
i
Let w(r) = -18*r - 115. Let d be w(-6). Let b be ((-14)/(-8))/(1/(-4)). Is b greater than or equal to d?
True
Let h = 304 - 305. Which is smaller: -7/20 or h?
h
Let h = -737 + 734. Suppose -4*u + 115 = u. Is h <= u?
True
Let l(c) = -2*c**3 + c**2 + 11*c - 4. Let y be l(-3). Let m = y + -25. Is m <= -3/22?
False
Let q(t) = t + 4. Let l be q(-7). Let j be (-8)/24*l/1. Let g = 12/19 + -127/171. Is j not equal to g?
True
Let s be (-4 + (2 - 0))*15/(-6). Suppose s*w = r - 18, -54 = -3*r + w + 2*w. Which is smaller: 19 or r?
r
Suppose 1922 + 1588 = -9*k. Let d = k - -5457/14. Do d and 0 have the same value?
False
Suppose 0 = -s + 2 - 11. Let a be s/6*4/933. Let i = -943/1555 - a. Are i and 0 unequal?
True
Suppose 2*i = -4*l + 22, -2*l + 7 = 5*i - 16. Suppose -4*y + p = -2*p - 38, -y = 3*p - 17. Is y greater than or equal to l?
True
Let t be (42/(-7))/(2 + 0/2). Let b(j) = -j**2 - 2*j + 2. Let o be b(t). Which is smaller: -19/8 or o?
-19/8
Let b = -1083 + 1088. Suppose -4*v + 5 + 7 = 0. Let z be v/(-6) - (-5)/2. Which is bigger: b or z?
b
Let g(q) be the first derivative of q**3/3 + 15*q**2/2 - 2*q - 9. Let y(h) be the first derivative of g(h). Let u be y(-7). Is -2/57 smaller than u?
True
Let a = -0.635 - -0.385. Which is bigger: -3 or a?
a
Let m be -1 + 0 + 378 - -1. Let s be 16/(-4) + m/93. Is s >= 1?
False
Let j = 1154/455 + -8/35. Let o be (13 - 2680/208)*(1 - -17). Let q = o - j. Are 1 and q non-equal?
True
Let k be 357/348 + (-17)/17. Which is bigger: 1 or k?
1
Suppose 50*g - 10 + 10 = 0. Which is bigger: -19/66 or g?
g
Suppose -p - 4 = -0*p + 2*w, -4*p - w = -5. Suppose -2*r + 3*s = -s + 6, -42 = 4*r + p*s. Is r < -9?
False
Let h = -600033/167 - -3593. Is 1 >= h?
True
Let x(m) = -m**2 + 3*m + 6. Let f be x(-4). Let c = 111/5 + f. Let d = -12 - -13. Which is bigger: d or c?
d
Let g = -857.7 + 858. Do g and -32 have the same value?
False
Suppose -2*y - 3*y - 5 = 0. Let b = y - -2. Let r be 1 + 2*3/(-2). Which is smaller: b or r?
r
Let i be (1 - 15)/2 - (-9408)/980. Which is smaller: i or 4?
i
Let k(f) = -73*f + 1. Let t be k(-1). Let j = t - 73. Which is greater: 9/4 or j?
9/4
Let y = 284 - 179. Which is greater: y or -2/3?
y
Let k = 87 + -83. Let f be 2*(-1)/k + (-5 - -5). Is 0.01 less than f?
False
Let l = 77 + -29. Suppose -2*z - 4*z = -l. Is z at least as big as 5?
True
Let m be 700/(-42)*108/10. Let o be ((-2)/(-4))/(6/m). Are -17 and o non-equal?
True
Let f = 1072/3207 + -1/1069. Do -310 and f have the same value?
False
Suppose m - 6*m + 25 = 0. Suppose 8 - 87 = -5*b - 3*h, -m*b + 4*h + 58 = 0. Is b >= 14?
True
Suppose 165*f - 1626 = 171*f. Are -273 and f equal?
False
Suppose -2*g + 5*d = -0*d - 20, 2*g = -2*d - 8. Let a = 2 - g. Which is bigger: a or 0.05?
a
Suppose -r + 10 = -8. Let x = 11 - r. Let n be 2/x - 160/(-756). Which is smaller: n or -1?
-1
Let f = 27.7 + -27.77. Which is bigger: f or 9?
9
Let u = -1396 + 691. Do u and -705 have different values?
False
Let c be 7/(-6)*1*(-57)/(-19). Which is smaller: -17 or c?
-17
Suppose -5*s - 11 = 3*n, 2*n + 10 = -3*n. Does s = 4/113?
False
Let y = -30 - -31. Let u be 10*(-1)/(-9) + (-2)/2. Which is smaller: u or y?
u
Suppose -2*f + 21 + 45 = 0. Suppose 6*s - 16 = -j + 2*s, 2*s + 8 = 0. Which is greater: f or j?
f
Let h be (-44)/4 - -7 - -3. Do h and 5/34 have the same value?
False
Let h = 15 + -206. Let k = -103 - h. Suppose 0*q - k = -4*q. Is 21 < q?
True
Let w be (10/8)/1*(-936)/(-858). Is -0.6 less than w?
True
Let p = -116 + 118. Suppose -20 = -4*n - 5*g, g - 6 + 2 = -p*n. Which is smaller: 3/4 or n?
n
Let n = -0.637 - -0.077. Is n less than 2/3?
True
Let o = -23 - -16. Let u(x) = -7*x + 47. Let z be u(8). Are z and o unequal?
True
Let p(r) = r**3 - 14*r**2 + 36*r - 38. Let l be p(11). Which is greater: l or -47?
l
Let a be 125/14 + (-3)/(-6). Let v = a + -344/35. Let m be 0/(-3)*(-3)/6. Which is greater: m or v?
m
Let x(n) = -n**3 - 19*n**2 + 19*n - 20. Let c be x(-20). Is 7/22 at most c?
False
Suppose -4*f = 4 - 8. Let w = -67 + 69. Let s be w*(-45)/(-200)*4. Which is greater: s or f?
s
Let d be (-5 - -2)*4/51. Let m be (-42)/30 + (-6)/(-15). Is d at least as big as m?
True
Let k be ((-2)/(-1))/((-16)/88). Let d = -4 - k. Let j(y) = y - 11. Let w be j(d). Is w less than or equal to -5?
False
Let p be 20/(-8)*(-4 - (-56)/20). Suppose 2*a - 243 = -p*c, -3*c + 375 = 3*a - 2*c. Which is smaller: 125 or a?
125
Let y = -76075/6251 + 231/19. Is -1 at most as big as y?
True
Let p(a) = 11*a**2 - 6*a + 6. Let q be p(6). Suppose -3*f + q = -f. Let r = f - 2747/15. Do -1/3 and r have different values?
True
Let p(o) = o**2 + 15*o + 21. Let s(j) = -2*j**3 + j**2 + j - 3. Let c be s(2). Let i be p(c). Does i = -6?
False
Let b be 4/(-8) - 4/8 - 45. Which is bigger: b or -45?
-45
Let r(c) = 9*c**2 + 21*c - 6. Let w(j) = 5*j**2 + 11*j - 3. Let v(d) = -4*r(d) + 7*w(d). Let k be v(-7). Let z be (-5)/(-7)*(-126)/315. Are z and k equal?
False
Let z = 51 + -157/3. Suppose -3 + 2 = o. Which is bigger: z or o?
o
Let o be ((-48)/(-864))/(2/78). Which is smaller: 1 or o?
1
Suppose -63 = -8*z - z. Let f be ((-1)/3)/(z/105). Which is smaller: f or 0.3?
f
Let g = -1.92 - 0.28. Let y = g + 2.2. Let j be 4 + -2 + (-1 - -1). Which is smaller: y or j?
y
Let o = -584.1 + 610. Let f = -0.23 - -26.23. Let g = o - f. Is g at most as big as 0.2?
True
Let u = 122.1 - 122. Let a = 3.95 + -4. Which is greater: a or u?
u
Let a = -481.62 + 482. Which is smaller: -1/3 or a?
-1/3
Let i be 2823/561 + (-6)/(12/10). Is 0 at least as big as i?
False
Suppose -f + 3*f + 3 = -5*v, 0 = v + 2*f - 1. Let o = 5966164/221 - 26996. Let p = -5/17 + o. Which is greater: p or v?
p
Let m = -23/840 - -3/280. Which is smaller: -1 or m?
-1
Let v(h) = -h**3 - 4*h**2 - h - 2. Let p be v(-4). Suppose -p*a + 0 = -4. Is a at least 12?
False
Suppose 3 = -5*s - 17. Let u be 42/5 + s/10. Which is smaller: 29/4 or u?
29/4
Let k(g) = g**3 + 14*g**2 + 11*g - 25. Let v be k(-13). Is 2/963 smaller than v?
True
Let u be (-4719)/44 + 0 + 5. Let o = 102 + u. Is 21 >= o?
True
Suppose -p + 625 = -4*k, -3*k + p = -64 + 533. Do -158 and k have the same value?
False
Let v be 123/(-984) - (-2)/(1264/111). Which is smaller: v or 1?
v
Let n = -0.85 + -0.15. Let a be 52/(-78) + ((-82)/(-114) - 0). Is a <= n?
False
Let z be (-8)/(-220)*315/(-28). Are 0 and z equal?
False
Suppose 0 = -2*n - 4*j - 1 + 13, 12 = 4*n + 4*j. Which is greater: n or -1/157?
n
Let q = -0.14 - -0.34. Let z = q + 0.1. Let l = 1 + 0. Is z at least l?
False
Suppose -4*q - 463*g + 466*g + 105 = 0, -3*q - 5*g + 86 = 0. Let h = 62 + -36. Is h smaller than q?
True
Let m = -2425 + 2292. Are m and -0.1 nonequal?
True
Let r be 2/6*(-8 + (-5)/(-1)). Which is smaller: -3/73 or r?
r
Let h(q) = 53*q + 434. Let l be h(-12). Which is bigger: l or -200?
-200
Suppose 0 = -5*o 