m >= g?
False
Let n be (-18)/(-270)*24 + 8/(-5). Let v = -286/5 - -57. Which is bigger: v or n?
n
Let x be (366/(-30) + (-6 - -9))*-375. Is 3 bigger than x?
False
Let l = -2.06 + 0.06. Let x be (-52955)/95676 + (-42)/(-72). Do x and l have the same value?
False
Let p = -11 - -17. Let y(k) = -k + 13. Let l be y(5). Suppose 4*i + l = p*i. Is 3 equal to i?
False
Let p = 244 + -249. Let b be 4 + 0 + (30/p - -1). Is -23/10 at most as big as b?
True
Let d be ((-507)/15 - -21)/(2/5). Suppose -4*v - 3*f = 107 + 20, -40 = v - 2*f. Which is smaller: v or d?
v
Suppose 3*o - 1 = 7*o - 3*k, -3*o + 2*k = 0. Suppose -2*z - z + 922 = -o*n, 4*n - 16 = 0. Which is greater: 311 or z?
311
Suppose 3*x = -4*z + 5382, -4*x = -z + 1414 - 97. Is 1343 greater than or equal to z?
True
Suppose 3*w + 4*m = 1, 2*w + 0*m = -5*m - 4. Suppose w*v - 352 + 10 = 0. Let q = v - 99. Which is smaller: q or 12?
12
Let k(r) be the first derivative of -5*r**2 - 183*r + 165. Let p be k(-22). Let y = 51 - 16. Which is smaller: p or y?
y
Let u = 49 + -49.273. Which is smaller: u or 2?
u
Let f = 145269 + -145269. Let h be (-470)/(-1518) - 2/6. Do f and h have the same value?
False
Suppose -15*z = 217 - 37. Let t be z/8*-1*(-2)/(-24). Which is greater: t or -1/15?
t
Let m be -105*1*(2 + (-21)/14). Let k = m - -30. Is k smaller than -22?
True
Suppose -4*r - 27 = -75. Let i(n) = -n**2 + 46*n + 270. Let x be i(51). Which is greater: r or x?
x
Let a = -705 - -675. Let l be (-3)/(a/40) - -27. Which is smaller: l or 29?
29
Let t = 2300 + -2338. Let o = -38.26 + 0.26. Let g = o - t. Do 17 and g have the same value?
False
Let c = -2486.589 - -2492. Let h = 5.3 - c. Let y = h + -0.089. Is -0.16 > y?
True
Let i = 22 + -12. Suppose -f - 9 = 5*r, -9*f = -4*f + 3*r + 155. Let p(b) = -b**2 - 24*b + 352. Let u be p(f). Which is smaller: u or i?
i
Suppose -10 = -3*m + 2*i + 16, 5*m - 58 = -4*i. Let x be 1208/m - 5 - 1/(-5). Is 117 not equal to x?
True
Suppose -5*h + 161 = -144. Suppose r + 3*k - 46 = k, r - 3*k = h. Let i = 70 - r. Which is smaller: 15 or i?
15
Let q(v) = -2*v**3 + v**2. Let i be q(-1). Let l = 7/2922 + 3649/1461. Are i and l nonequal?
True
Let s be (2 - (-4126)/(-55)) + 1*(-2)/(-10). Are s and -73 equal?
False
Let l(f) = f**3 - 12*f**2 - 11*f - 25. Let p be l(13). Let c(s) = -89*s**2 - 5*s + 7. Let h be c(p). Which is smaller: h or -1?
h
Suppose 5*h = 4*q - 42, 0 = -h + q - 3*q - 14. Let i = 20 + h. Let t be (4/i)/((-161)/575). Is t less than or equal to 0?
True
Suppose 0 = 5*y + 3*u - 62669, -8*u - 6 = -10*u. Which is smaller: y or 12531?
12531
Let h = 237319/34 + -6980. Is 0.9 equal to h?
False
Let b be (310022952/4662)/4 - -4. Let c = 16629 - b. Which is bigger: -1 or c?
c
Suppose 4 + 41 = -5*u. Let a be (-1 - u/15)/(2/(-20)). Suppose a*y = 7 - 15. Is -7/4 at most y?
False
Let s(p) = -p**2 + 2*p - 1. Suppose -5 = -3*t - 2*l, 3*l + 1 = 5*t - l. Let i be s(t). Suppose -g + 0*g + 2 = i, 3*g = 5*v + 1. Which is smaller: -6/19 or v?
-6/19
Let k be 30/26 + (1 - (-360)/(-312)). Which is smaller: 30154 or k?
k
Let w be ((-3)/5)/(328/1230) - 2*-3. Which is smaller: -240 or w?
-240
Suppose -3*a + 8*a = 15. Let g(z) = -17*z + 5. Let l(x) = -12*x + 5. Let m(t) = -2*g(t) + 3*l(t). Let s be m(a). Which is bigger: -4/15 or s?
-4/15
Suppose 7*s - 352 = 404. Let x = s - 95. Do x and 13 have different values?
False
Let u be (-54)/(-99) + 23280/(-42801). Let c = u - 107655/2594. Is -41 < c?
False
Let i = -25 + 24. Let v = 27 - 11. Let q be ((-2)/95)/(v/160). Is i less than or equal to q?
True
Let j = 178 - 96. Let y = j - 20. Let z = y + -61.74. Is z not equal to 0.1?
True
Suppose -582 = 5*n + l - 103, -2*n - 174 = -4*l. Let r = -20/45417 + 99145771/1044591. Let y = n + r. Is y less than 0.1?
True
Let y be 13/(-520)*-10 - (-935)/(-3964). Is y less than or equal to -1?
False
Suppose 3*q - 4*x = 20, -3*x - 15 = 5*q - 0*x. Let z be (-22 - (-6456)/288)*2013/140 - 6. Are q and z nonequal?
True
Suppose 17*i - 12*i - 85 = 0. Let c be (1 + -2 + 2)/(4/76). Are c and i nonequal?
True
Let g = 2549.9 + -2549. Which is greater: g or -27/10?
g
Let z = -26356/5 + 6667933/1265. Which is smaller: -1 or z?
-1
Let d = 121 - 141. Suppose -4*i + 1 = -3*p, 4*p - i - 5 = -2*i. Let b be (-40)/((-8)/(-4)) + p/2. Do b and d have the same value?
False
Let i = 56 - 109. Let y = i + 49.2. Let r = y - -4.5. Which is smaller: 0 or r?
0
Let q(n) be the second derivative of -n**3/6 - 21*n**2/2 + 7*n. Let y(b) = -b - 1. Let c(d) = 2*q(d) - 4*y(d). Let p be c(19). Which is smaller: p or 1/24?
p
Let v(p) = -p**2 + p + 9. Let r be v(-3). Let q = 9/125 - 1661/500. Which is bigger: r or q?
r
Let u be (-13 + (-3156)/(-252))/((-18)/28). Let m be (16/18)/(1 + 14). Let f = m + u. Is f less than or equal to 7?
True
Let f be 6 + (2 - 1)*-96. Is f smaller than 23?
True
Suppose -2*n + 15*k = 11*k - 5624, -4*k = 4. Is n not equal to 2811?
True
Let f be (77/11 - 9) + 6644/3312. Is f at most as big as -1?
False
Let l = 0.17 + -0.17. Let g be 248/(-32) - 1*(-2)/(-8). Let q be (-6 + 11 - -35)*g/(-10). Is l less than or equal to q?
True
Let m(w) = w**3 - 3*w**2 - 5*w + 5. Let r be m(4). Let p be (-2 + r)*(-3 + 3). Suppose -190*u + 6 = -187*u. Does u = p?
False
Let v be 43/(-28) + 2/8. Let a(d) = -d**3 + 18*d**2 + 18*d + 22. Let o be a(19). Suppose 3*k + 3*y = o, -4*k - 12 = -k - 2*y. Is v at most as big as k?
False
Let q = 2.02 - 0.02. Let b = -630 + 623. Let g be ((-11)/66)/(b/(-2)). Is q >= g?
True
Let q = 6702 + -6702. Is q equal to 71/157?
False
Let s(l) = 857*l + 5986. Let v be s(-7). Suppose 2*z + 3*n + 5 = 0, -5*z - 6 = -2*z + 4*n. Suppose -m + 5*m + z*o = -42, 3*m = -o - 34. Is v less than m?
False
Let a = -7574 + 7143. Is -3/5 >= a?
True
Let u(c) = 3*c**3 - 7*c**2 + 10*c + 8. Let v be u(8). Let s = v + -97609/83. Does s = 0?
False
Let k be 1/(-2)*12/13899. Let z = -4535702550 + 189125189079112/41697. Let o = z + k. Which is bigger: o or -5?
o
Let d(w) = 6*w**2 - 83*w + 38. Let m(g) = -2*g**2 + 41*g - 19. Let k(q) = -2*d(q) - 5*m(q). Let z be k(-20). Which is smaller: z or -1/5?
z
Let n = 28 - 1. Let k = 6280 - 6281. Which is smaller: k or n?
k
Let y(f) = 4*f**3 - 38*f**2 - 27*f. Let m(d) = 5*d**3 - 40*d**2 - 27*d - 1. Let s(g) = 5*m(g) - 6*y(g). Let n be s(-27). Which is smaller: -59 or n?
-59
Suppose -62*f = 779*f - 56347. Let h = 24 + 42. Which is smaller: f or h?
h
Let d = -283610 - -784748884/2767. Which is greater: -1 or d?
d
Let g = -167954/13 - -12920. Which is greater: g or -0.67?
g
Let a(i) = i**2 + 4*i + 2. Let n be a(-2). Let s = n - -2. Let b be 3/8 + (-198230)/546960. Which is smaller: s or b?
s
Suppose 24 = -4*l + 16. Let a be 77/121*l/(-7). Is a at least as big as -0.03?
True
Let f be (6/5)/((-15)/(-50)). Let p be -1*(-9 + (0 - 1)). Suppose 3*d - s + p = s, 5*s - 25 = d. Which is smaller: f or d?
d
Let n be -1*30/(-7) - 6/21. Suppose -n*m + 155 = 2555. Is m at most as big as -600?
True
Let l(x) = x**2 - 6*x - 44. Let o be (-114)/(-10) - (-4 + (-66)/(-15)). Let f be l(o). Is 11 at most as big as f?
True
Let m(i) = 6*i**2 - 3*i + 4. Let k be m(4). Suppose -10*z = -68 + k. Let y be (-2)/5 - 76/35. Which is bigger: y or z?
z
Let b = 464 - 1069. Let d = b - -2425/4. Which is smaller: 2 or d?
d
Let a = -121965 - -2439789/20. Let p = a - 81/4. Is 3 > p?
False
Suppose -6*b - 14690 = -57824. Is b bigger than 7189?
False
Let c be -4 - ((-12)/(-42) + (-6434)/1498). Is -2/5 bigger than c?
False
Let k be (10/74)/(272/128 - 2). Is -5 greater than k?
False
Let r be -1 + (-11)/(-9) + (-50864)/(-5202). Suppose 2*o - 2*t = 8, 3*o - 3*t = 2*t + 20. Suppose o = 11*n - r*n + 2. Is n less than or equal to -9/5?
True
Let i = 277.4 - 59.2. Let h = -219 + i. Is -1 at least as big as h?
False
Let o = 18247 + -8849801/485. Let g = -4179/15035 + o. Which is greater: g or 0?
0
Let z = 29748 - 25295. Is z greater than 4455?
False
Let s = -14292 + 7963. Which is smaller: 1 or s?
s
Let b = 0.3854 + 14.3346. Is 0 > b?
False
Let m be 39565/108691 - 4/11. Let u = m - 469229/5302. Which is bigger: -90 or u?
u
Suppose -244 = 2*k - 2*t, 113 = 5*k - 6*k + 4*t. Is -374/3 greater than k?
True
Let u(o) = 3*o**2 - 3. Let p be u(-3). Suppose -3*r + p = r - 4*n, 5*r = 3*n + 26. Suppose b + 115 = -r*l, 7*l + 120 = 3*l + 4*b. Is l at least as big as -30?
True
Let d = -4.40