e 688/(-68) + ((-121)/(-17) - 7). Is s smaller than 24?
True
Let r be 2*4 + 5 + -3. Suppose 0 = 5*m + r*m - 1425. Do m and 3 have the same value?
False
Suppose -3*o = a - 2698, -2*a + 6*o = o - 5418. Let n be a/6860 - (-12)/(-30). Which is smaller: n or 0?
n
Let l = -1.2 + -0.8. Let n be (8 + 33*42/(-175))*15. Which is bigger: n or l?
n
Let g(m) = -24*m + 1. Let d(z) be the second derivative of 49*z**3/6 - 3*z**2/2 - 28*z. Let f(s) = -2*d(s) - 5*g(s). Let i be f(-1). Is -20 at least i?
True
Let c be 3/(-57)*912/(-144). Which is smaller: c or -29/7?
-29/7
Let w be ((-90)/(-25) - 3)*1005/(-97217). Which is bigger: 0 or w?
0
Let y(h) = -977*h + 1. Let z be y(0). Is z > 8/1651?
True
Let q(l) = l**2 + 24*l - 94. Let c be 4*(-2)/(-8)*-29. Let w be q(c). Which is smaller: 54 or w?
w
Let p = -36.5019 - -0.5019. Let j = 1.7 + -1.8. Which is smaller: p or j?
p
Let i = -11.88 + 45.34. Let n = 33 - i. Let m = 8 + -10. Is n >= m?
True
Let u be ((-1)/6)/(1118/484). Let b = -842 - -36204/43. Let h = u - b. Is -1 smaller than h?
True
Let f = 390 - 382. Suppose 0*o = f*o + 128. Which is greater: o or -25?
o
Suppose 23 = q - 5. Let y = q - 50. Let k be 23/(((-208)/40 + 5)*5). Is k bigger than y?
False
Let f be (28/28)/(1/(-42) + 0). Let z be f/(-4004)*-2*2/(-3). Which is smaller: z or 0.1?
z
Let b = 37447 - 37518.21. Is b at most 0?
True
Let z(t) = t**3 + 2*t**2 - 5*t - 4. Let b be z(2). Suppose 2*j + j = 0, q - 7 = 2*j. Suppose q*c + b + 5 = 0. Is c < 1/6?
True
Let i be ((-1)/2 - -1)/(2/148). Suppose -8*n + i = -11. Let p be (-36)/(-16) - 2/8. Is n > p?
True
Let y = -4209/2 + 2105. Is 1/3143 less than y?
True
Suppose 12*a + 4*t - 1586 = 17*a, -3*t - 616 = 2*a. Is -322 smaller than a?
True
Let j = 432 + -432.179. Let w = -0.949 - j. Let f = w - -0.27. Is f != -1?
True
Let w = 119 + -146. Let g be ((-8)/10)/(w/5 + 5). Let c be 187/306*(-6)/g. Which is smaller: -1 or c?
c
Let m be (-36)/22 + (-11325)/(-9966). Which is smaller: 27/736 or m?
m
Let f = -1.8 + 0.6. Let t = -1.3133 - -0.0333. Let s = t - f. Is s > -2/3?
True
Let n = 10126/9 + -1129. Let l = 1285 - 1288. Is n bigger than l?
False
Let m be 9 + -15 + ((-1100)/14)/(2/3). Does -124 = m?
False
Let k be (7/(-14838))/((-2919)/4170). Which is smaller: k or 1?
k
Suppose 2*b + 5203 + 3777 = -5348. Is -7163 < b?
False
Suppose 47*t - 42*t - 375 = 0. Suppose 6 = 2*b, 5*b + t = 4*y + 2*b. Suppose y = 23*m - 20*m. Is m less than 8?
True
Let b = -1/15046 + -5356333/646978. Let h = b + -3036/215. Is h at most -22?
True
Let b(q) = 54*q - 465. Let d be b(7). Is -52 bigger than d?
True
Suppose -4*v = -5*v. Let w be -1*((-24)/(-16))/((-1)/(-2)). Let q be 1*(w/2 - 106/(-68)). Is v smaller than q?
True
Let s = 862/20151715 + -7/6715. Which is bigger: s or 1?
1
Let l be (12 + (-266)/21)/((-1)/3). Suppose -6*i = 3*i - l*i. Which is greater: -1/2 or i?
i
Let o be (3 - 39/15)*-1. Let f = -56 - -45. Let v = -11 - f. Are v and o equal?
False
Suppose -3*j + 2*g - 40 + 6 = 0, -g = -2*j - 24. Let i be j/(-2) + 2 + -4. Which is smaller: 3 or i?
3
Let o be 106468/(-26614) + -20 - -24. Are -1 and o unequal?
True
Let j = -0.9 + 1.03. Let n = 245 - 245.443. Let g = n - -0.343. Is j equal to g?
False
Let k = 0.343 + -861.343. Let z = k + 857. Is z >= -0.055?
False
Let c be (-9)/405 - 4/(-18). Let u = -117 - -79. Let o = u + 39. Which is smaller: c or o?
c
Let d = 0.1358 - 4.1358. Is d bigger than -2.07?
False
Suppose -864 = 60*v - 48*v. Which is greater: 19 or v?
19
Let b = 4 + -4. Suppose k - 8 = u, b*k = 3*u - 2*k + 20. Let q be 1/u*8/2. Which is smaller: 1/12 or q?
q
Let f be (-1)/(-2)*76/(-608). Let y = 0.9 - 2.9. Let j = -1.9 - y. Which is greater: j or f?
j
Let h = -7068 + 3749. Which is smaller: -3320 or h?
-3320
Let i = -102 + 105. Let s be (i/(-10))/3*(-16)/36. Which is smaller: -1 or s?
-1
Suppose 0 = 137*p + 617460 - 3201112 + 84087. Is 18245 <= p?
True
Let z = 7/2574 - 12461/86229. Which is greater: z or -1?
z
Let f = 3783 + -3775. Is f bigger than -8?
True
Suppose -21*i + 21*i = -250*i - 500. Is -86/155 > i?
True
Let u = -496.6 + 487.6. Is u != -1/602?
True
Let l(j) = 4*j + 3. Let w be l(-9). Let u be w/22 + (-1)/(-6). Suppose d = 5*i + 9, -2*d - 3*i = -4*d + 4. Do u and d have the same value?
False
Let m = 24023/77 + -312. Which is greater: 6 or m?
6
Let m(n) = -n**3 + 5*n**2 + 24*n + 7. Let r = -413 - -420. Let p be m(r). Which is bigger: 76 or p?
p
Let x(f) = 2*f - 1. Let l be x(-8). Let k be ((1 - 4) + 8 - l) + 2. Which is smaller: k or 23?
23
Let c(x) = -x**2 - 14*x + 26. Let b be (-16)/4 - (10 + -3). Let s be c(b). Let p = 56 - s. Which is greater: -1 or p?
-1
Let y be (-84)/(-1923810)*(-40)/(-24). Which is greater: 0 or y?
y
Let j = 631.2 + -528.2. Let k be (-2)/(-72) - (-3)/(-12). Which is smaller: k or j?
k
Let l = -154 - -221. Let s = l - 165. Is -98 >= s?
True
Let p = 2.6885 + -2.2385. Which is bigger: p or 3/10?
p
Let c(b) = 6*b**3 + 5*b - 5. Let w be c(1). Let z be w - (-3 + 0) - 8. Let r = 53 + -25. Which is greater: z or r?
r
Let q(i) = -3*i. Let z be q(-2). Let d(t) = -8*t - 66. Let l(u) = -8*u - 68. Let w(c) = 5*d(c) - 4*l(c). Let v be w(-7). Which is bigger: v or z?
z
Let r be (-3)/7 - (7 - 7578/42). Suppose 3*n = -4*s - 209, -3*s + 17 = 2*n + r. Is s greater than or equal to -48?
False
Let f = -45 + 44.58. Let l = 0.03658 - -0.40342. Let d = f + l. Which is smaller: 0.3 or d?
d
Let p(w) = 36 - 36 + 3*w. Let m be p(0). Suppose -4*n = -2*g - 0*n, m = -n. Is g < -1?
False
Let h = -155 + 239. Let c = 84.76 - h. Let t = -32.24 - c. Which is smaller: 0 or t?
t
Let o be -1390 + -1 + 128/(-16). Is -1400 at most o?
True
Let o(m) = m**3 + 21*m**2 + 59*m - 24. Let c be o(-19). Let z = -464 - c. Which is greater: -40 or z?
-40
Suppose -c = 3 + 10. Let h = 23 - 35. Let u = 12.2 + h. Is u > c?
True
Let v = -7440 - -290128/39. Do 0 and v have the same value?
False
Let k = -9920 - -9974. Is 24 at least as big as k?
False
Let s = 155 + -157. Let t(d) = -d**3 - 2*d**2 - 6*d - 11. Let g be t(s). Let u be (-34)/(-42) + (-8)/12. Which is smaller: g or u?
u
Let n = 603419/19 + -31775. Which is greater: n or 0?
0
Suppose -m = -3*r, 0 = 5*r - 9*r + 8. Let d be 694/m - 13/(-39). Suppose 10*t - 24 = d. Which is greater: t or 15?
15
Suppose 178 = 115*c - 116*c. Let t = c + 130. Is -46 <= t?
False
Let x = -3845 + 3846. Is x less than 1/687?
False
Let s = -24338/9 - -36386/9. Which is bigger: s or 1338?
s
Let g be (396/9 + -20)*(-2)/(-12). Are 110/31 and g non-equal?
True
Let s be (-8)/252*-21*15/(-5). Let m = 26/55 - 1112/2585. Is s greater than or equal to m?
False
Let p be 16109 + (-6 - (-1 - -2)). Let a be (-8)/(-18) + p/(-873). Is -22 at most a?
True
Let k = -120509/225794 - 3/3893. Is -1 less than k?
True
Suppose 420 = 5*h - 3*x, -h - 3*x + 5*x = -77. Let p = h + -66. Let a be (2/(-237))/((-7)/p). Which is smaller: a or -1?
-1
Let p = -1/5748 + -57433/270156. Is p equal to -1?
False
Let f = 137 - 346. Let m = 287.5 + f. Let n = m + -78. Which is smaller: 0.01 or n?
0.01
Let s = 192/41 + -72604/15539. Let z = s + 4528/1895. Let k be (-1)/3*2*-3. Which is greater: k or z?
z
Suppose 109 - 19 = 5*b. Let n be 3 + 10*b/(-168). Which is smaller: n or 1?
1
Let l(t) = t**2 - 8*t + 8. Let w be l(7). Let m(v) be the third derivative of -v**5/30 + v**4/6 - v**3/6 - 6*v**2. Let n be m(w). Is n greater than 3/37?
True
Let y(z) be the first derivative of z**4/4 + 7*z**3/3 + 7*z**2/2 + 14*z + 8. Let a be y(-6). Let j(d) = -10*d + 14. Let g be j(a). Which is smaller: g or -65?
g
Suppose 12*t + 4*t - 32 = 0. Suppose 0 = 5*q - h - 427, q + 7*h - 75 = t*h. Let y = 91 - q. Is y <= 6?
True
Let w = 0.056238 + -256.837238. Let v = -0.219 + w. Which is bigger: 1 or v?
1
Let h(j) = 50*j + 4490. Let y be h(-96). Do y and -310 have different values?
False
Suppose -3*m - 32 = -2*i - m, -2*i = -m - 30. Suppose -t - 5 + i = 0. Suppose t*l - 15 = -6. Which is bigger: -3 or l?
l
Let n be 4 + 3 + (-4)/(-2) + -3. Let w(q) = -q**2 + 6*q - 6. Let d be w(n). Let b be ((-10)/(-435))/((-2)/d). Is 1 at most as big as b?
False
Let g = -5383 + 5383.039. Is g at most as big as -2/35?
False
Let m be ((-51)/12)/(15/((-1920)/(-16))). Which is bigger: -378/11 or m?
m
Let u(q) = 3*q - 6. Let p be u(2). Let k be (2 + 0 + p)*(-9)/(-18). Are 48 and k unequal?
True
Let c = -0.2