 -8*h + 13*h. Is 7741 less than h?
False
Let c = 0.0042 - 8.1042. Let q = 7.8 + c. Do 32 and q have different values?
True
Suppose 474*a + 61 = 413*a. Which is smaller: -51/652 or a?
a
Suppose 7 = i - 19. Let t(b) = 22*b + 816. Let v be t(-37). Suppose v*g + i + 52 = -4*q, -33 = g + 4*q. Are -46 and g unequal?
True
Let s = -3.14 - -177.14. Let y = s + -172. Is -27 not equal to y?
True
Let i = 13911 - 13847.1. Is -8 greater than or equal to i?
False
Let s be ((-700)/720)/(-4 + (-34)/(-8)). Let w(o) = o**3 - 2*o**2 - 3*o + 3. Let y be w(2). Which is greater: s or y?
y
Suppose -4*n - n = 4*h - 73, -5*n + h + 88 = 0. Let u = n - 28. Let b = u + 1. Is 1 equal to b?
False
Let j = 1004 + -13046/13. Suppose -56*q = -51*q + 3825. Let b = q - -766. Is j equal to b?
False
Let w be (0/3)/(8/(-8)). Let f be ((-1280)/(-48))/(1 + w). Is 27 >= f?
True
Let a be (2 + -1)*(-5 + 7). Suppose -5*r = -a*r. Let u = 70.46 - 70.5. Is u at most as big as r?
True
Let m = -0.09 - -3.19. Let r = -29 - -26. Let j = m + r. Is 0 at least as big as j?
False
Let q be 15/6 + 170/(-20). Let f = -2644 + 18474/7. Which is smaller: f or q?
q
Suppose -2*q + v - 1482 = 0, -v = -5*q - 4040 + 326. Is -744 at least as big as q?
True
Let a be ((-8)/70)/(168/(-196))*(-57)/(-6). Which is smaller: a or -13?
-13
Let i = 20 - -54. Let k = i + -63.4. Let f = k + 32.4. Which is smaller: -2/7 or f?
-2/7
Let r = -59336/43 - -1380. Let z be (142/(-35))/(10836/(-630)). Let q = z - r. Is q less than 4/5?
True
Let d = 17329 - 17329.7. Which is smaller: -2455 or d?
-2455
Let h = 141.3536 + -2.3536. Which is greater: h or 4.8?
h
Suppose -128 = -h - 86. Let p(d) = -d**3 + 44*d**2 - 82*d + 108. Let r be p(h). Which is greater: r or -1?
r
Let b = -18553 - -18863. Suppose 0 = -5*s - 436 + 1986. Is s bigger than b?
False
Let r be -4 + -2 + (-47662)/(-44). Let o = 1077 - r. Which is bigger: 0 or o?
0
Suppose 3*v + 53 = 14. Let l(m) = m**3 + 12*m**2 - 23*m - 23. Let a be l(v). Which is greater: 109 or a?
109
Suppose -c = -5*c + 2*y + 32, -4*c - y = -26. Let z(n) be the first derivative of -n**2 - 9*n - 4. Let w be z(-7). Are w and c unequal?
True
Let b be (522/435)/((-3)/((-4710)/4)). Let f = b + -659. Which is smaller: f or 1/4?
f
Suppose -2913 = j - 5*q, 4*j + 4492 = 2*q - 7196. Which is smaller: j or -2922?
j
Suppose -s - 330 = -11*s. Let i = s + -37. Let n be -2 - (i/18 - 2). Are 0 and n non-equal?
True
Let t = -460 - -256. Let g = t + 204.21. Is -3 != g?
True
Let i = 0.3 - 0.4. Let b = -916 - -958.7. Let p = b - 10.7. Which is smaller: i or p?
i
Let a be 18/(-10) - 8/40 - 5. Let j be 3/a - 2162/(-14). Let o = j + -788/5. Which is greater: -5 or o?
o
Let x = -76 + 75. Let b = -6.05 - 3.99. Let z = b + 0.04. Which is greater: z or x?
x
Let j(x) = 181*x**2 - 242*x + 242. Let d be j(1). Which is smaller: 185 or d?
d
Let k be 1788/(-1792) - (1 - (-2)/(-1)). Let i = -1357/5824 + k. Are i and -9 unequal?
True
Suppose 31*o - 74*o + 1092 = -36*o. Suppose 0 = 7*r - 3*r - 632. Is o equal to r?
False
Let t = 88 - 51. Suppose -5*k + 3*f - 201 = -12, 0 = 4*k + 2*f + 138. Let j = t + k. Which is bigger: -3/13 or j?
j
Suppose 171*x = 185*x + 3850 + 60606. Is x < -4604?
False
Let w(g) = 3*g**2 - 26*g - 14. Let k be w(8). Let x be (-6)/(-5)*k/(-18). Is 6 >= x?
True
Let c = -325833905 + 6630394135024/20349. Let f = c - 14/171. Which is bigger: f or 1?
1
Suppose -25*y + 21*y = 5*q - 17, -29 = 2*y - 5*q. Let w be (-2)/y*(-296)/(2 + 6). Do w and -147/4 have different values?
True
Let f = 6820 + -6819. Let u be ((-2690)/1)/(-2) - 3. Let p = -73812/55 + u. Which is smaller: f or p?
p
Let q = -102 - -171. Let n be (-3)/((-9)/(-1)) - 4009/(-57). Which is bigger: n or q?
n
Let f = -1155.7 + 780.78. Let i = -356 - f. Let y = i + 0.08. Does y = 0?
False
Suppose -3*s = -5*f - 1, 7*s - 55 = 2*s - 5*f. Let o(m) = 2*m**3 + 2*m**2 - 3*m + 2. Let k be o(-3). Let c = 30 + k. Is c at most s?
True
Let h = -49 + 325. Let p = h + -234. Which is greater: p or 45?
45
Suppose -1 = -5*f - d, 4*d - d = 3*f - 15. Is f greater than -10/893?
True
Let g be 4/(-26) - 99814/(-479622). Which is smaller: 1 or g?
g
Suppose -600*a - 38 = -562*a. Are a and -4/557 equal?
False
Let f be 4380/65 - 6/12*-16. Is 76 bigger than f?
True
Let a = 113 - 119. Let t = 1.42 + 0.18. Do t and a have the same value?
False
Let z = 17051 - 17636. Is -595 bigger than z?
False
Suppose -i + 111 = 4*i - 3*b, 5*i - 95 = -5*b. Let f = 19 - i. Which is smaller: -4/7 or f?
f
Let i = 3757/10 - 1717199/4570. Is i at least 1?
False
Suppose -4*o + m = -224, -4*o + 7*m = 4*m - 224. Let w = -660 + 605. Let p = w + o. Is 18 at least as big as p?
True
Let g be ((-12)/8)/(3/(-4)). Let a be (g*1)/(6 + -4). Let u = -157298/87 - -1808. Do a and u have the same value?
False
Let s = -15 - -65. Let b = -4627 + 14027/3. Is s smaller than b?
False
Suppose 4*x + 287 = 955. Let y = 838/5 - x. Which is smaller: -7 or y?
-7
Let z = -0.176 - -0.326. Let n = 1063 + -94610/89. Let h = n - 157/623. Which is greater: z or h?
z
Let y = -25 - -27. Suppose -61 + 304 = -27*w. Which is smaller: w or y?
w
Let n(f) = 378*f + 23441. Let d be n(-62). Let b = 7 - 4. Suppose -4*t = -b*t - 10. Which is greater: d or t?
t
Let c = -0.07865 + -0.47445. Which is greater: 1 or c?
1
Let n(g) = -g**3 + 3*g**2 + 38*g + 19. Let t be n(-4). Which is smaller: t or 70?
t
Let k = -1491.9 - -195.9. Which is bigger: k or 0.1?
0.1
Let u be 6/(-24) - (-77418)/311432. Which is bigger: u or 0?
0
Let v = -0.11 + 0.08. Let s = v - -0.03. Let h(f) = f**2 + 6*f - 54. Let w be h(5). Is w >= s?
True
Let x = -1795 - -1806. Let l(d) = 13*d**2 - d - 2. Let w be l(-2). Suppose 0 = 7*n - 3*n - w. Which is greater: x or n?
n
Suppose -f + 0*w = w - 8, 5*f - 38 = -4*w. Suppose f*s + 8 = 2*s. Let g be (-1 + s)*(-29)/(-12). Is -8 >= g?
False
Suppose -140 = -u - 21. Suppose -5*s = -4*a + 45, -3*s - 50 = 4*a - u. Suppose -5*c + 4*c - 4*v = -22, -5*v = -5*c - a. Which is greater: c or 7?
7
Suppose 2*v = -v + 2*m + 51, 4*m - 68 = -4*v. Let l = v + -11. Let y = -33 + l. Is y less than -26?
True
Let k = -0.559 - -0.36. Let d = k + 0.199. Let z = -71 - -37. Is d bigger than z?
True
Suppose -2*c = 5*i - 1559, -5*c - 5*i + 1465 = -2440. Let t be (-6)/(-24) + 15663/(-20). Let z = c + t. Is z at most -1?
False
Suppose 5*w + 4*a - 33 = -116, -4*a = 8. Let k be -2 + (w/5)/(6/(-4)). Let o be (-9)/(-4) - 1*2. Is k less than or equal to o?
True
Suppose 35*x = 36*x + 19*x + 300. Let s = 149/12 + -157/6. Is s greater than x?
True
Let n = -718425863/7153 - -100437. Which is greater: -1 or n?
n
Let v = -79239744/1541 + 51421. Which is bigger: v or 1?
1
Suppose -5*s - 6 = v, -94*s + 92*s + v - 1 = 0. Which is smaller: s or -4/317?
s
Let i be ((-96)/(-9))/(36/54). Let h be i/9 - 2 - 690/54. Suppose 24 = -0*k - 2*k. Do h and k have different values?
True
Let c = -514 + 570. Let i = 56.01 - c. Is i less than -1/35?
False
Suppose -4*h + 3*y - 1 - 8 = 0, -5*h - 5 = -5*y. Let g = 30 + -27. Is g < h?
False
Suppose 4*n + 9*a - 41 = 4*a, 4*n = a + 11. Let g(o) = o**2 - 58*o + 268. Let k be g(5). Which is smaller: n or k?
k
Let a = 33 - 62. Let b = a - -29.17. Let o be (6/15)/(1/(-5)). Which is bigger: o or b?
b
Let j = -9937 - -1858225/187. Is j less than -1?
False
Let p be (2 + -4)/((-6)/(-141)). Let r be 1/(-2)*(-7 - p). Let m = 40 + -40. Which is smaller: r or m?
r
Let p(j) = -4*j**2 - 4*j + 1. Let z(h) = -5*h**2 - 3*h + 2. Let t(w) = 4*p(w) - 3*z(w). Let o be t(-5). Suppose -28 = -5*m + 17. Which is greater: m or o?
m
Let u = -3711 - -3710. Is u at most 14?
True
Suppose 65 = -8*v + 49. Let j(m) = -m**3 - m - 8. Let f be j(v). Let q be 26/12 - 0 - -1. Is q not equal to f?
True
Let w be (14 + -8 + (-786)/(-8))*8. Let n be (-42)/147 - w/21. Which is smaller: -39 or n?
n
Let s(f) = -53*f - 153. Let u be s(9). Let r be 7/(u/(-20)) - (-155)/(-576). Is r > 1?
False
Suppose -4*q + 678 - 710 = 0. Let a be ((-5)/620)/(1 + 22/q). Suppose -6*x = -7*x. Is a not equal to x?
True
Let i = 149.03 - 0.03. Let k = -321 - -578. Let n = i - k. Which is bigger: -0.1 or n?
-0.1
Suppose -4*v - 389 = 887. Let b = 457 + v. Is b at least as big as 139?
False
Let l = 29574/138515 + 4/2131. Is 0 greater than l?
False
Suppose 192 = -12*p - 4*p. Let l = -15 - p. Let a(t) = -t**3 - 6*t**2 - 9*t - 1. Let m be 