4. Let b = 2.01 + -2. Is b < m?
False
Suppose -29*k = 1208 - 7001 - 4473. Is 354 less than or equal to k?
True
Suppose 0 = -4*i - 4*z + 16, -i - 449*z - 11 = -453*z. Which is smaller: i or 13/25?
13/25
Let n(p) = p**3 - 16*p**2 - 16*p - 17. Suppose -4*d + 121 - 53 = 0. Let o be n(d). Is 1/100 less than o?
False
Let x be -2 + -1 + (-3)/(-1). Suppose x = -3*r - 0*r + 630. Let q be 1*(40/r - (-4)/(-14)). Which is bigger: 1 or q?
1
Suppose -4*w + 96 = -2*l, -3*w + 72 = 9*l - 4*l. Suppose -4*t + w - 17 = -3*a, 5*t = 5*a + 10. Which is smaller: 3/397 or t?
3/397
Let b(u) = 4*u**2 + 2*u + 18. Let h(m) = m**2 - m. Let o(y) = -b(y) + 5*h(y). Let t be o(11). Let v = 26 - t. Which is smaller: 17 or v?
v
Let m = 251 + -405. Let z = -1334/9 - m. Do 5 and z have the same value?
False
Let g(b) = -b**3 + b**2. Let v(d) = 5*d**3 - 7*d**2 + 3*d + 3. Let f(r) = 6*g(r) + v(r). Let z = 0 - 3. Let t be f(z). Is 11 equal to t?
False
Let y be ((-721)/(-14))/((-2)/(-76)) - (-46)/(-23). Which is smaller: y or 2?
2
Let s be (-765)/(-5) - (-2 + (1 - -5)). Let g(d) = -31*d - 6. Let w be g(-5). Is s != w?
False
Let t = -5.9 + 78.8. Let h = t + -72.9. Is 110 greater than h?
True
Let q = 3858 + -57917/15. Let l be (0 - -25)*2/6. Let b = q + l. Is 6 at least b?
True
Let o = 56038/15 + -11207/3. Is -371 bigger than o?
False
Let o = -17.097 - -0.097. Let r = 301.9 + -318. Let b = 16 + r. Which is bigger: o or b?
b
Suppose 146*t = -1187 - 2506 - 1125. Do -23 and t have the same value?
False
Suppose -3*k - 3*a = -21, -2*a - 1 - 1 = -2*k. Let b be (4 - (k + -9))*1. Let i be 10/b + 8/36. Which is smaller: 3 or i?
i
Let r(g) = g**3 - 11*g**2 + 19*g - 172. Let s be r(12). Are 1401/7 and s non-equal?
True
Let t = -5018.9 - -5019. Is t equal to 2.951?
False
Let j(v) = -2*v**2 + 72*v - 61. Let c be j(-13). Is c less than or equal to -1337?
False
Let b = -3167 - -3167. Which is smaller: b or -20/413?
-20/413
Suppose -2*v = -k - 564, -517 = 2*k + 5*v + 656. Let z = -1724/3 - k. Which is greater: 154 or z?
154
Suppose b - 47482 + 1149226 = 57*b. Which is greater: 19673 or b?
b
Let v = -32208 - -31645. Is v less than or equal to 16?
True
Let o = 23.15 - 22.15. Which is greater: 2253 or o?
2253
Let g(b) = b**2 - 60*b - 710. Let z be g(71). Suppose 0 = 13*f + 32 - z. Let j = 4 + -7. Is j less than or equal to f?
True
Suppose 5*m - 8*m + 9 = 0. Suppose 1 = -2*k + x, 5*k - m*k = -5*x + 29. Suppose 25 = -2*z - 4*d - 35, -k*d = 0. Are -30 and z equal?
True
Let i(j) = 10*j**3 - j**2 - 16*j - 23. Let k be i(-4). Which is greater: k or -617?
k
Suppose -21611 + 57568 = 206*u - 178695. Which is smaller: -0.3 or u?
-0.3
Let a = 1424 + -1423. Which is smaller: a or -220?
-220
Let t be (-1 + 116/132)*(2592/174 - 15). Is t at most 1?
True
Let k = -9.52 + 21.72. Which is greater: k or 2?
k
Let g = -0.049 + 0.033. Let t = g + 7.916. Let k = 8 - t. Which is smaller: k or 4?
k
Let s = -50 - -44. Let n be (1314/(-15))/s + 4/10. Let o be (-2)/(-5) + (-8 - (-108)/30). Does n = o?
False
Let u = -5269 + 3791. Is u <= 1/4?
True
Let x = 15813 + -15744. Is x greater than -5.3?
True
Suppose 360*x = 366*x - 846. Which is smaller: 126 or x?
126
Let s be (-2481)/9 + 20/(-15). Let t = 1109/4 + s. Do 1/296 and t have the same value?
False
Let d = 722 - 433. Is d > 286?
True
Suppose 0 = -5*a + 4*m + 194, -145 = -5*a - 3*m + 42. Suppose 41*g = a*g. Let f = -13285/9216 - 3/1024. Which is smaller: g or f?
f
Suppose -88 + 68 = -10*f. Suppose n - 2*u = 62, 3*u = f*n - 94 - 29. Is n at least as big as -2?
True
Let q(o) = 184*o + 21346. Let g be q(-116). Let r be 2/(2/(20/26)). Is g at least as big as r?
True
Let r = -452 - -158. Let y = -269 - r. Let c(f) = -f**3 + 2*f**2 + f - 1. Let s be c(2). Which is smaller: s or y?
s
Let k = -376 - -377. Which is greater: -5/28 or k?
k
Let p be 2 - ((-4)/(-1) + 0). Let n = 23 - 53. Let j be -74*(-3)/n - -4. Which is bigger: j or p?
p
Let l = 95772 - 1554571103/16232. Which is greater: l or 0?
l
Let p be 249/(-5554277)*(-3 + 0)/(-9)*2. Which is bigger: 1 or p?
1
Let y = -875 - -874.309. Let f = -0.099 + y. Does 2 = f?
False
Let s = 46116 - 222509702/4825. Is -1 less than or equal to s?
True
Let d(r) = r**3 - 7*r**2 + 6*r + 9. Let q be d(6). Suppose -q*x = -8*x + 14. Let v be (x/(-56))/(43/12). Which is bigger: v or 1?
1
Let b(i) = -212*i - 2126. Let s be b(-10). Which is bigger: s or -692?
s
Let w = 19440 - 19412. Let a = 0.041 + -27.041. Let n = a + w. Is 18/17 greater than n?
True
Let g be (-12635)/63 + 4/(-1). Let r = -205 - g. Is r < 1?
True
Suppose -8*w + 207 = 575. Let a be (259 - 1)/1 + w/46. Which is greater: a or 258?
258
Let l be 5*2*288/(-80). Let u(r) = 752*r + 2976. Let y be u(-4). Which is bigger: l or y?
y
Let q be (((-69)/45)/((-3)/(-3)))/((-3)/54). Let p = 78 - 49. Which is greater: p or q?
p
Let l(y) = y**2 + y - 2. Let c be l(0). Let w(z) = 26*z + 22. Let g be w(c). Is g not equal to -28?
True
Let t be ((-16)/(-36))/(410/3). Let c(o) = 21*o + 986. Let b be c(-47). Is b greater than t?
False
Let o(b) = 37*b + 154. Let z be o(0). Let m be (1 - 2)/(2/(-34)). Suppose m*u - 10*u + z = 0. Are u and -20 unequal?
True
Let o = -7128 + 7127. Is o smaller than 12640?
True
Suppose -435 = -q + 6*q. Let w be 3*((-2)/(-8) + (-50764)/1776). Is q < w?
True
Let g = -71 - -78. Suppose -4*c = -g*c - 630. Which is smaller: -209 or c?
c
Suppose 28*q - 7146 = 19*q. Suppose -q = -104*h + 106*h. Which is smaller: h or -398?
-398
Let n = 79 + -71. Suppose 0 = 3*d + 5*r - 21, -3*d + n*r - 5*r - 3 = 0. Suppose y - d*t + 12 = 5*y, -4*t - 4 = y. Which is smaller: y or 14/3?
y
Let u be 1*-8 - 154294/(-14873). Which is smaller: u or 2?
2
Let j = -3543 - -2850. Is j at least -692?
False
Let l be (-5)/((-286225)/(-228970)) - (12 + -10 + -6). Which is greater: l or 1?
1
Let f = 41 - 33. Suppose 0 = -2*r + t + f, -2*r + 0 - 2 = 4*t. Let q be r/(-1) + (3/1 - -14). Which is greater: q or 12?
q
Let t = 53.97 + 0.03. Let h = t - 56. Which is bigger: h or 2/91?
2/91
Let m = 31 - 33. Let x = -120 + 115. Let u be x + (-5 - (-4 + -3)). Which is smaller: m or u?
u
Let j(i) = -23*i**2 + 4*i + 5. Let b be j(-2). Let k = -96 - b. Let n be (6 + k)*(-1 + (-1)/5). Which is smaller: -25/4 or n?
-25/4
Let h = -7198588/817 - -8811. Which is smaller: -1 or h?
-1
Let t(i) = 9*i + 6*i**2 - i**2 - 4*i**2 - 8*i. Let w be t(3). Suppose 3*q + w = 15. Which is greater: 6/25 or q?
q
Let o = 2.715 + -265.815. Which is smaller: o or -1?
o
Let k(w) = w**2 + 20*w + 55. Let l be 15/(2*(-5)/10). Let s be k(l). Is 2 bigger than s?
True
Let k = -0.27497 - -0.17897. Let g = -0.7 + -0.3. Is g bigger than k?
False
Let k = -697/5 - -698/5. Is k at least as big as 48.7?
False
Let u = -12547/29 + 433. Let k = 12076 + -12077. Which is greater: k or u?
u
Let u = 3.6 + -2.7. Let k = -20.1 - u. Let x = -18 - k. Are x and -17 nonequal?
True
Let c be 1 + 1 - 33/18. Let i be (-6 - (-65)/10)/((-1)/4). Let p be 0/((i/(-7))/(20/70)). Does p = c?
False
Let s(w) = -3*w**2 - 2*w + 106. Let n be s(13). Which is smaller: -430 or n?
-430
Let x = -62 - -69. Suppose -3*h + x*h - 40 = 0. Let m be (h/15)/((-2)/(-129)) + -1. Which is bigger: m or 41?
m
Let c = 4.061 - -3.589. Which is bigger: c or 2?
c
Let a = 27.195 + -7.195. Is a less than or equal to -612?
False
Let g(m) = -62*m - 9299. Let h be g(-150). Which is smaller: -6/1379 or h?
-6/1379
Let z = -263 - -300. Let k = z - 14. Is 1/3 > k?
False
Let y = -4.521 - 4.479. Is y <= -48?
False
Let f = -13267799/1890 - -7020. Does 0 = f?
False
Let q = -5997 + 4843. Are -1154 and q equal?
True
Let y be (-12)/(-56)*5*7/6. Is 596 >= y?
True
Suppose 0 = -3*r - 2 + 5, -y = 3*r - 1. Let g(z) = 2*z + 1. Let w be g(y). Suppose 933 - 925 = -p + 4*q, 4*p - 3*q = -32. Are w and p unequal?
True
Suppose -31*a - 10948 + 11103 = 0. Is 261/67 at least a?
False
Suppose -14 = 23*v - 19*v + k, -4 = -2*k. Let q be v - ((-6)/(-21) - 1280/315). Which is bigger: 0.146 or q?
0.146
Let m = 14011 - 14705. Is -703 >= m?
False
Suppose 21 = 2*b - 19. Let w = 100 - 100. Is b <= w?
False
Let s = -20 - -170. Let z be 14/(-3)*s/20. Let i be (-1 - -2)/(12/(-444)). Which is greater: z or i?
z
Suppose -30*b - 156 = -17*b. Let s be 8/b - 5/(-3). Which is bigger: s or 147?
147
Let b = 19 - -50. Let v = 7.9 + 57.1. Let r = v - b. Is r bigger than -4?
Fal