3. Is 0 <= m?
True
Let v = 66 + 224. Let p = -287 + v. Suppose 2*i = -4*s + 16 - 2, 0 = 5*i - 2*s - 35. Is p < i?
True
Let x = 1.42 - 0.02. Let j = 2.4 - x. Let w = 682 - 692. Is j smaller than w?
False
Let u = 225608/51 - 4424. Which is smaller: u or 1?
u
Let n(o) be the second derivative of o**4/3 + 3*o**3/2 + 8*o**2 - 14*o. Let h be n(-3). Let z = h - 25. Is z equal to 4/27?
False
Suppose 0 = 3*k - 4*s - 150, 0 = 328*k - 331*k - 2*s + 114. Is 542/13 less than k?
True
Let s(f) = 242*f - 1934. Let c be s(8). Which is smaller: c or 140/79?
140/79
Let l = -0.136 - -0.136. Let k = -8.6 + 23.58. Let p = k + -15. Do l and p have different values?
True
Let i = -36 - -80. Let k = i + -47.4. Let u = k - -7.4. Which is smaller: u or 2/7?
2/7
Let x be (6*(-9)/540)/((-6)/(-15))*4. Which is bigger: x or 39/149?
39/149
Suppose -351*d + 423*d + 885 + 1419 = 0. Which is bigger: -55 or d?
d
Let k = 401 - -41. Let j be (-2)/(-13) - 68/k. Which is bigger: 1/135 or j?
1/135
Suppose -14*o = 168 - 532. Let y = o - -2. Which is bigger: 29 or y?
29
Let r = -130.7372 - 0.2628. Which is smaller: 0.1 or r?
r
Suppose 0 = 2*m - 406 - 260. Suppose -2*h - m = -5*h. Is h bigger than 111?
False
Let t(s) = -3742*s**2 + 7*s - 2. Let i be t(1). Are i and -3737 nonequal?
False
Let o = -3855 + 6185. Is o less than or equal to 2331?
True
Let b = 9379 - 159442/17. Which is bigger: 7 or b?
7
Let v = -60 + 35. Let y be 1 - 0 - (-15 - -11). Suppose y*n + f + 125 = 0, 34 + 10 = -n - 4*f. Is n less than v?
False
Let q = 16 - -7. Let c be 288/(-64)*2/3 + q. Are 20 and c non-equal?
False
Suppose 0 = 13*p - 17 - 35. Let n be -35*p/(-50)*-5. Let j = -197/2 - -86. Which is bigger: j or n?
j
Let v be 51*194/(-6) - (-2 + -7 + 3). Which is smaller: v or -1640?
v
Suppose -31 + 11 = -5*p. Suppose -9 = -p*k + 103. Suppose -105 = -4*i + s, s = -i + 6*s + 12. Which is greater: i or k?
k
Suppose 0*m - 4*r = 4*m - 56, -2*m + 37 = -r. Let b(x) = 24*x + 115. Let d be b(-4). Is d less than or equal to m?
False
Let s be (-1 - (-16)/10)*(-883 - (-1 - -3)). Which is smaller: s or 0.01?
s
Suppose -4*n = -0*n. Let w(m) = m**3 - m - 5*m**2 + 13 - 7*m + n*m. Let t be w(6). Is -1/10 not equal to t?
True
Let n = -4307 + 3876.2. Let c = 431 + n. Which is greater: -37 or c?
c
Let r = 22787501/1736 - 91885/7. Let p = -1 - -1. Is p greater than or equal to r?
False
Let l(i) = -14 + 42*i**2 - 81*i**2 - 16 + 38*i**2 + 21*i. Let m be l(11). Suppose -18*g + 10*g = m. Which is greater: g or -62/7?
-62/7
Let o be 72/(-275922)*(-13)/(-26). Is 1 >= o?
True
Let q = -2049/4 + 513. Suppose 5*c - 4*c = -2*t - 38, 0 = -3*t + 2*c - 71. Are q and t non-equal?
True
Suppose -3*u = -2*a - 1 + 2, 2*a + u - 5 = 0. Suppose -3*i = a*i - 3*i. Suppose -2*h = 3*j + 16, -5 = 3*h - i*h - 5*j. Is 0.1 <= h?
False
Let s(y) = 7*y**3 + 15*y**2 - 30*y - 186. Let b be s(-10). Which is greater: -0.3 or b?
-0.3
Let y(g) = -2*g**2 - 6*g + 18. Let v(c) = c**2 + 2*c - 9. Let l(s) = -5*v(s) - 2*y(s). Let t be l(4). Which is smaller: -1/43 or t?
-1/43
Let x = -2963786587/13919 - -212931. Is 1 greater than or equal to x?
True
Let g be 2*(-20)/8 - 9. Let y = g - 3. Which is smaller: -14 or y?
y
Suppose -11*m + 29 = 29. Suppose m = 9*w + 7*w + 448. Which is smaller: -32 or w?
-32
Let z be 9774/(-26000) - (114/(-48) - -2). Which is smaller: z or 1?
z
Let b be (-372)/248 - (222634/76 - -1). Let v = 2933 + b. Which is greater: v or 0?
v
Let q = 827.7 + -794. Let l = q + -172.7. Let x = 98 + l. Which is bigger: -1/3 or x?
-1/3
Let p be 18/12*(-2)/(-39). Let i(a) be the third derivative of -a**4/6 - 17*a**3/6 - 25*a**2. Let m be i(-4). Is m at most as big as p?
True
Let b(x) = x**2 - 17*x - 67. Let d be b(21). Suppose d = -13*q - 9. Is q greater than -3?
True
Let w be (-15)/12 - (0 + 0). Let m = 20285 - 20285. Does w = m?
False
Let y = -0.317 + 0.117. Which is greater: 1.973 or y?
1.973
Suppose -5*i + 2*y + 4182 + 2455 = 0, -y = -i + 1328. Which is smaller: 1326 or i?
1326
Suppose 604*j - 389 = -d + 608*j, 3*d - 2*j = 1127. Which is greater: d or -2/3?
d
Let t = -34263/5 - -6874. Let b = 3449/160 - t. Which is bigger: b or -1?
b
Suppose -14*i - 5 - 9 = 0. Let a be 8/((-76)/(-32) + i). Which is smaller: 6 or a?
a
Let y = 4761 + -4762. Is -1/3631 at least y?
True
Suppose 4*i - 5*o - 870 - 210 = 0, 4*i + 5*o = 1040. Which is smaller: i or 268?
i
Suppose -h = -10 + 5. Suppose k - h*c = 6*k + 2090, -5*c = 15. Do -416 and k have the same value?
False
Let q = -24/5105 + 24070243/35735. Let p = 671 - q. Suppose -5*n - 1 = 3*z, -n + 0 = 2*z - 4. Which is greater: n or p?
n
Let m = 16/357 + 74/119. Let z = 6 - 6.096. Is m less than z?
False
Let t = -38 - -65. Suppose 3*g = 2*p + 177, 5*g - 3*p - 302 = -2*p. Suppose -g - 219 = -10*s. Which is greater: t or s?
s
Let p(w) = -w**2 - 7*w - 10. Suppose -2*a - 1 = g, -4*g - a - 7 = 4. Let m be p(g). Suppose 5*n = -m*y + 10, 4*n + 0*n = 2*y - 10. Which is greater: n or 2/73?
2/73
Let r(q) = q**2 + q. Let m = 4 + 3. Let n be (-9)/7 - (-2)/m. Let x be r(n). Is -3/20 >= x?
False
Let s(p) = -3*p**2 + 22*p + 302. Let u be s(-7). Which is smaller: 66/131 or u?
66/131
Suppose -14*v + 19*v + 305 = 0. Let b = v - 160. Is 0 at least b?
True
Let h be (1/2)/(10/4). Let q = 1.34015 - 9.74015. Which is greater: q or h?
h
Suppose -k - 3*y + 1962 = 0, 6*y + 3917 = 2*k + 5*y. Suppose -23*h - 1353 = k. Which is bigger: h or -143?
-143
Let x be (-6)/(-5)*(-120)/(-9). Suppose -52 = -5*b - j, 2*b + 5*j + 1 = 8. Let s = b - 10. Is s < x?
True
Let g = 949.3 - 952.3. Is g greater than -1031?
True
Let p(v) = -5*v**3 - 3*v**2 - 4*v - 2. Let d be p(-1). Let i be (111/(-12) - -9) + (-3)/d. Which is smaller: i or -2/171?
i
Let x be (1/(-344))/((-16)/(-1504)). Let d = x - -1/43. Let o be -3 - (-246)/33 - (2 + 3). Which is smaller: o or d?
o
Let n = 3414 + -3411. Which is smaller: 44 or n?
n
Let i be 12/(-1184)*(-1 - -3). Let r = 134 - 134. Do i and r have the same value?
False
Let p(h) = -14*h - 2. Let u be p(4). Let x = 330 + -196. Suppose 2*g + x = 18. Are u and g equal?
True
Let r = -0.4922 - -4.4922. Let k = 39/4 - 9. Which is smaller: r or k?
k
Suppose -g = -x - 30, 7*x = -5*g + 6*x + 138. Suppose -u - g = -3*u. Let m be 14/u + 112/(-109). Do m and 0 have the same value?
False
Let t = -461/21 - -100/7. Let o = -67/9 - t. Which is smaller: o or 6/11?
o
Suppose -17*y + 21*y + y + 5 = 0. Which is smaller: y or 13/1343?
y
Let a = -127 + 273. Suppose -144 = -2*z + 4*r, -2*z - 2*r = -4*r - a. Which is bigger: 75 or z?
75
Let r = 43346758/255 - 169987. Which is greater: r or 1?
1
Let t = -56950 + 249042358/4373. Which is greater: t or -1?
t
Let m be ((-1411)/(-470) - (120/5 + -17)) + 4. Which is bigger: m or 0?
m
Let g be (7/(-2) - -2) + (-175)/(-50). Let n be 3/g*168/36. Is n at least 5?
True
Suppose 47*n - 36*n = -1716. Which is greater: -155 or n?
-155
Let f = -587 - -66919/114. Which is bigger: -28 or f?
f
Suppose -454*d - 285*d + 2054739 = 9748468. Is d < -10411?
False
Suppose 4*d - 7 = -l, -4*d + 7 = -3*l - 4. Let n(a) = 1 + 0 + 16*a**2 - 26*a - 14*a**d. Let t be n(13). Is t equal to -2/33?
False
Suppose -962 = -2*a - x - 9, 0 = a - 2*x - 469. Let z = 406 - a. Which is smaller: z or -65?
z
Suppose 0*r = -2*r + 2. Let o = 1318537/338 + -3901. Which is bigger: r or o?
r
Let g(h) = 5*h**2 - 250*h - 97. Let z be g(53). Which is greater: z or 695?
z
Let p be (35280/(-770))/56 + (-2)/11. Let w be (9/(-2))/(15/20). Let m be (2/12)/(w/64). Are p and m non-equal?
True
Suppose 17*m - 20*m = -81. Let u = 22 + -67. Let i be (-57)/u + (-3)/(m/6). Do 0 and i have the same value?
False
Let p = 1309 - 1979. Which is smaller: -4015/6 or p?
p
Let d = -2780 - -2732. Let n = -0.42 + 0.12. Is d less than n?
True
Let x be (-6)/4*(-2)/(-30). Let d(w) = -131*w - 22. Let m be d(-4). Let v = -501 + m. Which is smaller: v or x?
x
Let h = 66 + -64. Suppose h*a = -c + 62, 3*c + a - 213 = -c. Let v = -8 - -59. Is c > v?
True
Suppose -2004*f + 9 = -1995*f. Is f less than or equal to 1/4353?
False
Suppose 2*p = 4*p + 12. Let d(y) = y**2 + 3*y + 288. Let r be d(0). Let z = r + -291. Which is greater: p or z?
z
Suppose 8 + 8 = -8*k. Let x be k + -58*89/(-15). Let s = 342 - x. Is s at most as big as -1?
False
Let s = 22940772199/4675 - 4907117. Let f = s - -6/187. Let a = 33.55 - 33.55.