 s + -26. Are a and p equal?
False
Let p be 3/12 + (935/(-4))/(-17). Let n be 2/(-3) - (-94)/6. Is n >= p?
True
Suppose 5*j = 15, -142*c = -137*c + 2*j - 6. Which is bigger: 13/49 or c?
13/49
Suppose -2*b - 3*b + 2*m - 13 = 0, 0 = 4*b + 4*m - 12. Are -3/125 and b non-equal?
True
Let q = 2.5 - -8.2. Let c = q - 11. Which is bigger: 0.2 or c?
0.2
Let x be (-6)/(-39) + 4926/(-78). Is -62 bigger than x?
True
Suppose 0 = 4*v + 5*h - 5, -4*v + 3*h - 6 + 35 = 0. Suppose 5*r - s = -2*s - 90, s + v = 0. Let q = r + 10. Is -7 equal to q?
True
Suppose -3 = 5*b + 42. Let h be (1 + -9)/((-6)/b). Which is bigger: -13 or h?
h
Let a = 38.9 + -31.5. Is 2 at least as big as a?
False
Let a be 320/50 + 2/(-5). Let v be ((-12)/5)/a*-10. Which is greater: v or -2?
v
Let k(r) = 30*r - 4. Let h be k(0). Which is greater: -48 or h?
h
Let w be ((-38)/(-8))/(4/32). Suppose -4*p + 4*b + 180 = 0, -p + 3*b = -3 - w. Suppose -19 = z - p. Which is smaller: z or 29?
z
Let z = -15 - -26. Let k = 19 - z. Let o = 0 - 1. Which is smaller: k or o?
o
Suppose 24*k - 38*k = -70. Is k > -3?
True
Let z = 0.005 + 0.995. Is z > -63?
True
Let b be 15/(-13) + (-28)/(-182). Let m(c) = 3*c**2 + c + 2. Let i be m(b). Which is smaller: 30/7 or i?
i
Let a(i) = i**3 + 7*i**2 - 29*i + 12. Let q be a(-10). Suppose -3*l - 2*y + 76 = l, 0 = 5*l + q*y - 97. Does l = 23?
False
Let p = 28/415 + -23716/7055. Is -4 >= p?
False
Let a be -3*(-4)/(-36)*-3. Is a smaller than 1/18?
False
Let f = 345 - 2397/7. Suppose 0 = 5*c + 2*s + 8 - 36, s = -3*c + 16. Is f less than c?
True
Let c(l) = l**2 - 13*l - 15. Let t be c(14). Let d be 0 + t - 3/(-5). Is -3/10 at least as big as d?
True
Let u be (-122)/4*(42 + -28). Which is smaller: -428 or u?
-428
Let z = -97/44 - -27/11. Are z and -12 non-equal?
True
Let n = 0.1 - -1.9. Let h(g) = g**3 + 5*g**2 + 6*g + 5. Let a = 33 - 37. Let u be h(a). Is u > n?
False
Suppose -19*p = -4*f - 21*p + 2, -2*p = -6. Which is greater: f or 1/1166?
1/1166
Let a be 1/((-5)/23) - (-48)/12. Let j = 26 - 18. Suppose -3*m - j = m. Is m at most a?
True
Let c be ((-24)/(-30))/((-2)/(-50)). Suppose -5*w - 5 = -c. Let u be 81/(-12) + 2 + w. Which is smaller: -1 or u?
u
Suppose -2*h + 0*h = l + 5, -4*h - 5*l = 25. Is h at least 1/254?
False
Let i = 0.86 + -0.819. Let u = i - -0.259. Let p = -1 - -2. Which is greater: u or p?
p
Let x be (96 - 101) + (-1)/((-28)/146). Which is greater: x or 22?
22
Let v = -31 - -35. Suppose -v*q + 184 = -3*a - 6*q, 2*q + 124 = -2*a. Which is smaller: -59 or a?
a
Suppose -w = -4*b - 6*w - 17, 0 = 2*b + 5*w + 21. Let m be b/4 + 3/2. Let y be (-9)/(-36)*40/(-55). Which is greater: y or m?
m
Suppose 607*y = 599*y - 720. Are 8 and y equal?
False
Let j be (-44)/(-10) + (-8)/20. Suppose -8*y = -j*y - 192. Suppose -2*r = -4*d - 0*r - y, -5*d + 5*r - 65 = 0. Which is greater: -10 or d?
-10
Let t = -22 + 17. Let w be (4 + -6 - 0)*1/t. Which is smaller: w or 27?
w
Let f be (-10)/(-15) + 2/6. Let p = -9276025/7281 + 363/809. Let u = -1272 - p. Is u >= f?
True
Let z = 487 - 492. Which is smaller: -44/9 or z?
z
Let p(h) = h**3 + 9*h**2 - 6*h + 9. Let u = -38 + 28. Let v be p(u). Which is bigger: -32 or v?
v
Let t = -0.008 - -0.358. Let y = t - -0.05. Is y less than 1/4?
False
Let a = -0.005 - 0.015. Suppose 2*t + 38 = 3*t. Let b be -6 - -3 - t/(-14). Which is smaller: b or a?
b
Suppose -3*o + 4*g = -166, -2*o + 0*o - 5*g + 126 = 0. Let l = -58 + o. Which is smaller: l or -1/111?
-1/111
Let s be 2896/48 - (-2)/(-6). Let p be (s/105)/((-6)/(-7)). Is 2/15 bigger than p?
False
Suppose 6*u + 45 + 207 = 0. Let d = u - -90. Which is smaller: d or 49?
d
Let g = 55 + 25. Let j = g + -52. Which is smaller: j or 0?
0
Let s = -2 - -4. Suppose -2*u + 5*p = s*p - 5, 5*u = -5*p + 25. Let x = -98 + 103. Which is smaller: u or x?
u
Let f = 569/539 + -270/49. Is f equal to -3?
False
Suppose 2*n = -3*f - 133, -f - 41 = -n + 10. Is -49 bigger than f?
False
Let z = -7 + 0. Suppose 0 = -g - 3*y + 12, -6*g + g + 2*y = -26. Let m = z + g. Which is smaller: m or 1/3?
m
Let y be (-4)/14 + (-66)/(-126)*159. Let j = -84 + y. Which is bigger: j or 2/121?
2/121
Suppose u = 4*u + 6. Let h = -548 - -543. Which is smaller: h or u?
h
Let c be ((-12)/600)/(4/(-70)). Is c smaller than -1?
False
Let y = 184 + -181.46. Let u = 2.6 - y. Suppose -q - 5*a + 3 = -0, 0 = 3*a - 3. Is u <= q?
False
Suppose -26*x = -17*x + 7974. Which is smaller: -885 or x?
x
Suppose 4*v - 66 = 2*f, -3*f = -4*v - 7*f + 96. Which is greater: 20 or v?
20
Let t be (-264)/110 - (-3 - -1). Let l be 1/(-4) - 6/40. Is t less than l?
False
Let g = -4247070064 - -1363310922844/321. Let o = g - 4462. Which is smaller: 0 or o?
o
Let d(v) = v + 3. Let u be d(1). Suppose 3*g + u*n = 32, -g + n - 6*n = -18. Let f be 10/100*g/6. Are -4 and f unequal?
True
Let n(h) = -2*h**2 - 36*h + 38. Let o be n(-19). Is o <= 1/399?
True
Suppose -2*w - 2*w + 13 = -3*c, 4*c + 24 = 2*w. Suppose -12*s + 11*s - 6 = 0. Which is greater: c or s?
s
Suppose -40 = -2*n + n. Let a = -43 + n. Which is smaller: -4 or a?
-4
Suppose -29 = -2*h + 42*d - 47*d, 3*d = h + 13. Let b = 0.49 + -0.4. Which is greater: b or h?
h
Suppose 2*u + 0*u = 6. Let m(c) be the second derivative of c**5/20 - c**4/12 + 2*c**2 - 5*c. Let f be m(0). Which is greater: u or f?
f
Suppose 0 = -2*v + 4*v + 2. Let b be (813/(-36) - 3) + -3. Let y = b - -57/2. Is v > y?
False
Let r be ((-688)/(-88) - 8) + (-112)/(-11). Which is greater: 1 or r?
r
Let f = -817 + 842. Which is bigger: f or 1?
f
Let s = -26.7 - -26.3. Are s and -13 equal?
False
Let r be 570/(-45) - (-4)/6. Which is bigger: r or -16?
r
Let l = 14 - 10. Suppose 2*r + 5*c + 24 = 0, 0*r + l*r - c = -4. Let p = 8 + -6. Which is smaller: p or r?
r
Let x = 46 + -34. Let z be 400/x + 1/(-3). Which is greater: z or 34?
34
Let a = -7453/6102 + 65/54. Let n be (-8)/70 - 20/70 - 30/50. Which is bigger: a or n?
a
Suppose 6*o + 3*f = 3*o + 54, 5*o - f - 90 = 0. Let z be (12/o)/((-4)/6). Are z and -1/30 equal?
False
Let z = -49 - -56. Suppose 0 = -z*t + 5 - 19. Does t = 15?
False
Let z = -11 + 7. Let m = z - -4. Let k = 515 - 4639/9. Which is greater: k or m?
m
Let s be 538*((-4)/8 + 0). Let m = s + 2957/11. Is m less than -18/11?
False
Let w be (-2 - -4)*(109 - -3). Suppose 4*k = -0*k + w. Let u be (-14)/k - 49/(-36). Is u at least as big as 2?
False
Let m = -15/11428 + -31783/817102. Let n = m - 5/44. Let f be 20/12*(-2)/15. Which is bigger: f or n?
n
Let a(h) = -h**3 + 2*h**2 + 14*h + 5. Let q be a(5). Is q < 56?
True
Let k be (-345)/30 - 15/(-10). Is k less than -138/13?
False
Let w = 550 + -351. Is w at least as big as 199?
True
Let n be (-1)/(3/(-2) - -2). Let i be 1 + (-2 - n) - (-21)/(-11). Which is smaller: -1 or i?
-1
Let u = -596/119 - -90/17. Which is greater: 3 or u?
3
Let n = 36 - 56. Let i = n - -20. Which is greater: 1/39 or i?
1/39
Suppose -3500 = -5*u + 3*v, -4*u + 56*v - 58*v = -2822. Which is bigger: 702 or u?
u
Suppose 5*o = 4*o. Are 1/270 and o equal?
False
Suppose v - 4 = -0*v. Let k = 3 + 0. Suppose v*i = k*i. Which is bigger: 3 or i?
3
Let j(z) = -z**3 + 7*z**2 + 12. Let h be j(6). Is h not equal to 50?
True
Suppose 4*q = q. Let s = q + 0. Let g be 2/(-14)*2 - s. Which is greater: g or 1/2?
1/2
Let w(c) = -90*c - 107. Let x be w(0). Is x bigger than -110?
True
Suppose -3*j = 1 - 4. Let y be (j - ((-812)/(-60))/(-7)) + -3. Which is bigger: 1 or y?
1
Suppose 0 = -2*k + k + 12. Suppose -s + 0*s - 4*c - k = 0, s = -c - 18. Is -20 at most s?
True
Let n = 163 - 150. Let j = n - -58. Does j = -0.1?
False
Let x be (-2)/3*(-12)/14. Let n = 45 - 29. Suppose 0 = n*r - 21*r. Which is smaller: x or r?
r
Let t = 5 - 10. Let m = -14.9 + 15. Let b = m - 0.1. Which is smaller: b or t?
t
Let h = 275 - 127. Let w = h - 106. Let a be (-1 - 2) + 144/w. Which is smaller: a or 0?
0
Let u = 55.87 - 59.2. Let o = 0.17 - u. Let i = 3.48 - o. Which is smaller: 4 or i?
i
Suppose -g - 138 + 105 = 0. Is -36 at least g?
False
Let r = 22/15 + -9/5. Let n be (-2)/10*(-3 + 0/5). Which is greater: r or n?
n
Let d(b) = b**3 - b - 1. Let h(o) = 3*o**3 + 15*o**2 - 19*o + 9. Let v(g) = 4*d(g) - h(g). Let u be v(14). Which is greater: 2/55 or u?
u
Suppose -4*d = -3*k + 1611, -3*k + 3*d + 2415 = 807. Which is bigger: 535 or k?
535
Let d(u) = -2*u**2 + u. Let q be (0 + 3)*