e
Let v = 48 - 46. Suppose 2*k = v*f + 64, k + 3*f - 19 = 13. Is 32 <= k?
True
Let s(w) = w**2 + 5*w - 8. Let f be s(5). Which is smaller: 41 or f?
41
Let d = -3 - -1. Let l be (-695)/(-10)*(0 + 4). Let k = l - 1401/5. Which is smaller: k or d?
k
Let b(m) = 3*m**2 - 2*m - 2. Let d be b(2). Suppose -d - 12 = n. Is n at least as big as -17?
False
Suppose 0 = 4*h - 2*j - 52, 2*j - 5 + 13 = 0. Which is bigger: h or 77/8?
h
Let f be 6/10 - (-21138801)/315. Let d = 67091 - f. Let v = d - -17. Which is smaller: v or -1?
-1
Let g(n) = -3*n + 28. Let q be g(8). Let d be (-5)/(q/4) - -5. Is d at most 6?
True
Let r = -311 + 299. Which is smaller: r or -13?
-13
Let u = 0 + 3. Suppose -2*h + 0*h - u*b - 21 = 0, 0 = 4*h + 2*b + 38. Suppose -4*w - 16 = 16. Which is greater: w or h?
w
Let x = -53.3 + 53.4. Let u = -0.3 + 0.2. Let m = u + -0.9. Which is smaller: x or m?
m
Let w = 8869/15 - 591. Let m = -24 - -24. Is w equal to m?
False
Let a be (4/(-16))/(1/(-16)). Let z be a/(12/(-7)) + 2. Which is smaller: 1 or z?
z
Let v = -12142 - -1930585/159. Which is smaller: v or 1?
v
Let g be ((-39)/637)/(9/(-6)). Suppose 0 = 5*x - 10*x. Which is bigger: g or x?
g
Let g = 16.87 + -17. Is g != 2/9?
True
Let w(i) = i**3 - 7*i**2 - 17*i + 13. Let x be w(7). Which is bigger: x or -108?
x
Let a = -104 + 89. Which is smaller: -78/5 or a?
-78/5
Let m = -2/705 + -2713/286230. Which is smaller: 0 or m?
m
Let i be (143/(-198))/(2/6) + -2. Let p = -20 - -17. Is p greater than i?
True
Let f(g) = 4*g - 22. Let h be f(15). Which is smaller: h or 13?
13
Let g = 971 - 1023. Which is bigger: -50 or g?
-50
Suppose 0 = 2*t - 5*s - 137, -5*t + s - 4*s + 420 = 0. Let x be (2/t)/((-3)/(-9)). Let f be (-12 + 12)*(-3)/9. Is f greater than or equal to x?
False
Suppose 26 = 5*q - 19. Let p(w) = -w + 19. Let a be p(q). Let c be 3/(-1)*a/(-6). Is c >= 2?
True
Let a(t) be the first derivative of t**2/2 + 3*t + 3. Let x be a(-4). Let p(m) = 2*m + 12. Let w be p(-6). Which is greater: w or x?
w
Suppose 0 = y - 5*y - 8, 10 = 2*k - 2*y. Suppose 11 = -5*u + 4*o, 0*o = u + k*o - 13. Is u at most as big as -2/27?
False
Let c = -173/4 + 43. Let o = -28 + 29. Is o at most as big as c?
False
Let w be (-9)/(-12) - (-11)/(-4). Let r(i) = 2*i**2 + 7*i - 2. Let x(z) = z**2 + 6*z - 3. Let g(t) = w*r(t) + 3*x(t). Let c be g(3). Which is smaller: 2 or c?
c
Let z(a) = a - 12. Let t be z(5). Let d = t + 5. Let q be ((-1)/d)/((-8)/96). Is q greater than or equal to -4?
False
Let r be 4 + ((-104)/4 - -4). Let a be 4*7/r + 2*1. Let q(g) = -g + 4. Let f be q(3). Which is smaller: f or a?
a
Suppose 104*p - 118*p = -2562. Which is smaller: p or 184?
p
Let a = 698 + -951. Is -254 >= a?
False
Let n = 0.13 - 0.03. Let x(p) = p**3 - 8*p**2 + 2*p - 15. Let i be x(8). Let s be (-1)/(i - 9)*4. Which is bigger: s or n?
s
Let w = -58 + 71. Suppose w*u = 18*u + 10. Which is smaller: u or 1?
u
Let f be -1 - 9/3 - 5. Let m be 5/25 - (-92)/(-10). Is f < m?
False
Suppose -46*h - 256 = 4*r - 42*h, -2*r = 3*h + 130. Which is bigger: -60 or r?
-60
Suppose 4*w - 54 = -2*w. Suppose -2*i - 2 = -3*i. Suppose -3*n + 8 = 3*r - i*r, w = 3*n. Is -3/10 != r?
True
Let s(b) = 31*b + 48. Let x be s(-9). Which is smaller: x or -227?
x
Let a = -6.04 - -1.04. Is a less than or equal to -6?
False
Let s be (-39)/(-86) + (-3)/6. Let v(z) = -z**2 - 12*z + 6. Let u be v(-12). Suppose g - 2*b - 11 = 0, -5*b = 2*g - u*g + 29. Are g and s equal?
False
Suppose 31 + 7 = 19*c. Do 44/53 and c have different values?
True
Let u(w) = -5*w**3 - 4*w**2 + 5*w + 5. Let f be u(-6). Let k = f - 11837/13. Which is smaller: 0 or k?
0
Suppose 4*t - 2*y = y - 9, y + 13 = -4*t. Let s = 4383 + -4388. Which is bigger: s or t?
t
Let z(x) = x**2 + x - 1. Let j be z(-2). Let w = 109 + -115. Let h(l) = -l**2 - 5*l + 5. Let u be h(w). Is j > u?
True
Let p = -355 - -521/2. Let g = p + 76. Is g > -20?
True
Let p be 22776/429*(0 - 1/2). Which is smaller: p or -27?
-27
Let x = 284 + -267. Which is bigger: 3 or x?
x
Suppose 0 = 3*c + 2*c + 35. Suppose 3*r - 5 = -2*k - 0*r, -r + 5 = 0. Is k less than c?
False
Suppose 5*y + t = 1, 6*t = 4*y + 5*t + 1. Is -2/1163 > y?
False
Let o = 19.046 - 0.046. Let n = -22 + o. Which is bigger: n or -1?
-1
Suppose 278*w - 219*w - 7788 = 0. Which is smaller: w or 133?
w
Suppose -2*c + 2 = -c. Suppose 0 = -5*o + m + 20, o - 12 = -c*o + 4*m. Let a = o + -2. Are 4 and a equal?
False
Suppose c + 15 = f, -4*c + 40 = 24*f - 23*f. Is 20 bigger than f?
False
Let q(p) = p - 9. Let m be q(13). Suppose 9 + 19 = m*z. Which is greater: z or 29/4?
29/4
Suppose 79*z + 14 = y + 83*z, 4*y - 3*z = -20. Which is bigger: -65 or y?
y
Let k(c) = 3*c**2 - 6*c - 10. Let z = -24 - -21. Let a be k(z). Suppose 0 = -4*t + 11 + 125. Which is greater: a or t?
a
Let h be (12/(-10))/(42/(-105)). Let r(s) = -7*s + 6. Let i be r(h). Let b = i + 15. Is b greater than 1/31?
False
Let f = 744 - 745. Which is smaller: f or 5/263?
f
Suppose -a = -6*a - 10. Let f(r) be the third derivative of -r**4/12 - r**3/2 - 23*r**2. Let k be f(a). Is 2/9 smaller than k?
True
Let t = 1/26589 + -8800964/132945. Is t at most -66?
True
Let s(g) = 4*g - 2. Let l be s(1). Let u(d) = -d**3 + 4*d**2 - 2*d - 2. Let z be u(l). Let y be 2/(z/7) + 3. Do 10 and y have different values?
False
Let s = -12 + 11. Suppose 3*u = 5*h - 217, 4*h - 3*h + 2*u - 33 = 0. Which is smaller: s or h?
s
Suppose 59 - 151 = -46*v. Let l = 2.99 - 3. Let o = l - 0.29. Is v >= o?
True
Let t be ((-2)/4)/((-2)/(-4))*-15. Suppose 2*x + 4 = 34. Is x greater than t?
False
Let v be (-7 - 2) + (-372)/(-48). Let g(q) = q - 7. Let j be g(6). Which is smaller: j or v?
v
Let d(p) be the third derivative of -p**4/24 + 8*p**3/3 + 4*p**2. Let u be d(10). Suppose 2*k - u = -k. Is k > 3?
False
Let g = -8 - -4. Let x = -0.5858 - -9.5858. Which is bigger: x or g?
x
Let q = 358.3 + -358. Are q and 94 unequal?
True
Suppose -41 = 13*q - 15. Is q at most -123?
False
Let x(p) = -p**3 + 6*p**2 - 4*p - 4. Let b be x(4). Let h = -12 + b. Let g be h - 1 - (-1)/3. Which is smaller: g or 0?
g
Let d = -1372 + 1581. Is d less than 0.2?
False
Let t = -674 - -310. Let k be 7/(t/200) - -1*4. Is 1 at most as big as k?
False
Let d(w) = 5*w**2 - 10*w - 6. Let g(l) = 6*l**2 - 11*l - 5. Let x(f) = -5*d(f) + 4*g(f). Let h be x(8). Let s be 2/(-21) - (-1116)/(-189). Are h and s equal?
True
Let d(m) = -m**2 - 25*m - 87. Let l be d(-7). Which is bigger: 47 or l?
47
Let v(a) = 10*a - 239. Let d be v(28). Is 38 < d?
True
Let q = 71484887/2115 - 33799. Is q smaller than 1?
True
Let a be (-2)/(5/(15 - 5)). Let x be 6/a*(7/(-3) + -1). Is x > 12?
False
Let r = -0.12 + 0.02. Let c = 0.2 - -0.1. Let a = -1.3 + c. Which is bigger: a or r?
r
Suppose t = 5*g, -5*t - 5*g + 30 = -0*g. Let s be (-3 - 1)/(-2) - t. Is s != -7/4?
True
Let k(s) = -s**3 + s**2 + 13*s - 19. Let w be k(3). Which is smaller: 15/7 or w?
w
Let l = -0.08 - 4.92. Let s = l + 4.2. Let w = s + -0.2. Do 11 and w have different values?
True
Let s(a) be the second derivative of -a**4/6 - a**3/2 - 5*a**2/2 + 11*a. Let k be s(-2). Which is smaller: k or -1?
k
Let l be (-11)/(176/50)*(-12)/(-30). Let a(d) = -d**2 + 5*d. Let n(v) = v**2 - 4. Let b be n(-3). Let u be a(b). Is l less than or equal to u?
True
Let f(t) = -t**2 - 9*t + 24. Let o be f(-12). Let j be (-4)/330*(o - -21). Which is smaller: -1 or j?
-1
Suppose -4*j = -3*i - 20, 3*i + 3*j - 8 - 7 = 0. Let f be (36/6)/(-18) - (-26)/51. Do i and f have the same value?
False
Let i be 72/(-336)*10/(-12). Suppose -14 = -2*m - 12. Which is smaller: i or m?
i
Let o be (-7)/(-35) + 1/(-5 + 0). Suppose o = -g + 57 - 69. Which is bigger: g or -11?
-11
Let x = 5533.3 - 5533. Let y be -9*(-1 - 10/(-6)). Are y and x nonequal?
True
Let f = 2/1113 - -4402/27825. Is f at most -1?
False
Suppose 0 = b + 3*b - 16. Suppose 5*m - 6 = b. Let u be m/7 + (-18)/14. Is 2/11 > u?
True
Let d = -42 + 41. Let o = -12 + 2. Let w be ((-8)/(-10))/(4/o). Which is smaller: w or d?
w
Let k = 14068/7 - 68478/35. Which is bigger: 52 or k?
k
Let g be (-6475)/(-125) - (1 - (-18)/(-15)). Let w = -83 + 135. Is g > w?
False
Let v = -419 + 181. Which is greater: -473/2 or v?
-473/2
Let n be -3 + 3 + -138 + 6. Which is smaller: -139 or n?
-139
Suppose -3*v + 1 = -2*n, 5*n + 2*v = -v - 34. Let y be (-30)/20*n/(-3). Let 