 - 2.95. Let u = 123 + -123.05. Let n = q + u. Is n > -8?
True
Suppose -25 = -5*j - 75. Let d = 24 + j. Let a be (6 + 18)/(42/(-12) - -5). Which is smaller: d or a?
d
Let z(h) = h**3 - h**2 + 3. Let y be z(0). Suppose s = 1, -3*s = -y*j - 9 - 0. Let p = -15 + 5. Which is smaller: p or j?
p
Let t be (-86)/(-165) - (-4)/(-10). Let y = -61/231 + t. Suppose -3*h = -3*w, 3*h - 3 = -4*w + 4. Which is smaller: y or h?
y
Suppose 5*n = 2*z + 603, 7*z = -3*n + 3*z + 367. Which is smaller: n or 125?
n
Let q = -19 + 19.05. Let x = q + 4.95. Which is smaller: 1/3 or x?
1/3
Suppose 0 = -4*g - g - 3*i + 198, 0 = -4*g + 5*i + 151. Let c = 31 - g. Which is smaller: -5 or c?
c
Let n = 1 + -2. Let a = 1.1 + n. Let t be 9 + 44/(-8) + (-2)/2. Which is greater: a or t?
t
Let g be (-100)/60 - (-34)/6. Let c be (g + -5)*8/(-68). Is c greater than 1?
False
Let g(l) = l - 9. Let u be g(5). Suppose -2*h = -6*h. Let m = h - 4. Are m and u equal?
True
Suppose 5*n - 3*m = 43, -2*n - 2*m - m = -34. Suppose -5*r - 19 = q + n, -r = -3*q + 22. Which is greater: -8 or r?
r
Let t = 30 - 27. Let z be (t/15)/(2/5). Let b = 7 + -7. Which is smaller: z or b?
b
Suppose c + 2 - 11 = -5*y, -4*y + 8 = 0. Is -60/43 != c?
True
Let h = -0.01 - 3.49. Let v = h - -3.3. Is -1 not equal to v?
True
Let v(j) = j**2 - 5*j + 5. Let u be v(3). Let r(p) = -p - 1. Let h be r(u). Which is smaller: 1/5 or h?
h
Suppose -2*c - 2 = -62. Let s be 2/(-4)*5/c. Is -0.1 at least as big as s?
False
Let g be (390/(-25))/(-1 + (-24)/(-20)). Is g <= -79?
False
Let y be (-2)/(-11) + (-488)/22. Is y greater than -22?
False
Suppose -2*b + 148 = -2*w, 21 + 236 = 3*b + 4*w. Suppose -4*a - b = -a + 5*o, 5*a = 2*o - 173. Let t be 2/(12/a)*-2. Is t at most as big as 0?
False
Let a be (32/(-40))/((-2)/(-55)). Is -27 less than a?
True
Let h be (2/8)/((-3)/4). Let r = 17372.68 - 17373. Is h > r?
False
Let c = -5 + 35. Suppose 14*d = 16*d - 60. Is d <= c?
True
Let n = -10/27 - -155/54. Let k = -43/22 + 16/11. Is k smaller than n?
True
Let o be (0 - 0)/(-13 - -12 - -3). Let v(h) be the first derivative of h**4/4 - h + 1. Let a be v(o). Is a at least as big as 5?
False
Suppose 4*n + r - 460 = 125, 5*n = 3*r + 727. Let u = -728/5 + n. Are -2 and u equal?
False
Let g(z) = z**3 + 4*z**2 + 4*z + 1. Let y be g(-3). Suppose -3*c + 4 = -5. Let b = c + -8. Is b at most y?
True
Suppose 0 = -41*h + 42*h + 50. Let l = 48 + h. Which is bigger: l or -5?
l
Let p = 1 + 1. Suppose -6*f + 10 = -8. Let g(h) = h - 3. Let b be g(f). Which is bigger: p or b?
p
Let t(i) = -12*i + 120. Let z be t(10). Is z less than 3/43?
True
Let o = -115187/9 - -12858. Let r = o + -59. Does r = -1?
False
Suppose -k + 5*s = -15, 0*s = 3*s + 9. Is k equal to 4/3?
False
Let f(r) = r**3 + 2*r**2 - 3*r - 4. Let p be f(-2). Suppose -k + 16 = -p*q, -2*q - 2*q = -5*k + 110. Is k less than or equal to 25?
False
Suppose -6*q = -8*q + 226. Which is bigger: q or 115?
115
Let o = -70 - -56. Which is smaller: -144/11 or o?
o
Suppose -10*y + 756 = -46*y. Is y bigger than -22?
True
Let h be (9/(-3))/((-489)/(-2)). Let z be ((-2)/(-4))/(4/(-8)). Which is smaller: z or h?
z
Let x be (2368/80 - 26)*(-5)/2. Let g(i) = -i**3 + i**2 + i. Let h be g(-1). Let c be (h + -16)*(-4)/(-6). Is c at least x?
False
Let j(u) = u**3 - 7*u**2 + 4. Let f be j(2). Let m be (-9)/24*-2 - (-28)/f. Which is bigger: -4 or m?
m
Suppose a + 0*a + 3*u = -24, -5*u = 25. Let b be (a - -3)/2 - 0. Let g be b/(-6) - (-6)/4. Which is smaller: g or 10/7?
10/7
Let h(z) = 2*z**2 + 44*z - 52. Let g be h(-23). Which is smaller: -41/6 or g?
-41/6
Let w = -33 - -31. Let q = -2 - -1. Which is bigger: w or q?
q
Let x(h) = -3*h**2 - h - 3. Let w be x(-1). Let d be 4/7*w/((-100)/14). Is 0.68 greater than or equal to d?
True
Suppose -5*y + 5 + 16 = -2*j, -5*j = -y + 41. Let n be (-10)/j - 531/(-36). Which is bigger: n or 3?
n
Let o be 6/20*(-136)/(-51). Let n(u) = -2*u**3 + 27*u**2 - 12*u - 12. Let k be n(13). Which is smaller: k or o?
o
Let f be (-12 + -182)*(1/2 - 1). Is 97 at most as big as f?
True
Suppose 23*m - 24*m - 1 = 0. Is m at least as big as 0.71?
False
Let c = 177 + -166.9. Let o = -20 - -10. Let q = o + c. Which is smaller: 3/7 or q?
q
Suppose 3*o + w = -61, 5*o + 0*o - 3*w + 125 = 0. Suppose -55 = 4*l + 37. Which is smaller: l or o?
l
Suppose 0*o - o = 0. Suppose -4*s + 2*s + 42 = o. Let t be ((-24)/(-14))/(3/s). Is t <= 12?
True
Let m be (-7)/42 - (-2)/(-2). Is 2/9 less than m?
False
Let y = -14 - -26. Let c = y - 15. Let j be 6 + c - (-5 + 2). Is j less than or equal to 4?
False
Let o = -5280 - -58164/11. Which is bigger: o or 9?
9
Let h(p) = -p**3 + 10*p**2 - 10*p + 13. Let z be h(9). Suppose z*q - 705 - 439 = 0. Let m be 8/44 - 118/q. Are 0 and m non-equal?
True
Let d = 25 + -22. Suppose 2*z - 6 = 5*z + 2*m, -3*z - 6 = d*m. Let l be (z + 2)*2/4. Which is smaller: l or -1/30?
-1/30
Let p be ((-1)/(-5))/(((-3)/5)/(-1)). Let j = -194 + 143. Which is smaller: j or p?
j
Let j be 117/27 - (-1)/(-3). Suppose 5*m = 2*g - 5, -j*m = -0*m - 5*g + 21. Let z be 6/(-2) + m - -1. Which is smaller: -2/23 or z?
z
Let k = 0.004 + 6.996. Let t = 14 - k. Which is smaller: 1 or t?
1
Let w = 9068287/119469 - 1/5689. Let a = -76 + w. Is -1/2 <= a?
True
Let p be (1/55)/(165/275). Is p at most as big as 0?
False
Suppose 3*f - 3*u + 108 = 0, 0*f - 3*u - 165 = 4*f. Let t be (5/2)/(f/(-12)). Which is smaller: t or 1?
t
Let a be (-1)/(-21) - (-2)/(-6). Suppose 0*h = -3*h + 246. Let o = 412/5 - h. Which is smaller: a or o?
a
Suppose 0 = -20*q - 0 + 600. Let l(k) = 30*k**2 - 1. Let m be l(1). Which is bigger: m or q?
q
Suppose -4*y + 54 = -5*c - 0, 0 = 4*y - 4. Let v(u) = -u - 9. Let i be v(c). Suppose -k = i - 2. Is 6/11 smaller than k?
True
Let n be 10/4*(-20)/(-275). Let y = -23 - -25. Let i(p) = p**2 - 4. Let c be i(y). Which is smaller: n or c?
c
Let s be -47*(1 + -3 + 3). Which is greater: s or -48?
s
Let p be (1 + (-5)/(-5))/2. Let l be ((-40)/100)/(p/(-30)). Let g be (-14)/l*(-5)/35. Is g > 0?
True
Let z = 257957/1566114 - 167/1167. Let i = z - -7/61. Which is bigger: 0 or i?
i
Let i be (15581/(-3))/((-21)/(-54)). Let s = i - -13390. Let k = -2712/77 + s. Which is smaller: 1 or k?
k
Let g be 80/(-50)*5*2/(-732). Is -1 > g?
False
Let s = 555 + -553. Do 11/15 and s have the same value?
False
Let v(r) = r**3 - 3*r**2 - 2*r + 1. Let x be v(4). Let n be (-4)/2 + x + -3. Suppose -6*j + n = -8*j. Is j bigger than -1/2?
False
Let y be 2*6/(-4) - -4. Let a = 31 - 33. Let o = a + 1. Are o and y non-equal?
True
Suppose 0 = 5*i + 3*q - 123, -i + 0*i + 22 = -2*q. Let p be (-17 - -18) + (-26)/i. Which is smaller: 0 or p?
p
Suppose -v = -5*a + 28, -v + 4*a - 48 = 3*v. Let d be (-6)/v + (-120)/32. Let g be 26/8 + d/12. Is g greater than 3?
False
Let h be 0 + (-2)/1 - -2. Suppose -4*z = -3*m - 130, h = -4*z + 3*z - 5. Let v = m - -26. Which is smaller: v or -25?
-25
Let z(n) = -n**3 - 6*n**2 + 4. Let m be z(-6). Suppose -5*d = m*g + g, -g - 2*d = 0. Is g at most 3/13?
True
Let o be 2/(-4)*18/219. Suppose 5*a = 0, -9*y = -13*y + 3*a. Which is bigger: o or y?
y
Let p be (-71)/((-20)/(-48) - 3/(-36)). Is -3 smaller than p?
False
Let j(m) = m**3 + m**2 + m - 1. Let n(w) = -3*w**3 + 2*w**2 + 2*w + 14. Let r(u) = -2*j(u) - n(u). Let g be r(5). Let f = -635 + 1886/3. Is f bigger than g?
True
Suppose 0 = -0*q - q. Suppose -12 = k + 3. Let r = k + 16. Do r and q have the same value?
False
Let c be ((11/55)/(4/70))/((-16)/160). Let s = 24 - 60. Which is greater: s or c?
c
Let l = 3083 + -15287/5. Are l and 25 equal?
False
Let v = -177 - -44. Which is smaller: -138 or v?
-138
Let n(o) = -o**3 + 18*o**2 + 18*o + 12. Let y be n(19). Let i = 42 - y. Which is greater: 48 or i?
i
Suppose 2*r - 29 - 5 = -3*d, 5*r = -5*d + 50. Do d and 2 have the same value?
False
Let s(q) = q**3 + 4*q**2 - 5*q - 1. Let l be s(-5). Let b be -4 + 2 - (-6)/2. Let f be -7*(b + (-16)/20). Which is smaller: l or f?
f
Let b be -2 - (2*(-2345)/(-1530) + -5). Is 0 greater than b?
True
Let k(a) = a - 5. Let f be k(8). Suppose f*t - 7 = 23. Which is smaller: 8 or t?
8
Suppose 0 = 84*t - 92*t + 8. Is t < 1/111?
False
Let u(a) = -32*a + 691. Let r be u(22). Are r and -1/37 equal?
False
Suppose -2*p + 78 = -m, 2*p - 10*m = -7*m + 70. Suppose -v + 4*v = 129. Is v at least as big as p?
True
