 Which is smaller: d or s?
d
Suppose -105 = -5*u - 5*f, -2*u - f + 37 = -0*f. Suppose 5*l + 1 = -x + u, -2*l = 4*x - 24. Suppose -l*r - 1 = -5. Do r and 4 have the same value?
False
Let a be (0 + 6/(-4 + 10))*(-8)/(-20). Let b(q) = 5*q**3 + 3*q**2 - 2. Let z be b(-2). Is a smaller than z?
False
Let j be 10/(-40) - 13/(-4). Suppose -7*q + 17 - j = 0. Which is smaller: q or 4?
q
Let n = -459/2 + 8717/38. Let m = 3 + -4. Which is smaller: n or m?
m
Let q(i) = i**2 - 4*i - 5. Let p be q(5). Suppose -t - 8 = 4*o, -o + 4*t + 1 - 3 = p. Which is bigger: o or 13?
13
Let t = 1672 + -1659. Is t >= 11/6?
True
Let j be (-2)/(-12) - 5/(-10). Suppose -11*a = -12*a - 38. Let q = -38 - a. Which is smaller: j or q?
q
Suppose 2*p - 7*p + 55 = 0. Let v be -7 + p + -3*1. Suppose -4*h = -4*z - 36, -2*z - 3*h + 7*h - 28 = 0. Is v != z?
True
Let q = -2.8 - 0.7. Let z = 3.4 + q. Which is smaller: 12 or z?
z
Let d = 1112 - 1114. Which is smaller: 222 or d?
d
Let x = 2129 - 76649/36. Which is bigger: 0 or x?
0
Suppose -298 = -5*p - 2*i + 3*i, 3*i - 186 = -3*p. Let c = -34 + 13. Let k be 3*(c/p)/(-7). Which is smaller: 0 or k?
0
Let r(m) = -m**2 - 9*m - 8. Let y(b) = b**3 + b - 8. Suppose 0 = 3*o - z + 5*z - 16, 0 = 3*z - 12. Let t be y(o). Let x be r(t). Are -2/25 and x non-equal?
True
Let a = -16 + -8. Let c be (-6 + 3)*8/a. Which is smaller: 2/9 or c?
2/9
Suppose -4*y = -z + 10 + 38, 0 = -4*z + 2*y + 122. Let g(q) = 7*q - 5. Let f be g(4). Let x = z - f. Which is bigger: x or 3?
x
Let b be (1 - -913)/(-19 - -21). Which is greater: b or 456?
b
Let a be -3 + 9 + (-11 - -6). Which is greater: a or 1/48?
a
Suppose -3*n - n - 8 = 4*d, -5*n = d + 14. Which is smaller: -23/14 or n?
n
Let x = -612 - -1138. Which is smaller: x or 1?
1
Suppose 6*i = -i - 196. Which is greater: -26 or i?
-26
Let n(u) = -1 + 1 - 8*u**2 + u**3 - 2 + 9*u. Let i be n(7). Let k be (1 + -3)/(120/(-660)). Is i < k?
False
Let y be (-9)/(-12) + 1/4. Let g(v) be the first derivative of -v**2/2 - 8*v - 6. Let f be g(-8). Which is smaller: y or f?
f
Suppose -3*o + 6 = -6. Suppose -k = o, -a + k + 30 = a. Let s = a + -15. Do -2 and s have the same value?
True
Let v be 30/(-70) + (-186)/154. Let t = 37 + -40. Which is bigger: v or t?
v
Let m be (-48)/(-36) - 1/3. Suppose 6*i - 5 = m. Is 4/13 less than or equal to i?
True
Let i = -3 + 3. Let o be (i - 1) + (-7 - -8). Suppose -5*y - 10 = 5*h, 0*h - 5*h + 2*y = -25. Which is greater: o or h?
h
Let m = 37.6 - 30. Let q = 7 - m. Let n be 0/(4 - (-35)/(-5)). Which is smaller: q or n?
q
Let d be (12/(-48))/(35/52). Let k = -59/630 - d. Let j = k - -2/9. Which is greater: j or -0.1?
j
Let w be (32/(-10) + 2)/(12/60). Let o be (0 - 2)*(-33)/w. Which is greater: -13 or o?
o
Suppose 150*r - 5332 + 64882 = 0. Which is bigger: -396 or r?
-396
Let o = -9.7 + 55.7. Let h = o + -43.9. Let t = h - 2. Which is smaller: t or 2?
t
Let n = -41229/658526 - -57/814. Which is smaller: 0 or n?
0
Let r be ((-1)/(-4))/((-63)/(-196)). Let s = r - 2/3. Let n = -4 - -3. Which is smaller: n or s?
n
Let l(g) = 1 + 4*g**2 + 8*g**2 - 21*g**2 - 3*g - 6*g - g**3. Let t be l(-8). Which is smaller: 10 or t?
t
Suppose -p - 214 = -2*z, -4*z - 830 = 4*p + z. Let w = p - -2724/13. Which is smaller: -1 or w?
-1
Let i = 284 - 310. Is -27 at least as big as i?
False
Let c = -0.32 - 0.48. Is c smaller than 0.2?
True
Suppose -2*i - 459 = 2*q - 145, 0 = -5*i. Which is smaller: q or -158?
-158
Let x(v) = 4*v**2 - 2*v - 1. Let h be x(-1). Suppose 26 = 2*r - r. Suppose -3*o + 7*o - r = 5*n, 0 = -n - 2. Which is greater: o or h?
h
Suppose -55 = -5*q - 30. Do q and 3 have the same value?
False
Let m(r) = 1 - 8 + 7*r + 2. Let c(y) = y**2 + 7*y - 16. Let n be c(-9). Let j be m(n). Is 9 at most as big as j?
True
Let a be (7 - 5) + 20/(-2). Let v be -13 + (-2 - (3 + a)). Let h = v - -3. Which is bigger: -6 or h?
-6
Let w be (-2 - -2)/((-4)/(-2)). Suppose w = l - f - 0*f - 20, -l + 2*f + 19 = 0. Let a be 6/4*(-4)/l. Is 0.2 != a?
True
Suppose 0 = 5*w + 58 - 388. Let v = 332/5 - w. Suppose 0 = -2*l + 7*l. Which is greater: v or l?
v
Let h(l) = -l**3 + l**2 + 26. Let c = -1 + 1. Let n be h(c). Which is smaller: n or 25?
25
Let y be -2*(-4 + 15/6). Suppose -y*x - 54 = -0*x. Let b be 66/x - (-2)/3. Is b at most as big as -3?
True
Let k = 522/5 - 104. Let m be (-1398)/7 - (-4 + 0). Let g = m - -196. Is g less than or equal to k?
True
Let z(p) = -p + 4. Let o be z(5). Let s be (-25 - -21)/(-2*1). Let l be -2 - (8*o)/s. Does l = 3/5?
False
Let l be (-33)/((-462)/4) - (-2)/(-7). Is l less than 1/428?
True
Let i be 22/6 + 7/21. Let x(z) = 3 + 3 + 5*z - i*z. Let l be x(-8). Is -6/11 at most l?
False
Let j = 3 + 13. Let h be (-6)/(4/j*3). Let k = h - -9. Is 1/2 at most as big as k?
True
Let s(m) = 4*m - 242. Let b be s(51). Let d be (-19 + 0)/(2/4). Is d equal to b?
True
Let q = 25 + -16. Suppose -302*k - 48 = -306*k. Is q at least as big as k?
False
Let x = -5 + -15. Which is bigger: -12 or x?
-12
Suppose -7 = 3*j - 13. Suppose 0 = -j*b + 3 - 1. Is b greater than 1?
False
Let s be 1/(-4) - 18/(-8). Let k be (-3)/(s/(-8) + 1). Let u be (k/(-6))/((-24)/(-90)). Is 4 greater than or equal to u?
True
Let b be (1 - 4)*(-24)/36. Let h be ((1 - 2) + 4)*b. Let x be (-9)/h + 157/102. Which is bigger: -1 or x?
x
Let g(q) = -q**3 - 8*q**2 + 9*q + 13. Let y be g(-9). Let t = y + -14. Which is smaller: 2/21 or t?
t
Let h = 343 - 344. Let q = -1/48 - -59/528. Is q > h?
True
Let n be (-4)/10 + (-57)/(-180). Let k = 19/372 + n. Suppose 0 = -0*y + 3*y. Is y smaller than k?
False
Let n = -282 + 273. Which is greater: 13 or n?
13
Let f(q) = 4*q - 12. Let i be f(-3). Let u = i - -73/3. Is 0 not equal to u?
True
Let g = 32 - 32.14. Are -17 and g non-equal?
True
Let r = -197 + 8864/45. Which is bigger: r or 0?
0
Suppose 9*q = 7*q + 12. Suppose 0 = a - 3*a + q. Let t(r) = -r. Let p be t(-5). Is a at least as big as p?
False
Let l = 0.56 - 0.25. Let r = l + -0.41. Which is smaller: -2/21 or r?
r
Let m(i) = -2*i**3 + 88*i**2 + 91*i + 9. Let s be m(45). Which is bigger: s or 429/8?
s
Suppose 4*z + 172 = 2*m, 0 = -4*z - 6*m - 112 - 92. Let x(o) = -15*o + 1. Let t be x(3). Are t and z equal?
False
Let h(r) = -r**2 - 2*r - 2. Let p be h(-2). Let t be 1/(-2) + (-13)/p. Let s be 44/t - (4 + -2). Which is greater: 4 or s?
s
Suppose 64*j - 56*j = 88. Is 104/9 smaller than j?
False
Let z be (8 + -22)/(-7) - 24/14. Is 2/57 <= z?
True
Let x = -1419 + 385967/272. Is x greater than -1?
True
Suppose 0 = 3*x + 5 - 32. Let o be (-192)/(-80) - (-6)/10. Suppose l = -p + o*l + 8, 48 = 5*p - 2*l. Which is greater: p or x?
p
Let o be (-12 + 10)*(-180297391)/898018. Let t = 12/40819 + o. Let n = 401 - t. Which is smaller: -1 or n?
-1
Let w(y) = -3*y + 5. Let s be (4 + -3)*3 + -6. Let n = s + 3. Let a be w(n). Does 5 = a?
True
Suppose 0 = -m - 4 - 7. Let f = -46 - -67. Let y = f + -30. Which is greater: y or m?
y
Let l = -1040 + 1028. Does -27 = l?
False
Let z = 31 + -32.9. Which is greater: z or 3/4?
3/4
Let h be (-2)/3*(-6)/(-4). Let g be (-2)/(3*250/15). Is g not equal to h?
True
Let l = 45 - 99. Let u = 55 + l. Which is smaller: u or 4/3?
u
Let y = -7 + 19. Suppose 3*l + 3*t = -y, 0*t - 4*t = -4*l. Let k be (-4)/18 + 93/(-189). Is k less than l?
False
Let m = -25 + 35. Let i be (-10)/(-7) - 4/(-7) - 10. Let h = i + m. Is h > 2?
False
Let f = -0.0426 + 4.6426. Which is bigger: -2 or f?
f
Let a be (-7244)/(-231) + 98/1029. Is 30 greater than or equal to a?
False
Suppose -2*k = 3*w - 64, -3*k = w - 0*k - 26. Let v = -363 + 384. Which is bigger: v or w?
v
Let d be 1/3 + 35/(-15). Let p = 53 - 51. Let q be ((-110)/104 - -1)*32/p. Which is smaller: d or q?
d
Let z be (-3 - 1272/(-462)) + 6/14. Let a = -0.2 - 1.8. Is z less than or equal to a?
False
Let m = -3.26 - 42.74. Which is smaller: m or 6?
m
Let z = 325.73 - 326. Let u = 1.25 - 1. Let d = u + z. Is d greater than -1?
True
Suppose 0 = -2*t + 2*t - 3*t. Is -6/151 at most as big as t?
True
Let l = 1784 + -1785. Which is smaller: l or -11?
-11
Let y = -9.9 + 1.9. Let h = y + 7.99. Let f = h + 0.07. Which is smaller: f or -1?
-1
Let v = 7.6 - 8. Let i = -0.7 - v. Is i equal to -0.04?
False
Suppose -5*x + 10 = -10. Suppose x*p + 3 = 11. Which is bigger: 7/6 or p?
p
Let l = -7.56 + 7.56. Let w be (-4)/(-10) + 37/(-55). I