e
Let j = 1987 + -1987. Do j and 5/1002 have the same value?
False
Suppose a - 4*a = -2*y - 45, -5*a = -2*y - 43. Let x be y/(-60) + (-11)/15. Which is smaller: -3/19 or x?
x
Suppose -58 = -6*h + 14. Let l be (-3)/5*(-30)/h. Do 3 and l have the same value?
False
Let n be (-1187)/(-3)*6/(-14). Let f = -170 - n. Let p be ((-84)/(-8) - 9)*(-6)/(-9). Is p less than or equal to f?
False
Suppose 3*x + 14 = 4*x. Let q be (-8)/(-28) + 52/x. Let o = q - 8. Which is smaller: -5 or o?
-5
Suppose -5 = -5*y + 5*t, 3*y + 22 = -2*y - 4*t. Which is greater: y or -5/2?
y
Let k be (-3)/(-8) + 168473827630/(-1488). Let i = 113220384 + k. Let h = i - -1274. Which is bigger: h or 1?
1
Let j = 3137 - 1938665/618. Which is smaller: j or 0?
0
Let d = -0.8 + 2.3. Let q = -13.5 - d. Let f = q - -15. Which is bigger: 1/11 or f?
1/11
Let f = 2/415 + -9549/830. Let h = 3490 - 3490. Is f at most as big as h?
True
Let h(b) = b**2 - 16*b + 15. Suppose -73 + 28 = -3*s. Let t be h(s). Let r = 27/10 - 223/90. Does t = r?
False
Let l be -10*(2 - -2*(8 - -2)). Do -220 and l have different values?
False
Suppose -2 = 5*p - 7, 34 = 4*i - 2*p. Let y(b) = 7*b**3 + b**2 + b - 1. Let w be y(1). Which is smaller: i or w?
w
Let g = -807/923 - -11/13. Let l(c) be the second derivative of c**3/6 + 3*c**2 - c. Let f be l(-6). Which is greater: f or g?
f
Let j(u) = -5*u - 94. Let f be j(-15). Do -22 and f have the same value?
False
Let g = -546 - -549. Is -9/4 != g?
True
Let k = -22355/133 - -1174/7. Is k > 1?
False
Let h be (1 - 1) + (-1 - 0). Let x = -2 - h. Let q be 2/(5 + 14 - 11). Which is greater: q or x?
q
Let m(x) = 3*x**3 - x - 1. Let h be m(2). Let r be 1/(-4) + h/(-12). Are r and -1 nonequal?
True
Suppose 0 = 3*t - 394 - 44. Which is greater: 145 or t?
t
Let d = 31.8 + 0.2. Let x = d + -34. Which is bigger: x or 2?
2
Let r(v) = -2*v**2 - 3*v + 1. Let m be r(5). Suppose -2*a - 190 = 2*y - 60, 3*y - a = -191. Do m and y have the same value?
True
Let t = -7.7 + 8. Let x = 0.1 - t. Let q = 151 - 153. Which is bigger: q or x?
x
Let y be (-1224)/13 - (-28)/182. Do -92 and y have the same value?
False
Let f = 1.8 - -17.2. Let b = f + -9. Let v = b - 10.3. Which is greater: v or 0?
0
Let h = 472 - 471. Let o be 4/(-96) + 2/(-6). Which is bigger: h or o?
h
Let l = -21 + 43. Suppose 12*n - l = 14*n. Let q(x) = -x**2 - 10*x + 7. Let f be q(n). Is -13/5 at least as big as f?
True
Let z = -0.367 + -1.343. Let n = z + 1.6. Is -2 smaller than n?
True
Suppose 33 = 4*k + 21, 5*p = k - 268. Does -54 = p?
False
Let p = 344/9 - 3251/90. Which is smaller: 3 or p?
p
Let k be (49/25 - 3)/(84/60). Is 0 at least k?
True
Let g = -693 + 681. Is -66/5 greater than g?
False
Let y = -96 - -98. Does y = 5/7?
False
Let s = 7.6 + -89.6. Let t = s + 81. Is t at least as big as 0.05?
False
Suppose 35 = 3*o + 8. Suppose -2*g + 2 = 2*n, 4*g - 3 = n - o. Let v be 10/5*1/(-59). Is g > v?
False
Let i = -27/122 - 5/122. Which is smaller: 0 or i?
i
Let p be (-136)/(-574) + (-2)/7. Let v(k) = -68*k - 1496. Let x be v(-22). Is p at least x?
False
Let m = -21095/7 + 3002. Is m greater than -11?
False
Let z = -316 - -313. Which is smaller: -9/4 or z?
z
Let k = 24 + -23.8. Let g = -34 - -25. Let q = g + 8.99. Which is smaller: k or q?
q
Let w = -3 + 2. Let l = w + 2/3. Suppose 0 = -4*i + 5*s - 4, 2*i + 2 = -4*s. Which is bigger: l or i?
l
Suppose 78*b + 3*g = 82*b - 4177, -b - g + 1046 = 0. Which is smaller: 1044 or b?
1044
Let r = 0.35 + -3.45. Let i = -3 - r. Let t = 221 + -220. Is i less than t?
True
Let u = 817/12 - 68. Let t be (-4118)/426 - (-1 - 9). Is u smaller than t?
True
Let y = 30 - 23. Let a(l) = l**2 - 9*l + 13. Let t be a(y). Let u be ((-1)/(-2))/((-1)/2). Is t smaller than u?
False
Suppose 0 = 5*n + 1 + 14. Let u be -2 + (-2)/n + (-71)/(-60). Does u = 1?
False
Suppose -3*g + 2*g + 34 = 0. Suppose -2*m = x - 8, 4*m - g = -3*x - 0. Let t = -160/9 + x. Which is greater: -1 or t?
t
Let g = 206 - 113. Let t = g + -102. Which is greater: t or -8?
-8
Let n = 115 - -109. Which is smaller: n or 223?
223
Let r(u) = -u**3 + 7*u**2 + u - 1. Let a be (1 - 11)*(-2)/5. Suppose -a*t + 18 + 10 = 0. Let c be r(t). Which is bigger: 7 or c?
7
Suppose 6*u - 9 - 27 = 0. Suppose u = 3*w - 6*w. Is w less than -18/7?
False
Let b(o) = -o - 11. Let y be b(-13). Suppose 0*r = -3*v + r - 3, -2*r = -3*v - 6. Let a be (v + 1)/((-1)/(-4)). Is a <= y?
False
Let c = 5 - 9. Let g = c - 3. Suppose -f = 3*x - 5*f + 7, 2*x - f - 2 = 0. Which is smaller: g or x?
g
Suppose -19*h - 1711 - 4589 = 51*h. Suppose -4*s - 290 = 3*b, b + 2*s = s - 95. Is b less than or equal to h?
True
Let d be 5*(-8)/120 + (-4)/6. Is -2/209 < d?
False
Suppose 20 = -3*z + 3*r + 29, -4*z + 4 = -2*r. Is 2/307 > z?
True
Let w = 132 - 185. Is 4 less than w?
False
Let d(n) = n - 9. Suppose -k = 2*k. Let f be d(k). Is f <= -8?
True
Suppose u = 0, 85*s + 3*u = 87*s + 70. Are s and -1 equal?
False
Let b = -114444/7 + 16306. Is b less than -44?
False
Let p(z) = 3*z**2 - 6*z - 3. Let s be p(3). Let f be (-18)/128*4/s. Which is smaller: 0 or f?
f
Let t = -14.2 + 14. Let y = t - 0. Let k = y + 0.1. Which is bigger: k or 3?
3
Let u = -12 + 11.98. Let q = u + 0.07. Let d = q - 0.15. Which is greater: d or 0.04?
0.04
Suppose 0 = -225*c + 230*c + 50. Is c at least 5?
False
Let z(q) = -q + 1. Let s be z(0). Let n be (-7)/((-273)/24900) - -3. Let l = -641 + n. Which is smaller: l or s?
l
Let a(y) = -y**3 + 3*y**2 + 6*y - 3. Let s = 3 + 1. Let h be a(s). Suppose f = h*f. Is f at most as big as 6/11?
True
Let x = -56 + 50. Which is bigger: x or -5?
-5
Let t = 174 + -163. Let r = 2 + 5. Let c = r - t. Which is smaller: -1 or c?
c
Let x = -122.8 - -127. Which is bigger: x or -0.4?
x
Let f(s) = s**3 - 9*s**2 - 7*s - 4. Let w be f(10). Suppose 6*i - i - 10 = 0. Suppose 0*a + 5*a - 3*b = -w, -3*b + 14 = -i*a. Do a and -4 have the same value?
True
Suppose 4*j - 9*j = 3*o - 30, 5*j = 3*o. Which is smaller: j or 7/4?
7/4
Suppose -5*p = a + 2*a + 30, 12 = -2*p + 3*a. Suppose 0 = -4*i + 2*h - 32, 3*i + 5*h = 7*i + 38. Is p smaller than i?
False
Let s(k) = -2*k**2 - 10*k + 10. Let u be s(-9). Let v be -2 - (u/7 - 18/(-42)). Which is smaller: v or 5?
5
Let x(d) = -d**3 - d**2 + 20*d + 6. Let i be x(-5). Suppose 0*j - 5*q = 3*j - 4, -3*j + 8 = q. Suppose j*a + i = -0. Which is smaller: a or -14/5?
-14/5
Let c = 2 - 0. Let a = -1 + c. Let y = 1617 + -1609. Which is greater: a or y?
y
Let f = 17 + -12. Suppose f*l + 20 = -3*p, 0 = -l - 0*l - 4. Let v be p - -2*6/4. Which is smaller: 3/2 or v?
3/2
Let v = -1 - -2. Do v and 4/111 have different values?
True
Let m = 36297/44 + -825. Which is greater: m or 3/4?
3/4
Let v(c) = c**3 + 5*c**2 - 4*c - 23. Let q be v(-5). Let n = 5 - 1. Is q at least n?
False
Let b = -18 + 26. Let d = b - 13. Let g = d + 5.01. Which is bigger: -1/3 or g?
g
Let s = 28 - 26. Suppose 3*p = -2*l + 5, -2*l - 22 = -2*p - s. Is l bigger than 2/9?
False
Let u = -5068/9 + 65470/117. Which is greater: -3 or u?
-3
Let a = 97163 - 30606293/315. Let d = 1/45 - a. Which is smaller: 0 or d?
d
Let h(v) = 5*v - 29. Let p be h(7). Let o(y) = -y**2 - 12*y + 7. Let k be o(-12). Which is bigger: k or p?
k
Let l = 20833 - 2499959/120. Let x be 0/(-2)*(-1)/2. Which is smaller: x or l?
x
Let m(r) = -23*r - 404. Let b be m(-15). Is -56 greater than b?
True
Suppose -6*z + 107 = 23. Is -9 >= z?
False
Let n = 41/56 + 1/56. Suppose 5*t - 2 - 3 = 0. Let o = t - n. Is o less than 0.2?
False
Let m be (1 + (-16)/14)/(1178/25958). Let k = -3/589 - m. Is k at most as big as 2?
False
Let n be 2 - (4 - (0 - -4)). Suppose 0 = 3*l - 4*u + 21 - 1, -n*l + 4*u - 20 = 0. Is -2/39 smaller than l?
True
Let o be (25/3 - -1)*(-1755)/(-90). Let w be (-3)/((o/(-12))/(-13)). Let s = -1.9 + 2. Is w <= s?
True
Let j = 907/4 - 228. Which is smaller: j or -1/8?
j
Suppose -3*a + a = 12. Let g(f) = -f**3 - 5*f**2 + 5*f - 5. Let h be g(a). Let q = -81885/7 - -11698. Which is smaller: q or h?
q
Suppose 2*x + 25 = -2*g - 3*x, g + 2*x + 12 = 0. Which is greater: g or -9?
-9
Let x(v) = v**3 - 6*v**2 - 7*v - 2. Let c be 2/(12/(-7) + 2). Let o be x(c). Let u = 1 - o. Which is greater: u or 2?
u
Let f(c) = c. Let d be f(-1). Let y = -54 - -38. Let m = y + 15. Is m > d?
False
Let u = 1933/430 - -1/215. Let y = -0.593 + 0.693. Are u and y unequa