1/17 <= l?
False
Let q = -1040 + 225682/217. Which is smaller: 0 or q?
0
Let f be -8 + -1 + (-816)/(-15). Which is smaller: f or 44?
44
Suppose 2*s = -0*t + 3*t - 51, 0 = 4*s - 12. Let m = t - 13. Let d be 3/m - (-12)/(-8). Is d >= -8/7?
True
Let q be ((-130)/(-754))/(15/6). Is q >= -84?
True
Suppose -d - 6*b + 3*b - 1 = 0, -5*d + 67 = -3*b. Which is bigger: d or 6?
d
Suppose -20*a - 14 = -6*a. Let i be 32/161 - 12/42. Which is bigger: i or a?
i
Let m(p) = p**3 + 8*p**2 + 6*p - 1. Let d be m(-7). Let n(j) = j + 23. Let c be (30/(-25))/(3/40). Let u be n(c). Which is smaller: d or u?
d
Suppose -4*c = -7*c + 21. Suppose 4*g - 36 = c*g. Let l = -12 + 0. Is l smaller than g?
False
Let n = -40.26 - -40. Let j = n + 0.26. Which is greater: j or 2/21?
2/21
Suppose 4*u - 8 = -0*u. Suppose -3*f = -5*l + 92, -u*l - 20 = -7*l. Let h be 32/(-30) - f/60. Is h > -0.5?
False
Let a(t) = t**2 - t + 2. Let h be a(2). Suppose -2*o - h = 3*f, -4*f = -0*o - 2*o + 24. Which is smaller: 2 or f?
f
Suppose 6*s - s = 0, -2*r - 2*s = -10. Suppose -r*y - 2 = -7*y + 3*d, -3*y - d + 3 = 0. Is y less than -6/23?
False
Let a = 15 - 8. Let t be (5 + -2)/(a/75). Let l = t + -32. Is l at most as big as -0.1?
False
Let h be -1*(-5)/(-30)*6. Which is bigger: 2/23 or h?
2/23
Let b(d) = -11*d**2 + 2*d + 4. Let w be b(-4). Let y = -575/3 - w. Let n = y + 37/3. Is n at most as big as 0.01?
False
Let t = 209 + -148. Let x = t + -60.89. Is -3 greater than or equal to x?
False
Let d(h) = 34*h + 181. Let b be d(-5). Suppose 5*r + 2 = -13. Which is smaller: r or b?
r
Let v = 391 - 392. Do 1/299 and v have different values?
True
Let s = 68 + -67.45. Which is bigger: s or 0?
s
Suppose -13*c - 2 = -15*c. Is 5/17 less than or equal to c?
True
Let l be -1*((-3)/1)/1. Let r be -2 - (1 + l + -5). Let x be 0*r*1/(-2). Is -1 <= x?
True
Suppose -85 = 8*v - 509. Which is bigger: 49 or v?
v
Let r be -5*(4 - (-84)/(-20)). Let v be ((-12)/(-34))/2*1. Which is greater: r or v?
r
Suppose r - 15 = -r + w, r = 2*w + 9. Suppose 6*d - 17 = r. Which is smaller: 1 or d?
1
Let f = -734 + 629. Which is smaller: -109 or f?
-109
Let n = 11 - 10.995. Let w = -2.695 - n. Let t = w + 0.7. Which is smaller: -0.7 or t?
t
Suppose -7 = 2*u - u. Let d be 14/(-2)*18/(-21). Let k = u + d. Is k not equal to 1/3?
True
Suppose -3*b = -3*z - 78, 0*z - 3*z + 2*b = 81. Which is smaller: z or -24?
z
Let c = -384 - -386. Which is greater: 12 or c?
12
Suppose -4*f - 3*h + 3 = 0, h = -5*f - 4*h + 5. Let c(v) = 3*v**2 + 8*v + 14. Let z be c(-3). Let s = -17 + z. Is s at least f?
True
Let o(b) = 4*b**2 + 4*b - 3. Let p be o(-5). Let u = -461/6 + p. Which is greater: 0.1 or u?
u
Let g(u) = 13*u + 1. Let n be g(-1). Suppose -34 = -j - j. Let z = -28 + j. Is z smaller than n?
False
Let q = 10 - 6. Let c(v) = -4*v - 1. Let m be c(1). Let u = m + 3. Is q less than u?
False
Let k be 15/(-90) + (-61)/(-12). Let t = k - 25/6. Which is bigger: 0 or t?
t
Let n be (9/21 + 0)/(18/21). Let u(h) = h**2 + h - 1. Let i be u(-6). Which is smaller: i or n?
n
Let h = -6365 - -8975. Let i be h/50 + (-1)/5. Let f be 0 - (1 + i/(-40)). Is -2 greater than f?
False
Let i(n) = -4*n**2 + 10*n - 8. Let j be i(4). Suppose 0 = 4*k - 0*k - 80. Let b = j + k. Is b smaller than -12?
False
Suppose -r = -1 - 0. Suppose -6 = -2*g - 2*o, g - 17 = -3*g - 5*o. Let z be (g/5)/(33/(-15)). Which is smaller: r or z?
z
Let m = 959 - 958. Which is smaller: -154 or m?
-154
Let o = -37/2 + 19. Let w = 1860 + -1859.1. Is o >= w?
False
Suppose -7*s - 1318 = 103. Which is smaller: -201 or s?
s
Let q = 18 + -17.8. Let t = -74 + 67. Is q smaller than t?
False
Let w be (-47)/(-2)*((-24)/(-5) + -4). Which is greater: w or 20?
20
Let w = 0.1 + -0.2. Let f = -585 - -581.67. Let z = f + 3.5. Is z bigger than w?
True
Suppose 0 = r + 4*r - 500. Suppose 12*a = 7*a + r. Which is smaller: a or 19?
19
Let i = 242 + -49. Let c = i + -401/2. Which is bigger: -7 or c?
-7
Let q be (-2*34/4)/(-1). Suppose -2*f + 74 - 38 = 0. Which is bigger: q or f?
f
Let n = -21 + 9. Let v be 4/9*n/(-16). Which is greater: v or 1/2?
1/2
Suppose -9 = -4*c + 2*c + u, 4*u + 6 = -2*c. Suppose -c*g - 198 = -g. Let m be (-184)/g - (-4)/(-18). Is m at least as big as 3?
False
Let b = -7.4 + 6. Let v = 12 - 11.6. Let d = b + v. Is d != 0.5?
True
Suppose -2*b - 4 = 2*b, 2*s - 4*b = 8. Let h be -3 + s + -3 + 3. Which is greater: h or 2/61?
2/61
Let v be (-81)/(-30) - 1/(-2). Suppose x = 4*x - 9. Is v at least x?
True
Let r = -5.27 - 2.73. Which is smaller: -15 or r?
-15
Let s be -3*(3*-1 + (-289)/(-51)). Let w be (-2)/s*-2*2. Let j = 13 - 5. Which is smaller: w or j?
w
Suppose -k - 4*k = 0, 2*k - 20 = 2*u. Is 3/7 <= u?
False
Let w be -6*(-3)/(-6) - 1. Let v be 3/w - 91/28. Let a(m) = -4*m - 12. Let q be a(-2). Is q at most v?
True
Let m = -18 - -39. Let s = -12 + m. Suppose -5*y - s = -x, -5*y + 10*x - 5*x - 5 = 0. Which is smaller: -7 or y?
-7
Let x = 2/7527 - -3981775/30108. Is x at least as big as 133?
False
Let z(x) be the first derivative of -x**2/2 + 19*x + 9. Let w be z(10). Let t be 10/2 + (5 - w). Which is smaller: t or 1/4?
1/4
Let p(o) = -3*o - 7. Let v be p(-6). Let m = -1822 - -1830. Is v less than m?
False
Let f = -0.5 + 0.1. Let l = f + 0.5. Suppose -123 = 12*w - 3. Is l not equal to w?
True
Let r(p) = -p**3 + 4*p**2 - 4*p + 8. Let o be r(4). Which is smaller: o or -5?
o
Let f(o) = -o**3 - 16*o**2 + o + 19. Let x be f(-16). Suppose x*u - 2*c + 11 = -11, -4*c = -8. Let g = u + -2. Is g greater than or equal to -9?
True
Let t be -9 - -4 - (1 + 2). Let r be 315/(-18)*t/10. Suppose r*l = 17*l + 18. Which is smaller: -8 or l?
-8
Let b = -20 - -51. Let o = -52 + b. Is o greater than or equal to 1?
False
Let j be ((144/(-2889))/(-4))/4. Which is smaller: j or 0?
0
Let a be 252/(-44) + 0 + 4. Let y = a - 4/55. Which is smaller: y or -1?
y
Let g = 34259/52113 + -4/1797. Is 0 at most g?
True
Let g be ((-18)/(-4) + -4)*(5 + -3). Is g != -2/367?
True
Let i = -98 - -99. Which is bigger: i or 0.11?
i
Let y be -3 + 3 + 12/(-3) + 3. Let p = 16 + -17.4. Let v = p + 0.7. Is y >= v?
False
Let d(s) = -59*s - 1076. Let x be d(-17). Which is smaller: -506/7 or x?
x
Let f = -524 + 528. Let k be ((-6)/(-5))/((-2)/(-5)). Let j = k - -1. Is f at most as big as j?
True
Suppose -60*h = -21*h - 1443. Is 42 >= h?
True
Suppose 5*b + n = -20, 0 = 3*n - n. Is 5 equal to b?
False
Let k be 4/(-18) + (-2)/(-9). Let h be 3 + (-1)/(-1)*0. Let i = h - k. Is 4 less than i?
False
Suppose 4*w - 6 = w. Suppose -w*k = m - 8, 3*m + 3 - 15 = -3*k. Let x be (-2)/8*(-8)/(-14). Are x and m non-equal?
True
Let n(d) = d + 8. Let z be n(-4). Suppose 0 = -5*f + 16 + z. Suppose -v - 4*i = -11, v - f*i + 15 = 2. Which is smaller: -9/7 or v?
-9/7
Let b be 57/285 + 306/(-1130). Is 0 greater than b?
True
Let j(d) = -4 + 4*d - 6*d - 10. Let u be j(-7). Suppose u*h = -5*h - 5. Is 0 < h?
False
Let s(d) = d**3 + d**2 - 14*d - 9. Let j be s(-5). Which is greater: -40 or j?
j
Let b be -1 + (2 - 6/18). Let f = 39 - 37. Is b >= f?
False
Let d = -28.4 - -24. Let u = d + 26.4. Let b = u + -18. Which is bigger: b or 2/3?
b
Suppose 0 = -4*c - 3*k + 15, 2*k - 10 = 5*c - 0. Suppose -5 = -c*p - p. Let y(r) = -r**2 + 3*r + 4. Let m be y(3). Which is smaller: p or m?
m
Let b = -38.1 - -37. Let n = -1 - b. Is 0.1 greater than n?
False
Let p = -36122/2505 - -10/501. Is -2 at most as big as p?
False
Suppose -2*s + 4*l + 1 = -1, -12 = -5*s + 3*l. Suppose s = t - 5*w - 6, -t + 3*w + 3 = 0. Which is greater: -3 or t?
-3
Let v(u) = u - 1. Let m be v(7). Is 66/13 less than m?
True
Let g = 4.8 - 5. Let a = -56 - -279/5. Is a bigger than g?
False
Suppose -m - 8 = 6*v - 4*v, 2*v + 3*m = -12. Which is smaller: 108 or v?
v
Let m be (-10 - -1 - 5)/((-4)/10). Which is greater: 32 or m?
m
Let f = -7/3 - -43/21. Let o = 41 + -5. Let h be (o/15)/((-3)/2). Do f and h have the same value?
False
Suppose 3*v + 1145 - 19 = -5*q, -q - 230 = 3*v. Let g = 919/4 + q. Which is smaller: g or 5?
5
Suppose 6*c = 2*c. Let y = c - 9. Let j(a) = -a**2 - 9*a - 7. Let v be j(y). Which is smaller: v or -6?
v
Let w be (-6)/(-8) - ((-35)/(-10) + -4). Which is greater: w or 25?
25
Suppose 413 = 33*r + 17. Let j be (-2)/(-4) + (-33)/(-6). Is r less than j?
False
Suppose -2*c - t - 244 = -2*t, c = -3*t - 129. Is 1 at leas