)/340. Is -0.2 < d?
True
Let q = 362 + 126. Let t = -422 + q. Which is bigger: 2 or t?
t
Let k be (-44)/110 + (-1089)/(-60). Is k at least as big as 1/2?
True
Let b(w) be the first derivative of -w**3/3 - 3*w**2 + 27*w + 2. Let q be b(-9). Let i = 66 - 74. Which is smaller: i or q?
i
Suppose -639 - 1513 = -4*s + 3*o, 5*s - 5*o - 2695 = 0. Let j be (-5 - s/(-105))*18. Which is bigger: 5/3 or j?
j
Let j(g) = -4*g - 150. Let r be j(-38). Suppose -3*o + 0*d = 5*d + 1, -3*o + r*d = -34. Which is smaller: 4 or o?
4
Let o be 4/(-42) - 143664/(-206640). Let c be (491/7)/(13078/(-172)). Let j = 2/3521 - c. Which is smaller: o or j?
o
Let v = -36846 + 36845. Is v at most as big as 23/177?
True
Let t be 45/84 - 4/14. Suppose -2*m - 20 = -7*n + 3*n, -30 = 4*m - 3*n. Let c(w) = -9*w + 1. Let h be c(m). Are h and t unequal?
True
Suppose 0 = 24*t - 23*t + 81. Let j = t - -85. Suppose k - l + j = -0, 4*k = 5*l - 19. Is 1/3 at most k?
False
Let y = -592/5 + 7129/60. Let z be (-6)/15 + 329/35. Let o be 0/(z/(9/2)). Which is smaller: y or o?
o
Let a be 15 + 1424/(-96) - (-14)/24. Suppose 17 = -f - 2*t, 0 = 6*t - 3*t + 9. Is a greater than or equal to f?
True
Let j be (5 - 5) + (-6)/(-1). Suppose a = 5*r + 205, -j*r + 10*r - 3*a + 175 = 0. Is -33 greater than r?
True
Suppose -9784*s = -9796*s + 108. Let n be 7 + 3/(6/4). Do s and n have different values?
False
Let z = 2565716935/14806 + -173289. Which is bigger: -1 or z?
z
Let y(q) = -15*q**2 - 7*q + 4. Let j be y(-4). Let a = -207 - j. Which is smaller: -4/193 or a?
-4/193
Let c = 1943 - 3493. Let s be (-1)/4 - c/(-40). Is 1/5 > s?
True
Let x = 3146.9 + -3147. Let t = -5 - -5.6. Let n = -0.4 + t. Which is smaller: n or x?
x
Let g be (-1 - (-2)/4)*0/2. Let v be 1 + -47 + (g/3)/5. Let z be 0/2 + v/(-7). Is z at least 8?
False
Let m be -3 + (-3 + 26/10)/(177/(-2085)). Which is bigger: m or 3?
3
Suppose -5*l = 4*g - 12, 3*l - g + 1 = -2. Suppose -9*v + 28 - 127 = l. Which is bigger: -5 or v?
-5
Let h = 13 + -5. Let k be -20 + 1580/45 + -8. Is k >= h?
False
Suppose 21*c - 14*c + 36*c = -6364. Which is bigger: -147 or c?
-147
Suppose 0 = 2*g - 28 + 28 + 2. Are -1/2094 and g unequal?
True
Suppose 2*l + 364 = -3*j, -126 = j + l + 2*l. Let s = j - -125. Suppose -4*v = -5*d + 40, v + 6 + 11 = 3*d. Which is greater: d or s?
s
Let i be (-4996)/1000 + -26 + 31. Is i not equal to -0.1?
True
Let b(f) = -2*f**2 + 45*f + 27. Let i be b(23). Suppose p - i = 6. Suppose h = -p*h - 88. Is -10 smaller than h?
True
Let p = -4.4193 + 0.4193. Which is smaller: p or -8.11?
-8.11
Suppose 623 - 454 = -169*s. Let p = 2106 + -1332. Let w = p + -47216/61. Do w and s have the same value?
False
Let c = -5583 - -3513. Let z be -1 - 6/(-5) - 161/c. Is 1 >= z?
True
Let o be (-4)/(-5)*22185/(-58). Let q be (-3 - 1)/(o/(-108)). Which is bigger: -2 or q?
q
Let d(h) = h**2 - 2*h. Let p be d(4). Let o(t) = 7*t - 34. Let x(n) = -n + 1. Let s(g) = -o(g) - 6*x(g). Let i be s(p). Is i < 22?
True
Let d(q) = -q**3 - 10*q**2 + 14*q + 38. Let j be d(-11). Suppose 53*s + 148 = 49*s. Let f = s + 43. Which is smaller: j or f?
j
Let k = 3413 - 37583/11. Let l(v) = 238*v - 2146. Let u be l(9). Which is smaller: u or k?
u
Let u = 1480 + -1445. Which is smaller: u or 34?
34
Let t = -144 + 140. Let l(n) = -n**3 - 6*n**2 - 6*n - 20. Let k be l(-6). Suppose -2*g + 3*p = k, -10*p - 2 = -11*p. Which is greater: g or t?
t
Let h(u) = -u**3 - 41*u**2 - 73*u - 301. Let g be h(-41). Are 0.2 and g non-equal?
True
Let j be -4*((-2)/(-4) + 0). Suppose 983 - 975 = 2*o + 3*l, 0 = 3*o - 4*l + 5. Let n be (-22 - (-3 + 0/j))*o. Is -20 at least as big as n?
False
Let l = -2478 - -2505. Is -205 less than l?
True
Let r(v) = -4*v**2 + 49*v - 8. Let x be r(12). Let a be x/(-2 - 2)*5/(-60). Let h = 0.07 + -5.07. Which is bigger: a or h?
a
Let m = -5561 - -5420. Are m and -10 nonequal?
True
Let o be 0/((-21)/3) + 16/49. Let u be (81/(-108))/((-12)/(-16)). Is u smaller than o?
True
Suppose 6*y = r + 259, 4*y + 5*r = y + 157. Do y and -3.4 have the same value?
False
Let s be 2 + -2 - (9 - -75). Let f be 158/(-2) - (-6 + (10 - 2)). Is f greater than s?
True
Let k be -3 + ((-7)/(-56))/(2/24). Let a = 30 + -28.8. Let q = 0.8 + a. Which is greater: k or q?
q
Suppose 0 = -266*x + 274*x + 8. Let g = 0.1 + -40.1. Which is bigger: x or g?
x
Let m = -347 - -347.1. Let i = -1.17 - -1. Let h = i + m. Is h less than -0.2?
False
Suppose -t = -0*t. Let s = -8526 - -8526.7. Which is smaller: s or t?
t
Suppose 5*r = 3*d + 852, -r + 1347*d = 1342*d - 210. Is r less than 2164/13?
True
Suppose 51*a = 47*a + 4*z + 7696, 2*a - 3813 = -3*z. Is 1917 bigger than a?
False
Let c = 6952 - 27815/4. Let r(u) = -u + 5. Let q be r(6). Is q at least c?
True
Let h = 7563 + -7818. Does -4/13 = h?
False
Let o be ((-40224)/(-462))/8 + -6. Let v = 94/11 + o. Is 14 bigger than v?
True
Suppose 4*x - 3*f - 1 = 0, -3*f = 3*x - 3 - 3. Let l(o) = 17*o**2 - 1. Let k be l(x). Let p be (-70)/(-5) + -1*0/(-4). Is k equal to p?
False
Let y = -106.18555 + 0.18555. Let i = 0.2 - 0.3. Is i <= y?
False
Let q = -0.1 - -0.1. Let v = -0.318 - -265.318. Let g = 276 - v. Is q less than or equal to g?
True
Let o = -562/5 - -112. Let b = 4968 + -4943.77. Let v = b - 24. Which is bigger: o or v?
v
Let k be 3 - (-9)/(36/(-80)). Let i be 2 + 2*-2 - (-855)/(-57). Do k and i have the same value?
True
Let k = 19.06 - 20. Let d = 1 + k. Let o = d + -0.16. Is -44 not equal to o?
True
Let a = -34 + 38. Suppose 0 = -w + a*w - 6. Suppose -w = -5*t + 18. Do t and 2 have different values?
True
Let f = -1289 - -2401. Let u = 1084.02 - f. Let i = u - -28. Which is smaller: 0.1 or i?
i
Let w = 3.1231 + -2.1231. Let t = -13751/11 + 1255. Does w = t?
False
Suppose 0 = -5*i - 5*g + 85, -5*i - 14*g + 79 = -11*g. Let p be (9/(-3) - -3) + 3430/i. Is 246 equal to p?
False
Let p be ((-28)/6 + 7)*(845 + 19). Which is smaller: 2014 or p?
2014
Let n = -305 - -453. Let d = -39 + n. Let w = d + -62. Is 46 at most w?
True
Let x = -74 + 98. Let i = x + -7. Let a be (-27)/(-18)*i/2. Is 13 at most as big as a?
False
Suppose 14*h - 25*h + 32154 = -5*h. Which is bigger: 5358 or h?
h
Let p = 383 - 758. Let c = -375.058 - p. Which is smaller: -1/3 or c?
-1/3
Let k = 14803 + -14802. Suppose 0 = 2*b + 48 + 40. Let r be 5/2*b/(-10). Which is smaller: k or r?
k
Let d be (((-1)/(-1))/((-1 - -3) + 1553))/5. Which is greater: 0 or d?
d
Suppose -3*v + 6 = 0, -5*j + 10*v - 2 = 9*v. Suppose -5 = -2*x - 2*y + y, j = -4*x + y - 5. Let c(p) = -6*p - 9. Let a be c(x). Which is smaller: a or -11?
-11
Let a = -238 - -241. Suppose 2*b = f - 3, -a*b + 0*f = -3*f + 12. Let q = 18191/21 + -866. Is q < b?
True
Let f = -362.7246 - -362.8. Which is greater: -1/3 or f?
f
Let l = -0.153 + 0.181. Let v = -0.032 - l. Is 0.1 > v?
True
Let v = 400.42 - -6.58. Let o = 408 - v. Which is smaller: o or 0.0433?
0.0433
Let l = 176 - 170. Let w(a) = -5*a + 29. Let s be w(l). Which is smaller: s or -9/5?
-9/5
Let x(k) = -13*k**2 - 55*k + 676. Let j be x(13). Which is smaller: -2234 or j?
j
Suppose -t - 3*g = -58, 0 = 3*t + 16*g - 13*g - 150. Suppose -3*n = 89 + t. Let z = -8 + n. Do z and 1 have the same value?
False
Suppose 0 = 51*i - 69*i + 36. Suppose j - 2*c + 4*c + 60 = 0, c - 100 = i*j. Which is greater: -105/2 or j?
j
Let z(s) = 4*s**3 - s. Let p be z(1). Suppose 0 = -m + 4*d - d - 12, p*m + 22 = 2*d. Let w be (-2)/m + (-247)/1254. Is w < -1?
False
Let w = 11.353 - 11.4. Let v = 2494 + -2492.953. Let q = w + v. Which is bigger: q or -0.18?
q
Let s be -69 + (2 + 1 - 4). Let a be 3/(42/(-4)) + 15/s. Let p = 27 + -109/4. Which is greater: p or a?
p
Let l = -548 + 1262. Suppose -8*n + 74 = l. Let t be (4 - n)/(-3) + -1 + 1. Is t != -27?
True
Let f be (-9 - (-9 + 5))/((-2)/(-40)). Let g = f - -112. Is g equal to 15?
False
Let b(k) be the third derivative of k**5/60 - 11*k**4/24 + 16*k**3/3 - 98*k**2. Let j be b(4). Which is smaller: 26/7 or j?
26/7
Let c(n) = -n**2 + 11*n - 7. Let q be c(10). Suppose -8*l = -q*l - 620. Let r = l + -870/7. Which is greater: r or -7?
r
Let i be (16/(-24) - -1)/(1/3). Which is bigger: i or -140?
i
Suppose 8*d - 16*d = -152. Let p be 21 + (-8)/4 + 1. Let q = d - p. Are -0.2 and q equal?
False
Let y = -4631 + 1847767/399. Let a = 808/1995 + y. Are a and 31/8 equal?
False
Let a = -393 + 82