3) + 0. Suppose 93*f - 90*f = -y. Let i = f + 39. Do -1/5 and i have different values?
True
Let d = -512 + 416. Let p be d/(-120)*(-70)/(-26). Which is greater: 3 or p?
3
Let f(i) = i + 2. Let p be f(-2). Suppose -5 = -c + 4*o, c + 3*c - 2*o + 8 = p. Let s be 12/144 + (-2)/c + 0. Which is smaller: 1 or s?
s
Suppose 14*l - 5936 = 86688. Is 6618 less than l?
False
Let f = 11097 + -11216. Does f = -92?
False
Let g = 4.17 - 65.17. Which is smaller: -1/42 or g?
g
Suppose 0 = -41*k + 46*k - 35*k + 210. Is k at most -197?
False
Let l = 1026.1 + -1077. Let x = l + 50.931. Which is smaller: 0.7 or x?
x
Let l(s) = 3*s**2 - 54*s - 124. Let u be l(20). Is u > 598?
False
Let o = 194 - 771/4. Let m = -73 - -98. Suppose -5*f + m = 5*i, 2*i = -f + 4*i - 4. Which is smaller: f or o?
o
Let a be 18/(-2) - 5229/(-567). Let n = -30.17 + 30. Let p = n + -0.03. Which is greater: a or p?
a
Let r be -24 - ((-7)/14 + (-2)/(-4)). Let w be 32/r - (-254)/6. Suppose -127 = -5*z + 78. Is z greater than or equal to w?
True
Let l be (12/(-20))/(1/5). Let s be 10 + -10 - 5*l. Let d be (-2)/15*s/(-85). Is 2 > d?
True
Let m = -327 + 740. Is m smaller than 413?
False
Let f be (-5)/(-8)*2136/273230. Is 0 at least f?
False
Let j(o) = 423 - 4*o + 4*o - o + 47*o + 30*o. Let w be j(-11). Are -412 and w equal?
False
Let m = -23425 + 23417. Is -385/51 bigger than m?
True
Let x be ((-66)/5)/((144/135)/(-16)). Let w be -6*(-3)/x*-2 - 0. Which is greater: w or -156?
w
Suppose 41*m = -7*m + 192. Suppose 13*t - 14*t = -4*f - 9, -3*f + m*t = -3. Are -9 and f unequal?
True
Suppose 15*q = 11*q - 120. Let l = 2597 - 2626. Is q less than or equal to l?
True
Suppose 2*f - 3*h = 20, -54*h + 57*h = -3*f + 45. Suppose 2*l = 4*s - 7*s + f, -5*s + l = 0. Let v = 731 + -293133/401. Which is greater: s or v?
s
Let v = -3.2 + 3. Which is smaller: 32 or v?
v
Let h = 48.9151 + -0.0151. Let n = -8.431 + 8.431. Which is smaller: h or n?
n
Let r(m) = 894*m - 2101. Let c be r(25). Is c bigger than 20249?
False
Let s(g) = -g**3 - 6*g**2 + 5*g - 8. Let k be (-1 + 0)*(-1 - (-24)/3). Let i be s(k). Suppose -4*p - 2*b - 20 = i, 0 = -5*p + 4*b - 65. Is p <= -0.2?
True
Suppose -5*q = -z - 96, -4*q - 6*z + z + 42 = 0. Is q less than or equal to 302?
True
Let i = 180 - 172. Let b = 42968/5115 - 2/5115. Is i <= b?
True
Let w = -16845 + 16845. Which is bigger: -1/1612 or w?
w
Let h = -137082/13 - -1612221376/152893. Which is smaller: 1 or h?
h
Let s(t) = -220*t**2 + 1. Let r be s(1). Let y = 38466 - 38686. Is y equal to r?
False
Let i = 465 + -162. Let g = 301 - i. Is g < 0.4?
True
Let d = 113440.191 - 113344. Let v = 0.191 - d. Let j = v + 95. Is -66 less than j?
True
Let h = -79 + 78.581. Let k = 0.39 + h. Let t = k - -4.029. Is t equal to 0.6?
False
Let x = 235881/11 - 21427. Let j = -2315/143 + x. Do j and 1 have different values?
True
Let h = 38 + 17. Suppose 2777 + 30 = 94*v - 2269. Which is smaller: h or v?
v
Let r be (-114)/(-4)*(-8)/6. Let a = r - -19. Let v(f) = 2*f**2 - 13*f - 3. Let x be v(5). Is a at most x?
True
Let l = 90128 - 443049/5. Let f = l + -7370851/4855. Do f and -1 have the same value?
False
Let h be (-66)/(-165)*(-790)/2. Let l = h - -192. Is l less than 34?
False
Let m = 2/5773 - -11532/40411. Which is bigger: m or -84/11?
m
Suppose 2*d + 3*s = 286, -d + 5*s = -74 - 95. Suppose 5*i + 486 = -d. Is i at most as big as -127?
True
Let z be 257/2*(-2)/15*5. Let f = 86 + z. Let r = 0.94 - 5.04. Which is bigger: f or r?
f
Let d be ((-400)/15)/(1/(-18)). Let a = -610 + d. Is a at most as big as -132?
False
Let x = -6729 + 881505/131. Let z = x + 601/1179. Is -3/5 >= z?
False
Let j be 16/(-34)*(-1)/3. Let t = 6085 + -6084. Which is greater: j or t?
t
Let j = 275 + -584. Let q = -380 - j. Is -71 at least as big as q?
True
Let i(b) = b**2 - 27*b + 68. Let a be i(25). Let p be (-2 + -6)*(a/(-45) - -1). Suppose -7*d - 25 = -2*d. Which is smaller: d or p?
d
Let f be (-2)/(-6) - (-87)/(-18). Let w(v) = v**2 + 6*v - 5. Suppose -3*l - 24 = 5*o, -2*o + 5*o + 26 = 4*l. Let s be w(o). Which is bigger: s or f?
f
Let y be (-365 - 6) + (1 - -1). Let n = y - -2669/7. Are 13 and n equal?
False
Let k = -0.53 - -0.43. Let i = -1199 - -1240. Which is bigger: k or i?
i
Let f(h) be the second derivative of h**3 + h**2/2 + 2*h. Let g be f(3). Suppose 234 = -59337*m + 59350*m. Is m greater than g?
False
Let t be -2 - (2 - 2) - 1. Suppose -8*g - 290 = 2*m - 12*g, 2*m + 284 = -2*g. Let x = -439/3 - m. Which is smaller: t or x?
x
Let h = -10916 - -10916.2. Is h less than -3/374?
False
Let t be (-425)/(-30) + ((-51)/(-18) - 3). Suppose -t*g = -8*g + 18. Let q be g + 0 - (-1 + (2 - 0)). Which is bigger: 3 or q?
3
Suppose -g + 2 = -0*g - 2*h, -5*h - 8 = -4*g. Suppose 6*k + 4 = 2*l + g*k, -3*l = -2*k - 6. Let d = -53/275 + -2/275. Are d and l unequal?
True
Let a = -570 + 583. Let j be a/(-195)*(-5)/68. Is 2/5 at most j?
False
Let w(j) = j**3 + 84*j**2 + 145*j - 9. Let q be w(-82). Do q and 1549 have different values?
False
Let o be ((-2120)/8)/((-1)/(-1)). Let q = -266 - o. Which is greater: q or -1/174?
-1/174
Let v(w) be the first derivative of -2*w**2 + 17*w - 14. Let x be v(4). Let b = -0.82 + 0.9. Which is greater: x or b?
x
Let t be (1 - 0)*9/(-156). Let p be (-7 - (-88827)/12) + (-4)/16. Suppose -7402*r + p*r = 0. Which is bigger: r or t?
r
Let q be (12/10)/(((-36)/(-40))/(-3)). Let y be 3 + 2 - (q - -1 - -5). Suppose 0 = -4*i - 5*k + 42, -2*k + 30 = 2*i - 4*k. Which is smaller: y or i?
y
Let x(b) = -b**3 + 7*b**2 - 7*b + 6. Let i be x(5). Suppose 26*m = i*m + 10. Let l be (-25)/15*m/5. Which is smaller: -1 or l?
-1
Let k be 1 + (3 - 3) - (-6)/2. Let j be (-8)/2*(219/(-54) + k). Is j greater than or equal to 1?
False
Suppose -6 = -2*f, -6*n + 362 = -4*n - 4*f. Suppose -2*i = 5*o - 392, 3*o + n = i - 20. Which is greater: 199 or i?
i
Suppose 0 = 3*m - 0*m. Let s = -10 + -95. Let z be (-32)/s + (114/(-18))/19. Which is greater: m or z?
m
Let h be 61/((4/(-12))/1). Suppose 32*g + 22*g + 12078 = -12*g. Is g bigger than h?
False
Let g = -10058 - -10057. Is -1/8026 at most g?
False
Suppose -2949 + 228 - 1239 = 72*w. Which is smaller: -84 or w?
-84
Let b be 7 + 95/(-10) - 19/(-2). Let h be 0/2 - (b - 153/22). Is h bigger than 10?
False
Let k be ((-26)/(-117) + 192/(-54))/((-4)/18). Which is bigger: 27 or k?
27
Let d = -99 + 127.3. Let p = -27.7 + d. Which is greater: -16 or p?
p
Let d = 310 - 618. Let g = 307.8 + d. Let c = -0.98 - -1. Which is bigger: g or c?
c
Let r = 3.6833 + -3.7833. Let g = -82.18 + 1.18. Is r at least g?
True
Let i be 25/(-5) - (10 + -158). Let t = i - 143. Which is greater: 0.21 or t?
0.21
Let m be (6/(6*(-3)/(-372)))/(5/(-5)). Which is greater: m or -120?
-120
Let j = 1672 - 1916. Which is smaller: -248 or j?
-248
Let w = 453 - 687. Let c = w + 222. Which is smaller: -18 or c?
-18
Let k(t) = -7*t + 27*t - 3*t + 19 - 5*t. Let w be k(0). Which is bigger: 20 or w?
20
Let v(i) = i**3 + 6*i**2 + 5*i + 5. Let y be v(-4). Suppose -4*g - 5*u = y, g - u + 6*u + 8 = 0. Is g at most as big as -23/6?
False
Let y be 140/(-40) - 505/(-70). Is y greater than or equal to 4?
False
Let a = -4464 - -138404/31. Let h(c) = 35*c**2 - 280*c + 1. Let g be h(8). Which is smaller: a or g?
a
Let y be (-1)/(-1) + 3 + 11223/87. Let j = -132 + y. Is 3/16 equal to j?
False
Let x = 1249.995 - 1250. Do -0.77 and x have the same value?
False
Suppose 0 = -12*d + 137 - 29. Let o(c) = 2*c - 41. Let y(z) = 3*z - 42. Let r(j) = 2*o(j) - 3*y(j). Let q be r(d). Is 5/26 > q?
True
Let l(s) = -15*s**3 + 13*s - 11. Let m be l(1). Let c(x) = 4*x**3 - 3*x**3 + 7*x + 7*x**2 + 2 + 4. Let w be c(-6). Which is smaller: m or w?
m
Let r = 19 + -41. Let p = -1181758 - -4726949/4. Are r and p nonequal?
True
Let h = 40.4 + -40.2. Is 470 at most h?
False
Suppose 28*t - 21*t = -7. Let d be 1/(-4)*t - 105/252. Suppose 0 = -5*i - 5*s + 10, 0 = -3*i + s + 18. Are d and i non-equal?
True
Let b = 1.9888 + -2.2088. Which is greater: -11 or b?
b
Let k be -14 + 3180/(-24)*-110. Are 14560 and k unequal?
True
Let t be -1 + (5*1 - 1067/(-485)). Let i(u) = 4*u**2 + 1. Let a(n) = n**3 - n + 1. Let c be a(1). Let d be i(c). Which is smaller: t or d?
d
Let x = 1642 + -1710. Is -70 >= x?
False
Let j = 17.86 + -16.23. Are j and 1.1 unequal?
True
Let s = -19 + 36. Suppose 0 = s*