 - 15, -3*k = -5*i - o. Let r be (-2)/(-4)*10/i. Are 1 and r non-equal?
True
Let n be ((-18)/(-15))/((-6)/(-15)). Let o(z) = z - 1. Let p be o(n). Which is greater: p or 0?
p
Let h be 12/15*(4 + 1). Suppose 0 = -0*z + h*z + 8. Which is smaller: -3/2 or z?
z
Let r be 18*1*8/24. Let c be (-16)/r - (-1)/(-3). Are -3 and c equal?
True
Suppose w + 4 = -9. Which is greater: 2 or w?
2
Suppose 5*u - 18 = -4*c - 99, -4*c - 13 = u. Let n = 12 + u. Do n and -5 have different values?
False
Let r(l) = l - 4. Let o be r(6). Let p = -105/2 - -54. Is p < o?
True
Suppose -5*f + 5 = -0. Let p(s) = -2*s - 4. Let q be p(-3). Suppose a - 5*c + 14 = 3*a, q*c - 8 = -2*a. Which is bigger: a or f?
a
Let k = -407/14 - -29. Is k <= -1?
False
Let m = 61 + -76. Is -17 >= m?
False
Let q be (-1 + -5)*8/(-280). Do q and -1 have different values?
True
Suppose 4*z - j = 3*z + 8, -3*j + 12 = 0. Suppose 2*f - 8 = 5*p, -z = 2*f + 4*p - 2. Is -3/2 smaller than f?
True
Let v(c) = -c**3 + 6*c**2 - 6*c + 7. Let s be v(5). Let q = 0 - s. Let n be 116/(-36) + q/(-9). Which is bigger: n or -4?
n
Suppose -2*q - q - 2 = -4*u, 4*u = 2*q. Which is greater: -8 or u?
u
Suppose 7*g = 2*g - 2*t + 20, 2*t - 2 = 4*g. Let s = 2 + g. Let q = s - 3. Do 1/5 and q have the same value?
False
Let j(r) = -16*r**2 - 4*r**3 + 16*r**2 + r. Let i be j(-1). Which is bigger: i or 1?
i
Suppose -2*z = 5*u + 7, 3*z + z - 4*u = 0. Let s be (z + 10/6)/(-8). Suppose 4*x = -l + 5, -4*x - x + 3*l - 15 = 0. Is x greater than s?
True
Let f be 4/8 + 6/4. Let c be (0 - -1 - 0)*f. Suppose 0 = c*u - 4, 4*n + 5 = -3*u + 11. Which is smaller: n or -2/7?
-2/7
Let p(h) = h**2 - h - 5. Let d be p(6). Suppose 0 = -5*k + 5*c + d, 4*c + 1 + 1 = -2*k. Let l be (5 - 5) + (3 - 1). Is l greater than k?
False
Suppose 0 = -5*c - 3*k - 1705, c + 348 = -0*c - 2*k. Let u = 3715/11 + c. Which is bigger: u or 0?
0
Let j be 4*3/(-18)*3. Let o be (j/(-5))/(2/5). Which is smaller: 2/3 or o?
2/3
Let r = 4.59 + -4.8. Which is bigger: r or 1?
1
Let c = -3 + 3. Let o = c - -0.2. Let k = o + -0.1. Which is smaller: k or 0?
0
Suppose 4*n - n = 0. Let b = 0 - n. Let j be 2 + 2 + (-68)/18. Do b and j have the same value?
False
Let h(u) = u - 7. Let i be (-3)/1 - -1 - -8. Let b be h(i). Let q = 215 - 1071/5. Are q and b equal?
False
Let r be (14/(-5))/(8/(-20)). Let f = 6 - r. Is f >= 0?
False
Suppose -3*s = -50 + 59. Which is smaller: s or -30/13?
s
Let j be (-561)/567 - (0 + -1). Which is bigger: 0 or j?
j
Suppose 0*a = 3*a - 18. Let g be -21*(-4)/36*6/2. Is a >= g?
False
Let c(a) be the second derivative of a**3/2 + a**2/2 - 3*a. Let u be c(1). Which is bigger: u or 3?
u
Suppose 2 = s - 1. Suppose -4*d + 13 = -s*d. Let v = d - 9. Which is smaller: v or 5?
v
Let m = -1469/8 + 184. Let r = -0.4 + 0.3. Is m smaller than r?
False
Let m be ((-766)/(-21))/(752/(-6)). Let q = m + 1/188. Is q at least as big as 0.1?
False
Let o(k) = -k - 3. Let u be o(-7). Suppose 3*y + u = -8. Let d = 0 - 3. Which is smaller: d or y?
y
Let h(g) = g**2 + 5*g + 5. Let i(o) = 0 - o**2 + 0*o + 6 - 2 + 2*o. Let a be i(4). Let f be h(a). Which is smaller: f or -2/19?
-2/19
Let v = -93 + 88. Which is smaller: v or -1?
v
Let g = 27 + -23. Let c be (0 - (g - 5))/1. Which is bigger: 1/8 or c?
c
Let v = -3 - -2.6. Let z = -275/1359 - 3/151. Which is greater: v or z?
z
Let o = -1 + 5. Let w = -2 + o. Do w and 2 have the same value?
True
Let o(f) = 3*f**2 + f + 2. Let t be o(-1). Suppose 0*w - w + 2 = 0. Let n = w + 0. Are n and t equal?
False
Suppose 0 = 6*o - 2*o - 12. Is o bigger than -2?
True
Let s = 2 + 0. Which is smaller: s or 3?
s
Let n = 4 - 6. Let m = -1 - n. Let x = -3 + 3.1. Which is bigger: x or m?
m
Let u be (44/18)/(52/6). Let g be (-226)/(-156) + 15/(-10). Let i = g - u. Which is smaller: -1 or i?
-1
Let h be (-6)/(-4) + -1*1. Let s(u) = 16*u - 1. Let v be s(4). Let b be (6/8)/(v/24). Is b greater than h?
False
Suppose -5*b + 13 = 8. Which is smaller: b or -0.21?
-0.21
Suppose 16 = 5*j - 9, -3*d - 3*j = -24. Let k be (-2)/(-12)*(d - 5). Which is smaller: -1 or k?
-1
Let m = -18 - 1. Is m equal to -18?
False
Suppose -6*b = -5*b. Is b > 2/13?
False
Suppose 4*y = -7 + 3, -3*b + 11 = 4*y. Suppose 1 + b = -2*k. Let h(r) = -r + 2. Let g be h(4). Which is greater: k or g?
g
Let u = 4 + -3. Which is smaller: 2/23 or u?
2/23
Let y(t) = 11*t**2 + t + 1. Let r be y(2). Let z = -164860/9 + 18365. Let g = r - z. Which is smaller: 0 or g?
g
Let g = 0.9 + 0.6. Let m = 3.3 - g. Let t = m + -2. Which is smaller: t or 0?
t
Suppose 3*q - 2*g + 25 = 2*g, -4*q + 8 = 5*g. Let u be 6/21 - 10/(-14). Let x = u - q. Is x greater than 3?
True
Let j(r) = r**3 - 9*r**2 + 9*r + 7. Let z be j(8). Let i = 252/17 - z. Is 0 != i?
True
Suppose 0 = g + 5*d + 47, -g - 2*d + 0*d = 35. Is -29 greater than g?
False
Let y(f) = f**2 - f + 3. Let u be y(0). Suppose 0*h + u*h - 12 = 0. Suppose -2*v - 4 = -h*v. Is v greater than or equal to 2?
True
Let c be (-7)/((-21)/30)*-2. Let s be 8/c*(-3)/6. Is s at most as big as 2?
True
Let r be 2*(-1)/(-10)*-1. Suppose 5*o = 4*o. Which is greater: r or o?
o
Suppose -4*c - 7 + 43 = -4*a, a + 5 = 5*c. Is a less than or equal to -9?
True
Let f = -47 - -26. Let w be (-8)/(-28) - 297/(-14). Let q = w + f. Is 2/5 equal to q?
False
Let w(m) = -m**2 + 8*m - 1. Let q be w(8). Is q > 2/57?
False
Suppose 0 = 6*n - n - 4*w - 37, 5*w + 25 = 2*n. Let c be (-4)/2 - (-4 + n). Which is bigger: c or -4?
c
Suppose -n = n + 10. Let d be (3 - 1) + 338/n. Let r = -66 - d. Is r >= 0?
False
Let x = 1/243 + -511/6075. Which is smaller: x or -1?
-1
Let s be 33*10/15 + 4. Is 27 less than or equal to s?
False
Let z = -53 + 53. Let s = 1.98 + -2. Which is smaller: z or s?
s
Let w(q) = 3*q + 2. Let z be w(3). Suppose 2 = a, -5*x - z = 2*a + 65. Let f be (-1)/2 + (-12)/x. Is 2 bigger than f?
True
Let p = -18 + 26. Let o = 8 - p. Let f = o + 2. Which is greater: f or 2/3?
f
Let d = 2 + -3. Let k = 0.86 - -0.14. Which is greater: d or k?
k
Suppose 0*x + 5*x = -7950. Let o = x + 195572/123. Let v = 232/861 + o. Is 2/5 < v?
False
Let p = -11 + 9. Let f(m) = m**3 + 6*m**2 + 5*m + 3. Let q be f(-5). Suppose q*x - x = -4. Is p equal to x?
True
Suppose -4*h = -v - 4, -3*v - 4 = -v - 4*h. Suppose 0*o - 3*o = v. Does o = 1?
False
Let m(g) = g**2 - 3*g - 7. Let a be m(5). Suppose a*o + 6 + 11 = t, t - 12 = 2*o. Which is greater: t or 1?
t
Let v = 0.66 - 0.16. Let k = v + -0.5. Is k != -0.04?
True
Let p be (-1)/(-5) - 21/5. Let z be (15/p)/3 - -2. Let y = -1/2 + z. Is -1 equal to y?
False
Let b = -40365/133 - -4716/19. Let c(r) = -18*r + 1. Let i be c(-3). Let n = b + i. Which is smaller: n or 1?
n
Let y(b) = 2 + 2 - b - 4 + 1. Let q be y(7). Which is smaller: 0.1 or q?
q
Let k be (302/15)/(1/3). Let b = 60 - k. Suppose -3*y - 4*y + 2*y = 0. Which is smaller: y or b?
b
Let k be (-3922)/(-40) + 2/(-8). Let a = k + -97. Let i be (-1*2)/(-1 - 0). Which is greater: i or a?
i
Let i be -12 + 8 + (-21)/12. Which is bigger: -7 or i?
i
Let m = -1.1 + 6.1. Which is greater: 0.02 or m?
m
Suppose 5*h - b + 220 = 0, 0 = -5*h - 8*b + 5*b - 240. Which is greater: -47 or h?
h
Let s = -0.3 + 0.2. Let k = -28 - -33. Let m = k + -5. Is s greater than m?
False
Let d = 738 - 5174/7. Let z be ((-4)/(3 - 1))/2. Which is greater: z or d?
z
Suppose 0 = -13*h - 181 + 12. Is h at most as big as -13?
True
Let j = 37 - 35. Is -0.04 smaller than j?
True
Let d be 14/6 + -1 + 3/(-1). Which is bigger: d or 2?
2
Let d(x) = 3*x - 3 - 6 - x. Let m be d(6). Suppose u = -w + m, -5*w + 0*u + 17 = 3*u. Are w and 5 equal?
False
Suppose l - 4*s + 48 = 5*l, 0 = -4*l + 3*s + 76. Suppose 2*w - l = 5*t, -w = 3*w + t - 54. Is w greater than or equal to 14?
False
Let g = 0.06 - 6.06. Let a = -5.8 - g. Are 1/3 and a non-equal?
True
Let t be 5/5 + (2 - -3). Let p(r) = r - 6. Let z be p(t). Suppose 9*f - 25 = 4*f. Which is smaller: f or z?
z
Suppose 3*r - 9 + 0 = 0. Suppose r*o + 7 = -14. Is -8 less than or equal to o?
True
Let b be -4*(-1)/(-11)*756/112. Which is smaller: -3 or b?
-3
Let x be -1 + 1347/(-447) + 4. Is x at most -1?
False
Let x be (-2 + -1)*(-16)/12. Suppose 3*a + 5 = -4*v + 16, -4*a - 32 = -x*v. Let c = 1 - 5. Is c > a?
False
Let j = 71 + -70.7. Which is greater: j or -8/9?
j
Let m(n) = n - 5. Let w be m(5). Let u be (-3)/(-117)*(-5 + -1). Whic