True
Let k be (-57600)/28 + -3 + 11 + 1494/(-126). Is -2063 < k?
True
Suppose 53*y = -297*y + 312550. Do y and -4 have different values?
True
Let x = 836/23 + -797521/21942. Let m = x + 317/954. Is -18 smaller than m?
True
Let w = -143.92 - -140. Let b = -0.12 - w. Let h = -7.8 + b. Which is bigger: 0 or h?
0
Let z = 22.927 - 22.797. Which is smaller: 63 or z?
z
Let q = -188 - -186.236. Let t = q + 2.3. Let b = t + -0.066. Which is bigger: 1 or b?
1
Suppose -p + 6*w - 2237 = 0, 18*p + 11185 = 13*p + 5*w. Which is greater: -2235 or p?
-2235
Let p = 65948 - 65959. Suppose 30 = -2*q + a, q + 5*a - 38 = 3*q. Which is smaller: q or p?
q
Suppose -24344 = -248*g + 11120. Is g equal to 283/2?
False
Suppose 649 = -15*v + 439. Does -106/7 = v?
False
Let g be (-1 - 2575/(-1512)) + (-36)/(-288). Let f = g - 32/27. Are -0.1 and f non-equal?
True
Let r(x) = x**2 + 2*x - 1. Let p be r(-3). Let y be 302/(-2567) - (-1 + (-90)/1054). Which is smaller: y or p?
y
Suppose -21*c = -28*c + 511. Let y = c + 0. Which is bigger: 72 or y?
y
Let j be ((-2)/(-3))/((-44)/(-198)). Suppose -17 = j*c - 107. Which is smaller: c or 31?
c
Let b = -63 + 58. Let v = 47 - b. Let j = v - 52.2. Is -1/7 < j?
False
Suppose 93*n - 90*n = -12. Let i be ((-48)/14)/((n - -10)/(-42)). Which is greater: 40 or i?
40
Let g be (-4)/50 - (-1748312)/650. Let s = -2690 + g. Which is smaller: 0 or s?
s
Let t = -394.99315 - 0.00685. Which is bigger: t or 1.2?
1.2
Suppose -4*p + 8 - 128 = 0. Let r be ((-118)/(-120) + -1)*(-16)/p. Let u = -436/1575 + r. Which is bigger: u or 0?
0
Let z be -232 + 1 + 2*-1. Suppose -8*j + 82 = -48*j - 9278. Is z less than j?
False
Let k be (-38)/(-171)*18 - 52112/13026. Is k at least -1?
True
Let g = 1.82 - -0.18. Let t = -73 + 83. Let p = t + -10.2. Is p >= g?
False
Let w = 574540/79 - 7273. Which is bigger: 0 or w?
0
Let l = -30298633165/405636 + -868681/1756. Let r = l + 75189. Let t = r + 4/33. Which is smaller: t or 0.3?
t
Let h(k) = -141*k + 1794. Let i be h(13). Which is smaller: i or 6?
i
Suppose 0 = 3*x - 277 + 280. Let z be (x/(-6))/((-220)/(-99)). Is z at most -1?
False
Suppose 0 = -5*d - j - 6221, 4*d - 3*j + 2899 = -2074. Is d smaller than -1244?
False
Suppose 4*o - 204 = 5*l + 2755, l + 589 = -2*o. Which is greater: -590 or l?
-590
Let z = 2955 - 14060. Which is smaller: z or 0?
z
Let m be (4/8)/(-1 - (-28)/24). Suppose -5*u = -u + m*v + 11, -19 = -4*u + 3*v. Let w be (-7 - (-152)/32) + u/4. Is w equal to -5?
False
Suppose -25*r = -29*r + 5*d - 285394, 142690 = -2*r - d. Let j be 8*1 + r/8910. Are 1 and j unequal?
True
Suppose 47*m = 45*m + 2*h - 12, -5*m - 2*h + 5 = 0. Which is greater: 17/241 or m?
17/241
Let u = -0.0938 - 426.9062. Is u < -0.6?
True
Let j = 2 - 1.5. Let x(d) be the second derivative of -7*d**4/12 - 43*d**3/6 + d**2/2 - d - 3. Let g be x(-6). Which is greater: g or j?
g
Let w = -148.612 + 147.612. Let i = -277 + 5265/19. Which is bigger: i or w?
i
Let w = 55217 - 11650830/211. Which is smaller: w or 1?
w
Let y = 5501 - 6510. Which is smaller: -6061/6 or y?
-6061/6
Let y be (-5)/((2/14 - 0)/(-1)). Suppose n + y = -10*j + 12*j, 41 = 2*j + n. Is j at least 170/9?
True
Let l = -536.4 + 543.4. Let n = -0.5 - -0.2. Is l bigger than n?
True
Let x be ((-2)/(-4))/((-8)/(-4064)). Let j be x/(-7) - (5 + 37/(-7)). Let i be (j/(-45))/((-4)/(-10)). Is 33/10 at most as big as i?
False
Let f(b) = -b**3 - 5*b**2 + 3*b + 8. Let d be f(-6). Let y = -203/8 + d. Let c = y + -55/24. Is c equal to -2?
False
Let x = -0.031 + -42.969. Let m = 72 + x. Let j = m + -28.9. Which is greater: j or 0.13?
0.13
Let n = 1896 - 13264/7. Suppose i = -0*i. Is n equal to i?
False
Let a be -4 - 210/(-49) - 0/(-2). Let l be (-85)/50 + (-105)/(-25) + -4. Which is bigger: l or a?
a
Let j = -7 + 7.041. Let h = -12405.1 + 12405. Which is smaller: j or h?
h
Let q be 195/6 + (-1)/2. Let p be (5 - (-2 - -1)) + -2. Suppose 3*g = -k + 94, 218 - 76 = p*g - 2*k. Does q = g?
False
Let p = -31 - -51. Let a be (6132/(-32193))/((-8)/810). Which is smaller: p or a?
a
Let w(u) = 142*u - 4. Let m be w(2). Let n = -252 - m. Let c be (-2)/(-7) - 3971/n. Which is smaller: c or 0.1?
0.1
Let v(y) be the third derivative of y**5/60 + y**4/8 - 8*y**3/3 - y**2. Let o be 4/((-56)/490*5). Let k be v(o). Which is smaller: 2 or k?
2
Let s = 642568/3 - 7095953/33. Let g = 839 + s. Is -2 at most as big as g?
True
Let s be 9/(-5 + 6 + 0). Let p be ((-3)/s)/(3*(-5)/45). Which is smaller: 3/181 or p?
3/181
Let n = -2950 - -2808. Let h = -0.08 + -0.02. Is n less than or equal to h?
True
Let c be ((-56)/210)/(0 - (-4)/6). Let h = 1807 + -12619/7. Do h and c have the same value?
False
Suppose 5*z - 25 = 26*p - 21*p, 5*p = z - 5. Let g be 2/(-3)*3*-9. Let c be 4/g + (-94)/18. Which is greater: p or c?
p
Suppose 0*p = -2*z + p + 1, 4*p = -4. Let i = -309/4960 - 21/160. Are z and i unequal?
True
Suppose 0 = -5*d + f + 2681, 383 = 4*d - 5*f - 1745. Which is bigger: d or 535?
d
Let d = 841259/352 + 197/352. Let q = d + -2508. Is -118 at most q?
True
Let t be (265/(-427))/(-11 - -9). Let b = 3/122 - t. Let f = 1.7 + -5.7. Which is greater: b or f?
b
Let h be (-197267)/(-6)*(-20)/(-420). Let s = -1566 + h. Is s at least -1?
True
Let v = -1/97 - -599/1649. Which is smaller: 0 or v?
0
Let c be 34/33*(-54)/240*15. Let i = -15/4 - c. Which is smaller: i or 2?
i
Let u = -0.17 - 11.83. Let c = u + 10. Let n = 2125 - 2125.04. Which is bigger: n or c?
n
Let t = 19 - 97/5. Let y(f) = 2358*f + 19001. Let m be y(-8). Do t and m have different values?
True
Suppose -4*s = -2*a - 16, -3*s + 2*a + 11 = -2. Let w be 2/7 + s/(-1575)*-39. Let j = -189/100 - w. Which is smaller: 0 or j?
j
Let x be -7*(4/10)/((-42)/15). Which is smaller: x or 1836?
x
Let z be (12/8 + -1)*424/4. Let b = z + -90. Let d be 27/2*16/(-6). Which is smaller: b or d?
b
Let c = 1400 - 421. Which is bigger: 978 or c?
c
Let j(r) = r**2 + 4*r - 14. Suppose -175 = 15*q - 55. Let b be j(q). Suppose 40 = -4*f + 6*f. Which is smaller: f or b?
b
Suppose 2042*f + 81 = 2015*f. Which is bigger: f or -3130?
f
Suppose y = -3*q - 13, 2*y + 6 = -0*y - 2*q. Let l(m) = -19*m + 310. Let n be l(0). Let t = 310 - n. Which is greater: y or t?
y
Let s = -173 + 259. Let f = 88 - s. Let p = f + -1.7. Which is smaller: p or -12?
-12
Let y = -192.5 + 190.5. Let u = -6.2 - -8. Let x = u + -15.8. Which is smaller: x or y?
x
Let l = 214 + -214. Suppose 5*f = 25, 0 = 4*p - f - 3*f + 8. Suppose 2*o + 4 = l, p*y - 2*o = -y + 16. Is 1 > y?
False
Let s be (-1 + 1)*1*-1. Suppose s = 2*b - 7*b - 650. Let v = b + 73. Is -57 at least as big as v?
True
Let p(h) = h**3 - 8*h**2 - 9*h - 6. Let f be p(9). Let u be (f - -9)*(-1)/(-3). Let l be (1 - (0 + u))*1. Is 3 at most l?
False
Let m = 140/23 - -3601/115. Let s = -14409 + 14445. Is m equal to s?
False
Let b = -20221 + 20222. Which is smaller: b or -2/15655?
-2/15655
Suppose 47*p + 125 = 52*p. Suppose -15*v + p*v = -1040. Let f = -75 - 30. Which is smaller: v or f?
f
Suppose -902*r + 42 = -901*r. Let q(l) = -l**3 + 11*l**2 - 6*l + 9. Let c be q(10). Suppose -2*z - 4*t - r = 0, -4*t + 4 + c = -3*z. Which is smaller: -18 or z?
z
Let c(x) = -30*x**3 + x**2 + 6*x - 6. Let u be c(2). Let j = -228 - u. Let f = -1 - -5. Is j < f?
True
Let c be (-39)/(-33) - -1 - 8/44. Let f = 17 + -9. Suppose 0 = -f*r + 10*r + c. Which is bigger: r or -1/21?
-1/21
Suppose -c = 193 + 473. Let a = 142430 + -143097. Do c and a have the same value?
False
Let g be 2/(-6)*3*(-10)/(-73890)*9. Is -1 >= g?
False
Let w = -708.22 - -708.3. Which is smaller: w or 253?
w
Suppose l + 23 = -4*h + 7, -2*l + 4*h = -16. Which is smaller: 0.0775 or l?
l
Let j = -8949 - -8948. Which is bigger: 2/5367 or j?
2/5367
Let l be 94/(-129)*(-12)/120 + 11/(-110). Which is bigger: 1 or l?
1
Let g = 66 + -73. Let t = -8.1 - g. Let d = 2 - 2. Which is smaller: t or d?
t
Let x = -3/5963 - 3154418/17889. Let k = x + 176. Which is bigger: 56 or k?
56
Suppose f + 0 + 3 = 0. Let u = 1 - -5. Let y be 70/(-126)*(0 + u). Is f greater than y?
True
Suppose -3*b - 2*b = 13145. Let s = -1325 - b. Let u = -69114/53 + s. Which is smaller: u or 1?
u
Suppose -12*w - 125033 - 425059 + 31308 = 0. Is w less than -43231?
True
Let r be (3 - 2)*5/(-11). Suppose 0 = -4*c - 5*v + 110, 5*c + v - 121 = 3*v. Let j = 26 - c. Is j at 