1/17 or q?
-1/17
Let y be (-8)/20 - (-2313)/720. Which is smaller: 4 or y?
y
Suppose 3*d - 282 = 9*d. Is -44 bigger than d?
True
Let l be 6 + (2/4 - 15/(-6)). Suppose 9*f = -0*f + l. Is 5/7 at most as big as f?
True
Let w = -107 - -53. Let p = w - -54.86. Let j = -0.14 - p. Which is smaller: 4/15 or j?
j
Let u = 28 + -78. Let b = -3/13541 - 5429917/108328. Let l = u - b. Which is smaller: l or 1?
l
Let o = 6 - 5. Let t = -1 + o. Let j = 7517/45 + -167. Which is bigger: j or t?
j
Suppose -4*a + 28 - 24 = 0. Suppose a = 4*m - 47. Is 12 at least as big as m?
True
Let z = -10.6 - 3.4. Let l = z - -15.4. Which is smaller: l or 1?
1
Let n = -83 - -83.18. Are n and -0.13 equal?
False
Suppose k - 3*s - 25 = 2*s, -4*s - 21 = -k. Suppose -7 = 3*c + f, 3*c - 1 + 12 = -k*f. Which is smaller: c or -4/3?
c
Let q = 541/6 - 320/3. Let d = -85/6 - q. Do d and 1 have different values?
True
Let t = 3/3666817 + 18341418259/458352125. Let a = t + -40. Which is greater: a or 0?
a
Suppose 0 = 5*l + 25, 2*l = 2*z - 91 - 101. Suppose -3*u + 10*u = -z. Let c be -2 - -4 - (u + 3). Which is greater: c or 2/5?
c
Let f be (-2)/(-8) + (-10)/72. Let c be -6 + -3 - (0 + (-13 - -4)). Which is smaller: f or c?
c
Let g = 31 - 15. Let h = g - 5. Let y = -10 + h. Is 0 less than or equal to y?
True
Suppose -87 = -9*v + 14*v + 4*t, 0 = -5*v + 3*t - 101. Which is smaller: 0.2 or v?
v
Let i = -40 + 19. Let c be (-2 + 1)*(-2 + (-70 - 5)). Let d = 56 - c. Is i less than d?
False
Let o be (-5 - -1) + 910 + -11. Let v = -6283/7 + o. Which is smaller: -2 or v?
v
Suppose -3*q - 45 = -k - 3*k, 5*k - 15 = 0. Let u = 14 + q. Suppose u = -x + 2. Is -3 smaller than x?
True
Suppose -l + 2 = 3*v, -v + 3*l - 16 = -0. Which is greater: v or -1/142?
-1/142
Let q be 3 - 3 - -6*(2 - 3). Let k be (-2)/(-8) - q/(-24). Which is greater: k or 2/145?
2/145
Let x be 1*((-104)/(-16) - 7). Which is bigger: 54 or x?
54
Let c = -84 + 78. Suppose -s = -4*s. Is s less than c?
False
Let z = -319 - -327. Which is smaller: -6 or z?
-6
Let m = 53 + -44. Suppose -l + m = -5*b - 0*l, 3*b + l = -7. Is 3 bigger than b?
True
Let v(r) = -r**3 - 13*r**2 - 12*r + 1. Let l be v(-12). Let q be 25/(1 + (-2)/l). Do q and 0 have the same value?
False
Let s = 608 + -609. Let w = -0.1 - -0.1. Let y = 1 - w. Is y at least s?
True
Suppose -6 = 2*y, -3*g - 4*y - 612 + 1497 = 0. Is 299 > g?
False
Let r be 22/3 + 3/(-9). Which is smaller: 8 or r?
r
Let u be 2 + 1933/(-865) + (-7)/(-35). Is u bigger than 0?
False
Suppose -2*x + 2*t = -4, 0*t = -4*x + 5*t + 8. Suppose 2*y - 2*u = 4*y + 8, x*u = 2*y + 16. Let n be (y/360)/(2/(-5)). Is n != 1?
True
Suppose 52 = -4*p - f + 3*f, 2*p + 5*f = -26. Let g be (-2)/4*-2 + (-91)/7. Which is bigger: p or g?
g
Suppose w + 31 = 33. Suppose 0 = -0*o + w*o + 3*f - 11, o + f = 4. Which is smaller: o or -1/27?
-1/27
Suppose -l = -5*a + 16, 0 = -l + 6*l - 5*a + 20. Let g be 0/(l/((-1)/2)). Is g <= 0.02?
True
Let k = -4146318/7 - -594568. Let b = k + -2232. Does 6 = b?
False
Let a be (12/(-4))/3*-14. Suppose -a*t + 11*t - 12 = 0. Is -9 greater than t?
False
Suppose 0 = c + 3*u + 5 - 37, 0 = 3*c + u - 112. Let d = 26 - c. Which is smaller: d or -13?
-13
Let l(g) = 12*g + 4. Let a be l(3). Suppose -2*q - 3*t + 0 - 26 = 0, -4*q = 4*t + 48. Let m be (-6)/q - 8/a. Which is greater: m or 1?
1
Let u be -275 - (2/5 + (-168)/(-30)). Is u less than -283?
False
Let u = -17014/15 - -6865/6. Is u <= 11?
True
Let n be 4/(-72) + 715/(-90). Is n less than -5/9?
True
Let t(m) = 23*m. Let r be t(0). Which is smaller: r or 15/44?
r
Let x be (-4)/(-8) - (-12 - 1027/(-78)). Let g be 1/(-4) + 98/296. Which is smaller: x or g?
x
Let a = 43 - 172. Let b = -71160 + 1136495/16. Let x = a - b. Is -1 != x?
True
Suppose 0*t + 850 = -5*t. Let q = t + 1188/7. Suppose -6*j = -22 + 28. Which is smaller: q or j?
j
Let n = 25 + 387. Which is greater: -1 or n?
n
Let d = -446 - -1336/3. Is -1768 < d?
True
Let g = 199 - 38. Do g and 162 have different values?
True
Let s = 11.78 + -11.8. Let q = -239/7 + 34. Is s less than q?
False
Let b(w) = -8*w**2 - 2 - 3 + w**2 + 2*w**3 - 3*w**3 + 7*w. Suppose 0 = -5*p + 5*m - 40, p + 32 = -3*p + 5*m. Let x be b(p). Which is bigger: 0.1 or x?
x
Let p(v) be the first derivative of -2*v**3/3 + 5*v**2/2 + 3*v - 26. Let k be p(3). Which is smaller: k or 3?
k
Let v(h) = h**2 + 2. Let m be v(0). Let o = -1531 - -1532. Do o and m have the same value?
False
Suppose -130*m - 190 = -132*m. Which is bigger: 98 or m?
98
Let y be (-5 - 679/(-77))/1. Which is smaller: 5 or y?
y
Suppose -180 = -2*j - 4*j. Let h = j - 12. Suppose 0 = -3*k + 2*z - 42, 4*k - h + 81 = 5*z. Does k = -13?
False
Let p(u) = u**2 - 12*u + 20. Let g be p(4). Let d be (-12)/3 - -3 - 14. Which is smaller: d or g?
d
Let x = -22/177 - 32/59. Let r = -2 + 2. Suppose -4*w - w = r. Which is smaller: w or x?
x
Suppose -3*u + 6*u = 4*x - 6, 6 = 3*x - 3*u. Let r = -5/3 - -85/42. Which is smaller: r or x?
x
Suppose -4*r - 32 = 5*s, 6*s - 3*s + r = -15. Do -1 and s have the same value?
False
Let p(c) = -c**3 - 6*c**2 - 8*c - 2. Let z be p(-6). Let d = z - 42. Which is bigger: d or 9/2?
9/2
Let i(c) = c - 9. Suppose 0 = -5*u + 4*u - 2*j + 19, 4*u - 2*j - 56 = 0. Let s = 23 - u. Let n be i(s). Is 2/15 at most n?
False
Let w be -6 + 68/18 + (-2)/(-9). Which is smaller: -1/6 or w?
w
Suppose 15 = -q - 4*x + 2*x, 2*x + 30 = -4*q. Let g(t) = -9*t - 30. Let b be g(q). Are 16 and b equal?
False
Suppose 5*n + 55 - 110 = 0. Which is smaller: n or 32/3?
32/3
Suppose 4*d - 10*d + 72 = 0. Suppose d = 5*s - 4*g, -g = s - 1 + 4. Let c = 1/106 - -101/530. Is s bigger than c?
False
Suppose 2*c + c = -2*a, 2*c = 3*a. Let r = -127/4070 + 5/74. Which is greater: a or r?
r
Let d = 117 - 85. Which is greater: d or 1/4?
d
Let r be ((-6)/15)/((-1)/(10/132)). Which is smaller: r or 0.05?
r
Suppose 1 = -3*d + 4. Which is smaller: -5/32 or d?
-5/32
Let g = 524.99 + -525. Is g not equal to 3?
True
Let h = -0.096 - -3.996. Let y = -0.1 - h. Which is smaller: 2/3 or y?
y
Let p be ((-4)/(-8))/(1/74). Let n = p + -38. Is n greater than or equal to 0.06?
False
Suppose -2*w - 2*y = 64, -4*y + y = 4*w + 128. Let k = 5 + w. Is -28 != k?
True
Let f = 1.468 - 1.568. Which is smaller: 6 or f?
f
Let n be (-6)/9*((-60)/34)/(-1). Which is smaller: 0 or n?
n
Suppose 2 - 4 = -v - h, 5*v = -h + 2. Let n be (v - (-2)/(-3)) + 4. Which is smaller: n or -2/7?
-2/7
Suppose -2*d = -4*x - 1518, 5*x + 3*d = -0*d - 1881. Is x bigger than 2?
False
Suppose -48*f + 4550 - 28070 = 0. Which is smaller: f or -492?
-492
Let g(v) = -2*v**3 + 14*v**2 - v + 5. Let d be g(7). Which is bigger: -51/22 or d?
d
Suppose 3*o + 0 = -2*c + 10, -5*o - c + 12 = 0. Suppose -4*f = m + 13, 0 = -f - o*m - 3*m - 27. Let y = -9.801 - -13.801. Which is smaller: f or y?
f
Let w be 33/27*5 - 63/9. Suppose 2*u + 0*j + 6 = -3*j, 5*u + 2*j + 4 = 0. Do u and w have different values?
True
Let k(s) = -2*s**2 + 43*s - 25. Let y be k(20). Is 32 < y?
True
Suppose -7*k = -k + 12. Let j be ((-4)/1)/(0 + k). Is j <= -1?
False
Let a(c) = -2*c + 6. Let m(p) = p - 3. Let j(x) = -6*a(x) - 11*m(x). Let f be j(0). Let y be f - (26/(-10) + 0). Do 4/5 and y have the same value?
False
Suppose 2*p = 3*q, 0*p = -q - 2*p. Let n be (13/((-3705)/(-36)))/((-4)/10). Which is smaller: q or n?
n
Let o(v) = 16*v - 353. Let j be o(8). Is j bigger than -223?
False
Suppose 3*v + 0 + 3 = 0. Let z be v/(-4)*20/15. Let h = 6.6 - 5.6. Which is smaller: z or h?
z
Suppose -s = -r - 2*r + 2, -r = 3*s + 56. Let m = 4 - 5. Let t be -16 + -2 + 1 + m. Is t greater than or equal to s?
False
Suppose -4*g + 4*x + 100 = -0*g, 5*g - x - 109 = 0. Suppose -r - 4 = 0, -3*d = -4*r + 7*r + g. Do d and -3 have the same value?
True
Suppose -2*k + k = i + 181, -2*i = 2. Let u be (12/k)/(-1 - (-14)/9). Which is smaller: 1 or u?
u
Let v(s) = 16*s + 270. Let h be v(-8). Do h and 430/3 have different values?
True
Let w be (-4)/6*18/24. Suppose 3*y + 2*y = 15. Let c = -4 + y. Which is greater: w or c?
w
Let m(d) = 99*d**2 - 4*d + 2. Let r(x) = -x**3 + 5*x**2 + 6*x + 2. Let k be r(6). Let y be m(k). Let z be y/(-102) - (-2 - 2). Are z and 0 equal?
False
Let d = 124 - 95. Let s = -24 + d. Let u(p) = -p**3 + 4*p**2 - p - 2. Let c be u(3). Which is bigger: s or c?
s
Let g(f) = -f**2 + 8*f + 20. Let a be 0 +