e
Let q be (1 + -1)/(104/13 - 6). Do q and 19/16 have different values?
True
Let i be (-274)/(-14) + 42/98. Let w be (-2)/5 + 68/i. Suppose 2*c = c + 2. Which is smaller: c or w?
c
Let z(q) = -3*q + 4. Let u(t) = t. Let k(h) = -u(h) + z(h). Let x be k(-2). Suppose 3*r = 3*d - 54, -4*r + 2*d = 94 - x. Is -23 >= r?
True
Suppose 2 = -w - 2*c, 1 = -5*w - 2*c + 7. Which is smaller: w or 26/33?
26/33
Let t be 24/(-22) + 11/121. Which is greater: t or 2/9?
2/9
Let l = 152 - 151. Is l less than or equal to -1?
False
Suppose 36*q + 118 = 39*q - 2*u, q = u + 40. Which is smaller: q or 42?
q
Suppose -5*f = 3*w + 669, -51*f - 513 = -47*f - 5*w. Which is smaller: -137 or f?
-137
Suppose -5*u = -8*a + 3*a - 840, 0 = 2*a - 5*u + 327. Which is smaller: a or -851/5?
a
Let q = 62.5 - 1.5. Let x = 60.96 - q. Which is smaller: -1 or x?
-1
Let k = 0.12 - -0.134. Let j = k - -12.846. Let a = -13 + j. Which is greater: -0.5 or a?
a
Let g be (-4)/10 - 8/(-20). Let x be 11/(693/(-204)) + 3. Let v = 23/21 - x. Is g equal to v?
False
Suppose -3*u - z + 30 = z, 4*z = -3*u + 30. Let k be (-4)/(120/69) + (-2)/u. Is k at least as big as -3?
True
Let o(k) = 6*k**2 - 3*k + 3. Let b = -10 + 12. Let x be o(b). Let q be ((-2)/(-21))/(7/x). Is q less than 0?
False
Let j = -82 + 244/3. Let m = -5 - -5.06. Which is bigger: j or m?
m
Let j be 1*1/(-2)*872/8. Are -55 and j nonequal?
True
Suppose 2 = -4*o - 6. Let g(v) = -6*v + 2. Let b(t) = 17*t - 6. Let m(l) = -4*b(l) - 11*g(l). Let w be m(3). Is o bigger than w?
True
Let k(c) = 2*c**2 + 61*c + 182. Let f be k(-27). Let z = -3 + -3. Is f > z?
False
Let v(o) = 4*o - 93. Let z be v(30). Is 14 at most as big as z?
True
Let h = -35 + 40. Suppose 3 = -3*d + 6, 3*z + 14 = h*d. Suppose -3*s = -q + 1, -5*s = q - 5*q - 3. Are z and s equal?
False
Let t(b) = 31*b - 93. Let l be t(3). Which is smaller: -2/297 or l?
-2/297
Let a be (-37)/(-13) + 2/13. Suppose 74 = a*b - 4*j, 0 = -4*b + 2*b - 2*j + 68. Suppose 27*w - 99 = b*w. Are -32 and w non-equal?
True
Let n be 2/(10/255*-3). Does n = -71/4?
False
Let v be ((-2)/2)/(2/30). Suppose 23*d + 80*d = -103. Which is bigger: d or v?
d
Let o be (-39)/(-5)*(-90)/(-54). Let f(y) = y**3 - 9*y**2 + 8*y + 11. Let q be f(8). Which is greater: q or o?
o
Let o be (8/(-10))/(2/1065). Let g = o - -8092/19. Let q = g - -29/95. Which is smaller: 0 or q?
0
Let q = -0.07 - 0.13. Let p = -19.5 + 19. Let d = q - p. Which is smaller: d or 5?
d
Let k(r) = 41*r + 333. Let b be k(-8). Which is greater: 63/13 or b?
b
Let b = 4974228/215 - 23136. Which is bigger: b or 0?
0
Let a = 8.1 - 9. Let x = a - -1.9. Let p = -2 + x. Is -2/17 at least as big as p?
True
Suppose 2*s - 19 = 3. Let i = s - 9. Suppose 0 = -i*h - 5*h. Which is greater: 1/18 or h?
1/18
Let x = -72 - -70. Let h(u) be the second derivative of 2*u**3/3 - 5*u**2/2 - u. Let v be h(x). Is -12 bigger than v?
True
Let g be 0 + -1*(-2 - -3). Suppose -w - 3 = -2*w. Suppose -3*s = 9, 0*p - 5*s - 12 = -w*p. Are p and g non-equal?
False
Let o be 2*((-5)/(-2))/(-1). Suppose -26 = -3*b + 5*k, 5*b + 2*k + k = -2. Suppose b*v + 16 = -2*i, 4*v + 17 = -3*i - 13. Which is smaller: v or o?
v
Let b = -0.12 - -1.12. Suppose -3*g - r = -0*g - 28, 5*g - 2*r - 65 = 0. Which is greater: b or g?
g
Let a be (0/2)/((11 - 10)/1). Is a not equal to -1/937?
True
Let b = 141 + 488. Which is bigger: 0.1 or b?
b
Let v(h) be the first derivative of h**3 - 17*h**2/2 + 10*h + 9. Let t be v(5). Which is smaller: t or -1/28?
-1/28
Let l(u) = u**2 - 8*u + 7. Let q be l(6). Let s = q - -13. Is 9 at least as big as s?
True
Let u = -8533/611 - -181/13. Let x = 1 + 0. Which is bigger: x or u?
x
Let r be ((-7)/(28/(-104)))/2. Let w = r - 10. Suppose 0 = 3*l + w - 0. Is l greater than or equal to -3/13?
False
Let f = 65/297 + 1/297. Let a(l) = -l**2 + 18*l - 22. Let u be a(17). Let s be (-1 - -2)*5/u. Which is bigger: f or s?
f
Suppose 40 + 80 = -10*y. Let b be (-3)/4*y + 2. Which is greater: 8 or b?
b
Let n(s) = s**3 - 7*s**2 - 4*s - 14. Let k be n(8). Let o = 18 - k. Which is smaller: 2/29 or o?
o
Let j be ((-21)/105)/(2/4282). Let r = j + 424. Is -4 greater than r?
True
Suppose -p - 5*h - 7 = 0, -2*p = 2*p - h - 35. Let u = -21 + p. Let x = 0.9731 - -0.0269. Which is smaller: u or x?
u
Let j = -1/612 + 115/153. Which is greater: j or -182?
j
Let a(k) = k**3 - 10*k**2 + 8*k + 12. Let n be a(9). Suppose j - n*j = 5*v + 11, 0 = 4*j + 12. Let y be 1*-3 - (20/(-6) - -1). Which is smaller: v or y?
v
Let d = -329/22 + 104/11. Is d equal to -5?
False
Let j be 48/234 - (-22)/143. Which is greater: 1 or j?
1
Suppose 34*v - 43*v = 18. Which is smaller: 1 or v?
v
Let a = 11.8 + -12.2. Which is smaller: 24 or a?
a
Let i be ((-2)/3 + 2)*45/6. Suppose -3*d = 3*c + 6, i = 3*d - 0*c - c. Which is smaller: d or -1?
-1
Let d = -2.85 + 3. Let p = 0.016 + 1.834. Let a = d + p. Is -5 >= a?
False
Let i = -685 - -745. Is i >= 59?
True
Let y = -21726 + 108196/5. Is y equal to -0.1?
False
Let t be ((-9)/((-54)/30) + -5)/2. Let q = -3 + 4. Let k be 2/(-8) - q/8. Which is bigger: t or k?
t
Let n(i) = i**3 - 5*i**2 + 6*i - 3. Let d be n(4). Let v = 0.202 + -0.05. Let h = v - 0.552. Is h less than d?
True
Suppose -r - 272 = -3*b, -5*b = 2*r - 32 - 414. Are b and 90 equal?
True
Let v(l) = 11*l**2 - l**3 + 28 - 28*l + 18*l**2 - l**2. Let d be v(27). Which is bigger: d or 7/5?
7/5
Let q = -4 + 9. Suppose -t = -r - r - 3, -q*t = -3*r - 8. Is -1/11 at most as big as r?
False
Let u be (-2)/(-2)*(-4 + 4). Let g be (22/(-33))/(192/(-54)). Is u <= g?
True
Suppose -7*z + 48 = -10*z. Let a = 45 + -44. Is a != z?
True
Suppose 6*k = 441 + 9. Let j be 7 - ((-3)/(-12) + k/20). Let v = -1 + 2. Which is bigger: v or j?
j
Let g = 177 + -181. Let h = 9.2 + -5. Let p = g + h. Is p greater than 0?
True
Let d(o) = -38*o + 80. Let a be d(15). Is -490 > a?
False
Let p be (-16)/(-24)*(-12)/(-8). Which is greater: p or -2/247?
p
Let r(n) be the first derivative of -6*n**2 - 8*n + 4. Let b be r(-3). Which is smaller: 29 or b?
b
Let j = 20 + -8. Let m = -2 + j. Suppose -6*c + m = -c. Is c less than 1/3?
False
Let a(r) be the second derivative of -r**3/3 + 5*r**2/2 + 2*r. Let v(f) = -7*f + 19. Let p(t) = 22*a(t) - 6*v(t). Let q be p(-2). Which is bigger: -1 or q?
q
Let m be ((-25)/(-4))/(114/192*4). Let i = m - 412/171. Which is smaller: -1 or i?
-1
Let v = -55 - -56. Let j(s) = -23*s - 4. Let b be j(v). Which is smaller: -28 or b?
-28
Let u be (-2)/(-8) - (-2275)/(-364). Is u > 2.5?
False
Suppose -5*b = 2*h + 19, h + 4*b + b + 12 = 0. Let z = h - -11. Suppose -3*y + 0 + z = -k, -4 = -3*k + 5*y. Do k and 6 have different values?
True
Let j = 1029/10 + -103. Suppose b + 3*k = -k, 0 = 4*b + 4*k. Do j and b have the same value?
False
Let a be -24*(-8)/((-1520)/(-6735)). Let g = 851 - a. Which is smaller: 1 or g?
g
Let s = -58 + 56. Let n be (3 + -4)*(3 + s). Which is greater: n or 2/11?
2/11
Suppose 5*q - 3 = 2. Let b = 2 - q. Let n = 462 + -463. Is b != n?
True
Suppose -t + 4*d + 2434 - 360 = 0, 0 = 5*t + 3*d - 10347. Is t >= 2070?
True
Let j be (-1 - 1 - -1)*-15. Suppose 0 = 3*x + 3*g - 33, -3*x + x + 17 = g. Let b(h) = h**3 - 8*h**2 + 21*h - 41. Let o be b(x). Is o greater than j?
False
Let x be -2 - (-5)/(-7) - 8/28. Let p be ((-92)/14)/2 - x. Which is greater: p or -1?
p
Let w = -6/1871 - -577/763368. Let n = -785/12648 + w. Which is smaller: n or -1?
-1
Let m = -92 - -553/6. Let u = 123/524 + 2/131. Is u at least as big as m?
True
Let l = -26/1529 - -28928/1521355. Which is smaller: 0 or l?
0
Let y = 408925/7 + -5420017/91. Let p = y - -1142. Is p at most as big as -2?
False
Let i be (-12)/(15/(-100)*-2). Which is bigger: -32 or i?
-32
Let h be 17136/96*4/(2 + -1). Which is smaller: 713 or h?
713
Let z(c) = c**2 - 7. Let d = -36 + 31. Let g be z(d). Let x be (1/g)/((-4)/(-12)). Is x greater than -1?
True
Let o = 84 + -175/2. Let b = 711 + -716. Is o not equal to b?
True
Let d be ((-102)/9)/((-26)/(-39)). Let b = -34 - -17. Is d less than b?
False
Let b(r) = 8*r - 2. Let k be b(1). Let w be (-422)/(-210) - (k + -3 + -1). Is -1 at least w?
False
Let x be (-2)/2 + (-737)/(-539). Which is greater: -1 or x?
x
Let c be 4/(-22) - 756/77. Let m = -3 - c. Which is smaller: 4 or m?
4
Suppose 5*c + 41 = -4*u + 3, 0 = c + 3*u + 12. Let s be (-2)/6 - (-368)/24. L