s m >= p?
False
Let s be 1/(3 - (-58)/(-20)). Let x be 5/s - (-506)/(-52). Suppose 3*j + 47 = -4*v, 5*v + 10 = 3*j - 15. Which is bigger: v or x?
v
Let q = 4061075/17 - 238759. Is q less than or equal to 128?
True
Let b be 6 + 0 - 2250/(-5). Let n = b + -457. Is n != -12/83?
True
Let p = -17616568995 - -9125408026107/518. Let f = 48816 - p. Let d = f + -2/37. Are -1 and d unequal?
True
Suppose -2*s - 2 = -4*m, 3*m - 4*m - 16 = 5*s. Let h be s/(-2)*56/434. Is -1 > h?
False
Let n = -3727/77 + 339/7. Which is smaller: n or -1?
-1
Let i = -27 + 4. Let s = -11 - i. Let v = 0 + s. Is v at least 12?
True
Let s = 3965/6966498 - -2/6209. Which is smaller: s or -1?
-1
Let p = 6 + 7. Suppose 0 = 17*f - p*f + 140. Let c = f - -31. Is c at least 1/3?
False
Let k(a) = 2*a**3 - 42*a**2 - 51*a + 78. Let n(b) = -b**3 + 20*b**2 + 26*b - 39. Let q(l) = 4*k(l) + 9*n(l). Let c be q(14). Which is smaller: -10 or c?
c
Suppose -15*v - 42 + 13 = -29. Which is bigger: 2/34767 or v?
2/34767
Let i(s) = -42*s**2 - 50*s - 33. Let u be i(-1). Let z be (-5 - 5)/(2/4). Which is greater: u or z?
z
Let q = -15784 + 16124. Is q bigger than 0.4?
True
Let f = -66 - -68. Let h be f/3*1*261/(-6). Which is smaller: h or -91/3?
-91/3
Let v = -4.25 - 132.75. Let t = v + 135. Which is bigger: t or -7?
t
Let y be (34/((-1088)/(-24)))/(2 - 171/84). Which is bigger: y or -9?
-9
Suppose -130*a = -170 + 40. Which is smaller: a or 1/1390?
1/1390
Let w = -63 + 61.98. Let l = -1.02 - w. Let b = -2 - -25. Is l smaller than b?
True
Let h = 60 - 60.066. Let n = -0.06328 + 0.10928. Let y = n + h. Is y > 3/4?
False
Let o(m) = m**3 - 2*m**2 - m - 8. Let l(c) = -8*c + 51. Let y be l(6). Let x be o(y). Let h = -5 + 10. Which is bigger: x or h?
h
Let u be (6/(-27) - (13/117)/1)*-6. Which is greater: 77/109 or u?
u
Let z(w) = 9*w**2 - 14*w + 23. Let l(t) = 3*t**2. Let v(f) = -4*l(f) + z(f). Let s be v(-6). Which is smaller: s or 4/297?
s
Let p be (148 + -2)/(((-6)/3)/12*3). Which is smaller: -293 or p?
-293
Let h be ((-56)/1260*15)/((-2)/(-3063)). Is h less than or equal to -1020?
True
Let o(c) = c**3 - 45*c**2 + 47*c + 265. Let q be o(44). Is 396 equal to q?
False
Let t(g) = g**2 + 4*g - 41. Let z(q) = -3*q**2 - 13*q + 120. Let o(m) = -8*t(m) - 3*z(m). Let c be o(-10). Is c less than or equal to -14/9?
True
Let w = -355738 + 355787. Let c(o) be the second derivative of -o**5/20 - 5*o**4/12 - o**3/6 - 3*o**2 - o. Let t be c(-5). Is w bigger than t?
True
Suppose 3*r + 165 = -4*n, -n + 14*r = 10*r + 65. Which is bigger: 108 or n?
108
Let h be ((-3)/(-6))/((-7)/(-14)). Suppose 0 = -2*i - k + 14, 2*k + 6 = -2*i + 20. Which is smaller: i or h?
h
Let o = -3486 + 3429. Let n = 66 + -124. Which is greater: o or n?
o
Let n = 0.4 - 0.3. Let a = -60643 + 302084/5. Let t = a + 226. Does n = t?
False
Let z = 257 + -215. Let g = z - 41.997. Which is smaller: g or 1/3?
g
Let n be (-40)/(8 + -28) - (-1 - 546). Do 1095/2 and n have the same value?
False
Let r(x) = x**3 - 11*x**2 - 12*x + 8. Let z be (-172)/(-14) + (-2 - 48/(-28)). Let i be r(z). Is 14 equal to i?
False
Let o(r) = 14451*r - 346722. Let d be o(24). Let h = 320 - 215. Is h at least d?
True
Let k(r) = -r**2 + r - 5. Let c be k(2). Let l(p) = p**3 + 5*p**2 - 6*p + 7. Let j be l(c). Let x = 82 + -131. Is j at least as big as x?
True
Let x be 4/(-26) - (-5 + 1176365/242190). Let p = x - -4/1053. Let c = 547/690 - p. Is 2 at most c?
False
Let j be 1 - (2 + (6 - 8)). Let h(g) = -42*g**2 - 4*g + 3. Let d be h(j). Suppose 0 = -5*x - 15, 4*f = x - 0*x - 165. Which is greater: d or f?
f
Let a be ((-157)/3)/((-118)/(-708)). Let f = a - -324. Is f greater than 10?
False
Suppose 12 = -3*a, 3*f = 4*a - 230 + 12. Let d = 77 + f. Is d smaller than -34/15?
False
Let a(x) = -2*x**2 + 12*x + 16. Suppose 4*d - 27 = 3*m, -d - 3*m - 13 = -1. Let h = d - -6. Let r be a(h). Which is bigger: r or -39?
r
Suppose -a - 247 = -5*x, 59 = 5*x - 4*x - 5*a. Let b = x - 55. Let g be b/(-15) + (-4)/(-2) + -3. Does -2 = g?
False
Suppose 2*r + 21*n = 16*n - 3040, 5*r - n = -7546. Is r at least -1511?
True
Let b = 1266/13 + -5857/52. Let f = b - -303/20. Let k = 2 + -4. Which is bigger: f or k?
f
Let y = -241.28 + 240. Let p = -2.57 - y. Which is smaller: 0.1 or p?
p
Suppose -28*q - 18 = a - 30, 3*q - 48 = -4*a. Which is bigger: 22/27 or a?
a
Let m be 16293/21 + (-9)/(-126)*2. Let p = m - 785. Let s = 0 + 0. Is s at most p?
False
Suppose 2*r + 1 = -3*s - 3, 3*r = s - 17. Let m be (23427/(-1520))/(7/4*r). Let t = m - 7/4. Is t less than or equal to -0.1?
False
Let c(j) = 34*j - 1. Let i be c(-1). Let b be (-1)/2*i/(-10). Let m be -9 - ((-440)/(-22) + -26). Is m at least as big as b?
False
Let z(p) = -2*p + 29. Let l be z(11). Let w(x) = 27*x - 132. Let h be w(l). Is 61 at least h?
True
Let y(g) = 5*g**2 + 22*g + 167. Let n be y(-6). Suppose -5*v = 5*k - 4*v - 1085, 3*k + 4*v - 668 = 0. Which is smaller: k or n?
n
Suppose 457*l = 462*l - 40. Let o be (-9 - l) + 9 + -2. Which is smaller: o or -46/5?
o
Let r = 30/593 + -1103/10081. Which is greater: r or -275?
r
Let y = -529 - -528. Let l be 18/(-159)*y/3. Which is greater: l or -3?
l
Let m(f) = -f - 7. Let l be m(-6). Let c be 6/(-45) + (-141)/(-45). Let k be c + -7 - 3 - -8. Is k greater than or equal to l?
True
Let i be ((-11442)/(-16))/((-102)/(-816)) - (-1 + 0). Are i and 0 non-equal?
True
Let g be (-10 - 290/(-30))/((-3)/3537). Is 391 at least as big as g?
False
Let d = 620037946790/11627 - 53327423. Let i = d - 2/1057. Which is greater: i or 0?
0
Suppose 4 = -7*v + 11. Let x(k) = 193*k**3 - 2*k + 1. Let f be x(v). Let s be 2/2 + -3 - f/(-108). Which is smaller: 27 or s?
s
Let y = -2506 - -2845. Which is smaller: y or 338?
338
Suppose 12668 + 3259 = 38*n - 113045. Which is smaller: 3391 or n?
3391
Let j be 1089/(-60) - -7 - (-13)/((-325)/(-10)). Is 55 less than j?
False
Let s be (2/(-4))/(-1) - (-11)/(-2). Let q = 250 - 256. Which is greater: q or s?
s
Let m = -67 - -67.033. Let j = -18.967 - m. Let f = j + 19.2. Is 22 smaller than f?
False
Let t = 3/44401 - 2033385/6343. Is t not equal to -322?
True
Let y = 0.5607 - 0.7107. Is -0.02 equal to y?
False
Let l be (56532/34)/(-6) + (32/(-136))/(-2). Is l bigger than -274?
False
Let n = -807.60471 + 0.00471. Let q = n + 808. Which is bigger: -27 or q?
q
Let j be 130/(-11) - (13/((-26)/8))/1. Suppose -2*m + 27 = -3*f, -5*f = -3*m + 5*m + 29. Which is bigger: f or j?
f
Suppose -82*g - 139*g - 30*g - 1288132 = 0. Which is smaller: -5130 or g?
g
Suppose -3*t - 5*u = 165, -3*t - u = -5*u + 165. Let v = 87 + t. Let d be ((-4 - v/(-5)) + -3)/(-1). Is -3 not equal to d?
True
Let x be (-97450)/(-165)*3/(-2). Let l = x - -887. Is 0 > l?
False
Suppose f + 116 = 4*n, -n = -5*f - 5*n - 652. Which is bigger: f or -132?
f
Suppose -2084*d - 2 = -2086*d. Are 2/4359 and d unequal?
True
Let i = 5.61 - 370.61. Let p = i - -365.2. Let l = 0 + -1. Is p equal to l?
False
Let j be 5937/(-10) + 11/55. Let p = -2179/4 - j. Which is greater: p or 49?
49
Let w = -16599 + 16591. Let p(o) = o**3 + 10*o**2. Let h be p(-10). Are h and w equal?
False
Suppose 58 + 2 = 12*b. Let q be (-40)/(-4)*4/b. Let p = 0.11 - 0.21. Which is greater: p or q?
q
Let h = -64.043 + 64. Let p be 470/60 - 3/(-18). Suppose 27*b + 9*b = -p*b. Which is smaller: h or b?
h
Let l = 775 - 849. Let r = 78 + l. Is 1/25 <= r?
True
Let w = 6833 + -47923/7. Let y = w - -15. Which is greater: 2 or y?
2
Suppose -10 = -5*n - 2*b, -3*n = b + 2 - 9. Let q = 778 - 754. Suppose 4*j = -3*p + n, 3*j + 0*j - q = 3*p. Is 2 greater than j?
False
Let m = 7565/3657 + -47/23. Let i = m + -338/795. Which is bigger: -87 or i?
i
Let d(t) = -3*t - 19. Let y be d(-7). Suppose 5*v - 5 = -y*g, -4*v + 7*v - 3 = 4*g. Let k(u) = -3*u - 4. Let x be k(-3). Which is smaller: v or x?
v
Let a = -881.2 - -10195.2. Is 3 at most as big as a?
True
Let k = -15061 - -14606. Which is greater: 11 or k?
11
Let g = -24.3 + -128.7. Which is bigger: 0.6 or g?
0.6
Let o = -16132/2705285 + 24/5555. Is o less than 1?
True
Let i(h) = -14*h**3 + 5*h**2 + 5*h + 1. Let f(s) = s**3 + s**2 - 21*s - 6. Let x be f(-5). Let w be i(x). Do w and 14 have different values?
True
Let z = -433 - -608. Suppose -5*q - k + 16 - 83 = 0, 4*q + 34 = 2*k. Let y be z/(-5)*(-2)/q. Do -7 and y have the same value?
False
Let c 