 x be y/(-10) + (-275)/85. Do x and 1 have different values?
True
Let j = 2174/7 - 312. Let m = 57462.1 - 57462. Is m at most j?
False
Let h be (2/(-19) - (-425)/969) + (-680)/(-12). Which is smaller: h or 64?
h
Suppose -105*i - 1825 = 165*i - 475. Is -1/180 less than or equal to i?
False
Let t(w) = -15*w + 100. Let k be t(7). Let m be k*(-6 + 261/45). Let y be 22/13 + -1 - 1. Which is greater: y or m?
m
Let x(i) = 9*i**3 + 1. Let c be x(-1). Let u(v) = -5*v**2 + v. Let w be u(1). Let m be (2 + c)*(-3)/w. Which is greater: m or 0?
0
Let u(c) = -105*c**2 - 166*c. Let q(a) = 17*a**2 + 28*a. Let x(t) = 13*q(t) + 2*u(t). Let j be x(-3). Which is smaller: j or -13?
-13
Let h(i) be the third derivative of 3*i**4/8 - 125*i**3/3 - 5*i**2 - 6*i. Let b be h(31). Which is bigger: 27 or b?
b
Suppose -2*s + 2*r = 2*s - 14, -4*r = -4*s + 4. Suppose -s*y - y = 9*y. Which is smaller: -4/137 or y?
-4/137
Let q be (-2)/(((-3)/6)/(6/(-24))). Suppose -5*r = -7 + 17. Which is bigger: q or r?
q
Suppose 0 = -t + 75 - 16. Let f = t + -96. Let y be (-4)/(-4) + (f - (0 + -2)). Which is smaller: y or -35?
-35
Suppose 0 = 2*g - 2*o - 2*o - 26, g - 5*o - 25 = 0. Suppose 3*p + 61 = -g*b - 18, 3*p - 3*b = -39. Suppose 0 = 36*m - 5066 + 5570. Which is greater: p or m?
m
Let s = -21.3 - -0.3. Let c = -18 - s. Let b = -1.07 - -1. Which is bigger: b or c?
c
Let n be 3 + (-4 + -4 - -11). Suppose n*b = -281 - 211. Is -78 > b?
True
Let p(f) = -2*f**3 - f**2 - 2*f - 1. Let u be ((-24)/18)/((-6)/9). Let d be p(u). Let n be 4/d*5/2. Is 49 less than n?
False
Let s = -17/930 + 21889/1860. Is -0.02 at least as big as s?
False
Let r(t) = 5*t**2 - 20*t + 13. Let p(k) = -k**2 + k - 1. Let z(y) = -6*p(y) - r(y). Let g be z(-16). Suppose g*c - 24*c = -1. Is 1/36 at most as big as c?
False
Let z be 2/4*-2*2. Let b be -4 + 7 + (-2 - 2692/10). Let r = b - -267. Is z >= r?
False
Let v = 865 - 1623. Which is greater: v or -759?
v
Suppose 4*q - 24227*m + 12 = -24226*m, m - 6 = 2*q. Let g = 428357/4 - 79247369/740. Let x = 7/37 + g. Is x > q?
True
Let g = 12696 - 15686. Is -2989 > g?
True
Let a(g) = -4*g**2 + 312*g + 1. Let z be a(78). Which is greater: -11/84 or z?
z
Let n = 137 + -81. Let b(u) = -u**3 - 2*u**2 - 4*u + 3. Let w be b(3). Let t = n + w. Are t and 17/5 equal?
False
Let f = -22 - -21. Let v = -5/14 + -713/42. Let k = -685/39 - v. Is k at least as big as f?
True
Let v = 12 + -8. Let i be v - -8 - (2 - 0) - -2. Suppose 0 = -5*s - s + i. Which is smaller: s or -5?
-5
Suppose -m = 3*m - 28. Let q be (-21)/m + (-16)/(-1). Suppose t + 7 = q. Which is smaller: 2 or t?
2
Let d = -15.8746 - -15.92. Which is greater: 0.1 or d?
0.1
Let q = -100 + 97. Let v be -5 + -3 + ((-72)/q)/3. Is v != -2/869?
True
Let b = -5593 + 5592. Which is greater: -1/316 or b?
-1/316
Let w = -255 + 275. Suppose -w*u - 4*u - 1104 = 0. Is -39 > u?
True
Let z be (4/((-80)/4125))/(87/(-464)). Is z equal to 1100?
True
Let s = -61.91 + 64.5. Let d = -2.62 + s. Is d less than or equal to 1?
True
Suppose 0 = -5*s + 2*m - 7208, 945*s + m - 2884 = 947*s. Is -1436 at most s?
False
Suppose -2*s - 215 = 113. Let n = s - -166. Which is smaller: 28/13 or n?
n
Let m = -53 - 281. Suppose -5*d + 997 = -3*u, -u + 3*d + 671 = -3*u. Do u and m have the same value?
True
Let h(j) be the first derivative of 2*j**2 + 40*j + 16. Let f = 286 + -296. Let g be h(f). Which is smaller: g or 42?
g
Let k = -82189589/22092 - 5/7364. Which is smaller: -3720 or k?
k
Suppose 2*b = -v - 2*b + 28, 4*b = 2*v - 92. Suppose 21*a - a = -v. Which is greater: 9 or a?
9
Let w = -30604 + 30606. Let t = -4.9 - -0.9. Which is bigger: t or w?
w
Let i(c) = -22*c - 1. Suppose -111*m + 114*m = 18. Let u be i(m). Which is smaller: -134 or u?
-134
Let k be 5/(27 + -2) + (-2503)/5815. Let v = k - 4364562/5815. Let q = v - -748. Which is greater: 0 or q?
0
Let n = 3/656 - 3301/4592. Are n and 1.87 equal?
False
Suppose -5*g = -4*q - 96, g + q - 4 = -2*q. Is g > 104/7?
True
Let g = 9827 - 9825. Are 2/289 and g non-equal?
True
Suppose 52 = 2*y - 24. Let x(b) = b**2 - 16. Let f be x(-4). Suppose f = 3*g - 5*g + 76. Is y <= g?
True
Suppose -s + 40*v - 45*v = 3985, -17*v + 7970 = -2*s. Is -3986 at least as big as s?
False
Let b be 48/(-308) - (-6)/33. Suppose -3*d + 5*n = -42, 2 - 14 = -4*n. Let h = -19 + d. Which is smaller: b or h?
h
Let l = 1.276 - -0.024. Let t = -1221 + 1159.3. Let i = -62 - t. Is i greater than l?
False
Suppose 5*o + 8*c + 3 = 9*c, c = -9*o - 11. Let s = -2 + 21. Which is bigger: o or s?
s
Let r = -0.978 + 0.778. Let o = 10957/35 - 313. Is r not equal to o?
True
Let w = -0.19348 + -442.80652. Is 2 less than or equal to w?
False
Suppose 5*g = d + 19, -1638*g + 1633*g + 20 = 0. Let l be -2 - (1872/303)/(-3). Is d greater than l?
True
Let v be 12874 - ((-130)/12 + 43/(-258)). Which is greater: v or 12884?
v
Let n(s) = 9*s + 74. Let w be n(-8). Suppose h + 1 = -5*v, 2*h = 4*h + v + w. Is h equal to -2/741?
False
Suppose 0 = -64*s + 13897 - 168393. Is s > -2413?
False
Suppose t + 4*t = -215. Let j = t - -35. Let z = j - 4. Which is smaller: z or -11?
z
Let p = 57 + -53. Suppose 0*k + p*k + 8 = 0. Let t = -157/870 - -2/145. Is t greater than or equal to k?
True
Let x be (-37)/(-20) - 90/(-600). Which is greater: -52 or x?
x
Let u = 45461 - 45437. Let j be (-4)/(-14) - (-90)/(-21). Which is smaller: u or j?
j
Let w = -233.8516 - 3.1484. Which is smaller: w or -4?
w
Let v = 95/24 - 81/8. Let y = v - -47/8. Are 1 and y nonequal?
True
Let g = -5.02 + -0.08. Let s = g - -14.9. Are s and -2 nonequal?
True
Let i(h) = 2*h + 5. Let r be i(9). Suppose -r = -m - 2*t, 14 + 44 = m - 5*t. Let j = m - 36. Is j <= -3/2?
True
Let y be 1 + (1 - 9) + (-1021160)/(-146922). Are -1 and y equal?
False
Let o(q) = 2*q**2 - 135*q + 134. Let h be o(1). Let u be (9/(-57))/(114/4). Is h < u?
False
Suppose -13 = 5*g + 2. Let a be 2/g + 22/6*22. Let j = a + -82. Which is bigger: j or -3?
j
Suppose -13*f = -12*f + 2*d + 238, 0 = f - 4*d + 226. Let p = f + 141. Is -92 at least as big as p?
True
Let r be (-106)/(-24) - 1/(-4). Let l(u) = -8 - 16*u + 99 + 36 - 26. Let j be l(6). Which is bigger: j or r?
j
Let d(m) = 13*m**2 + 338*m + 1143. Let z be d(-22). Let j be 13*1/((-1)/3). Let p be 0 - (-2 + (-108)/j). Is z <= p?
True
Let r = -226102/11 - -20555. Is -0.1 bigger than r?
False
Let n = 45.73 - 46. Let d = -106779/213554 - -1/106777. Is d equal to n?
False
Let a = -22.9 + 23. Let x = -28.69 + 28.66. Which is greater: x or a?
a
Let s = -21466 - -14338. Is -7129 != s?
True
Let o = 31649.1 + -30409. Which is greater: o or -2?
o
Let i be -1*((25 - 0) + 3). Suppose -50*m - 15 = -55*m. Suppose -4*n = 5*q + 51 + 40, -m*n + 3*q = 102. Are n and i equal?
False
Let r = -1.98 - 113.02. Let t = -208.9531 - -209. Let x = t + -0.1469. Which is smaller: x or r?
r
Let i(g) = -5*g**3 + 2*g + 1. Let f be i(-1). Suppose 2*k = t + f, -3*k = -k + t. Let h be (3 + 32/(-12))/(k/3). Is h less than or equal to 30/13?
True
Suppose 14*d + 3*d + 102 = 0. Let u(y) = 6*y + 44. Let k be u(d). Let t be ((-2)/k)/((-2)/8). Which is smaller: t or 1/9?
1/9
Let k = -1896 + 1637.2. Let y = -267 - k. Which is bigger: 0 or y?
0
Let b(z) = -5*z + 1. Let p be b(-1). Let v = -3 + p. Suppose 5*g = -2*o + 20, 13*o - 20 = -5*g + 10*o. Which is smaller: g or v?
v
Let v(m) = -6*m - 40. Let i(s) = s**2 - 2*s - 6. Let b be i(-2). Suppose -44 = 5*a + f, 0 = -b*a + a - 5*f - 4. Let j be v(a). Is j >= 12?
True
Let p = 1381.5 - 1383. Is 405 less than p?
False
Suppose -c = -267*v + 262*v + 15, 0 = 4*v + 3*c - 31. Let f(y) = 176*y**3 + 1. Let u be f(1). Suppose u = -7*h + v*h. Is h at most -59?
True
Let i = -41640 + 41653. Let n = 3414 + -20399/6. Is i < n?
True
Let y = 11472 + -11491. Is y at most -130/7?
True
Let i = -203 + 214. Let x be i/(-22)*(-3 - 1)/(-2). Are 2/7 and x equal?
False
Suppose 5*u + 17604 - 2749 = 0. Is -2975 smaller than u?
True
Suppose -3*t + 3*f - 1212 = 0, -t = -5*f + 262 + 154. Which is greater: -399 or t?
-399
Let k = -2997 - -2831. Is k less than or equal to -10?
True
Let l = 52 - 26. Let q be (-4)/(28/(-175)) + (1 - -2). Is q smaller than l?
False
Suppose 0 = 24*x + 11*x - 18*x + 17. Is x < 1/687?
True
Suppose 3 = -3*p - 4*d + 8, 36 = 4*p - 2*d. Let r = 100 - 42. Let i = -117/2 + r. Which is bigger: i or p?
p
Let q b