 15 + 45 = 0. Is l > t?
False
Let q = 0 + -0.6. Let h = 1.4 - q. Let d = h - 2. Is 1 >= d?
True
Let n = 103/585 - 1/45. Let c(o) = -3*o + 0*o - 1 + 0*o + 4*o. Let k be c(1). Which is smaller: n or k?
k
Let p = 4/99 + -191/2277. Which is greater: p or -1?
p
Let k = -0.1 + 0. Let q = 9.716 - -0.084. Let t = q + -10. Is t less than or equal to k?
True
Suppose 0 = -3*h + 6*h - 3. Let s = h - 1. Suppose 3*d + 5 - 2 = 0. Which is greater: d or s?
s
Let h = -4.02 + 0.02. Let l = -0.2 + 4. Let t = l + h. Which is bigger: t or 2/9?
2/9
Let g(z) = z + 2. Let u be g(-2). Let c be (-14)/(-49) - (-19)/(-42). Is c at most u?
True
Suppose w = -4*r - w - 188, 0 = 5*r + 3*w + 236. Let a be 2 + r/42 - 1. Is a > 2/3?
False
Let d = 0.3 + -0.1. Let q be (-38)/20 - 5/(-5). Let v = -7/30 - q. Which is bigger: v or d?
v
Let p = -22 - 6. Let w be 0 - (p/(-10) + -3). Is -2/3 not equal to w?
True
Suppose t + 4*t = 0. Suppose t = 2*l - 6*l - 4. Suppose 8*k = 3*k. Which is smaller: l or k?
l
Let o be -3*1 - (1 + -5). Is -1/25 >= o?
False
Suppose 0 = 3*o - o. Let n = 66/65 + -8/13. Which is bigger: o or n?
n
Suppose 2*h + 6 = 4*h. Suppose 0 = 2*x + x + f - h, -x = -4*f - 1. Which is smaller: x or 2?
x
Let v be (-1*(-3)/(-12))/(2/(-108)). Are 13 and v nonequal?
True
Let z = -44 + 37. Which is greater: -8 or z?
z
Suppose 0 = -4*z + 63 - 27. Let n be 1 + 1/((-15)/z). Which is smaller: 0 or n?
0
Suppose -7*z + 12 = -4*z. Suppose z*t = -3 + 11. Is t less than or equal to 4?
True
Let i be 4/(-6) - (-414)/702. Let z(t) = -t**2 - 6*t + 8. Let a be z(-7). Are a and i nonequal?
True
Let i = -35 + 451/13. Let o = 18 + -18. Does o = i?
False
Let g(x) be the third derivative of x**6/120 + x**5/10 + x**4/24 + 5*x**3/6 + 2*x**2. Let v be (-6 - (0 + 0)) + 0. Let o be g(v). Which is smaller: 1/10 or o?
o
Let t(r) = -r**3 + 4*r**2 + 5*r - 2. Let i be t(5). Let d be ((-10)/4 - i)*2. Let f = 11/2 + -6. Which is greater: f or d?
f
Let q be (-6)/(-4) + 0 + -1. Let x = -3 - -4. Is x at least q?
True
Let f = -6 - -14. Let i = -12 + f. Is 2 at most as big as i?
False
Let s = 14 - 14.7. Let w = s - -1.2. Let g = w - 0.4. Is 1 less than g?
False
Let u = -17 - -19. Which is smaller: u or 3?
u
Suppose -2*f = 4 + 4. Are f and 0 nonequal?
True
Let x be (5/(-10))/(1/(-4)). Suppose -4*i - x*j + 14 = 0, i - 2*j = 3 + 3. Suppose -i*c = -3*c. Which is smaller: -3 or c?
-3
Let a be 218/408 - (64/(-34) - -2). Is a <= 1?
True
Let l(r) = -r**3 + r**2 + r + 1. Let z be l(-1). Let j be -2*(-2)/(-4)*5. Let x be ((-1)/(-10))/((-2)/j). Is x > z?
False
Suppose 1 = -2*v - 13. Is -6 greater than v?
True
Suppose 0*r = -2*r. Suppose 4 + 0 = 4*j, -i - 2*j = -7. Suppose i*a = -r - 5. Which is smaller: a or 1?
a
Suppose -2*j + 0*j = 2. Is j at most -14/9?
False
Let c = 128 + -68. Suppose -n + c = 3*n - 3*u, 4*n = 5*u + 68. Which is smaller: 13 or n?
n
Suppose -6*w - 15 = -w + 4*o, 3*w + 3*o + 12 = 0. Let k be (2 + (-7)/3)*3/(-2). Which is smaller: w or k?
k
Let h = -5 - -2. Is -17/4 != h?
True
Suppose 2*t = -4 + 40. Let n be t/(-4)*(-8)/(-3). Is n at most as big as -12?
True
Let q be (4/6)/(4/30). Suppose 4*z - 2*v = 3*z + 4, z = -q*v - 10. Which is smaller: 1/11 or z?
z
Let h(o) = -o**3 + 5*o**2 + 5*o + 8. Let w be (9/(-2))/((-6)/8). Let v be h(w). Let f be 4/v - 1/1. Is 0 > f?
False
Let z be 8/20 - (-36)/10. Suppose 4*v + 4 = 4*x - 0, 0 = 3*x - z*v - 6. Let t(a) = a - 13. Let q be t(11). Does q = x?
True
Let p = -588 + 574.93. Let c = 13 + p. Let m = 0.07 + c. Is 0.1 less than m?
False
Let o = 8.3 + -0.3. Is 11 at least o?
True
Let v be 3/12 + (-82822)/(-1480). Let h = 44/37 + v. Let n = h - 57. Which is smaller: n or 1?
n
Let u = -16.4 - -0.4. Let p = u - -17. Is p bigger than 3?
False
Suppose -t = -4*t - 3. Which is bigger: 6/13 or t?
6/13
Let g be ((-1)/2)/(3/(-21)). Is 4 less than g?
False
Let q = -477/2 - -1313/6. Let w be 8/(-12) + (-58)/3. Let i = q - w. Is i greater than 0?
True
Let x = 4 - 11. Let j = -7.2 - x. Is j at least as big as -1/4?
True
Suppose 5*y - u = 18, 2*u + 3*u = -5*y. Which is bigger: y or 5/2?
y
Let c = 307/5 + -61. Which is bigger: c or 1?
1
Suppose 5*z - 5*h = -3*h - 5, -5*z + h - 5 = 0. Is -9/16 >= z?
True
Let v be 2/(-1)*210/(-20). Is 21 bigger than v?
False
Let i(v) = -v**3 - 18*v**2 - 18*v - 17. Let x be i(-17). Is x at least as big as 3/71?
False
Let x = -1 - -3. Let v be 2 + 2 - x*-1. Are v and 5 non-equal?
True
Let p be (-3 - 4) + 4 + 6. Let j be -2 + (2 - 33/(-15)). Is p greater than or equal to j?
True
Let b(l) = -l**2 - 7*l + 9. Let m be b(-8). Suppose 0*i - 3 = -3*i. Is m < i?
False
Let j be (3 + 8/(-4))/(-7). Do 1 and j have the same value?
False
Let w = -3 - 1. Is w not equal to -0.1?
True
Let g = -16 - -29. Is 15 less than g?
False
Let h = -18 + 21. Is h < 3?
False
Let a = 5 - 2. Suppose -a*y - 2 = 4. Suppose 3 = -b - 4*s, 4*b = 2*s + 2*s - 12. Which is bigger: y or b?
y
Let t be (8/(-2))/(4 - 3). Let u = t + 4. Is u >= 3?
False
Let w = -15 + 26. Is 12 at least as big as w?
True
Let u be (-2)/4 - (-5)/40. Let a(l) = -2*l**3 - 5*l + 7 + 0*l**2 - l**2 - 6*l**2 + l**3. Let z be a(-6). Which is bigger: z or u?
z
Let r = 17/5 - 16/5. Let z = 21 - 20. Which is bigger: r or z?
z
Let k = 557592/185 - 3014. Which is smaller: k or -1?
-1
Let l(u) = -u + 7. Let o be l(5). Let f be 0/((6/3)/o). Let n = 1/10 - -3/10. Which is bigger: f or n?
n
Let b = 0 - -2. Let q be -16*b*344/80. Let p = q - -138. Is 0.3 > p?
False
Let x = 7 + -5. Let d = x + -4. Which is smaller: -5/3 or d?
d
Suppose -n + 3*n = -3*l - 6, -n - l - 3 = 0. Which is bigger: -18/7 or n?
-18/7
Let m be (-1)/((-2)/(-6)*3). Let c be (6/(-9) + 1)*0. Which is bigger: c or m?
c
Let h = -52/255 + 8/17. Is 1 greater than or equal to h?
True
Suppose 4*i = y - 22, y = -0*i + 5*i + 27. Are i and 0.1 nonequal?
True
Let t be ((-27)/6)/(6/(-8)). Is t bigger than -0.05?
True
Suppose -3*y = -4*y + 84. Suppose 2*s + f - 20 = -3*f, 4*s = 3*f + y. Let k be (-8)/18 + (-4)/s. Is k less than -2?
False
Let v(q) = -q**3 + 7*q**2 - 5*q - 6. Let j be v(6). Let n be (1/(-3))/((-2)/6). Let h = j - n. Which is bigger: 0 or h?
0
Let c = -15.1 + 15. Does c = 6?
False
Let s = 0.7 + 0.3. Let u = -1 - s. Let v = u - -4. Is v less than or equal to -2/7?
False
Let b be (-146)/(-12) + 11/(-66). Are b and -1 equal?
False
Let o be (-4)/(-6) - (-4)/(-6). Which is greater: -6/19 or o?
o
Let t = -6 + 12. Let y = -6.3 + 12.4. Let s = t - y. Is s at most 1?
True
Let q = -4 + 6. Let u = -2 - q. Are -2 and u non-equal?
True
Let o(i) be the second derivative of -i**4/12 + 2*i**3/3 - i**2/2 - i. Let k be o(4). Let a be 2 - (0 - -2) - k. Which is greater: -1/3 or a?
a
Let u = 12 - 10. Let d be (10 + 2)*(u - 3). Which is smaller: d or -11?
d
Let g be 56/72 + (-4)/(-18). Let n be (-3)/(g/(6/(-9))). Suppose -j + 5*j = 8. Is n > j?
False
Suppose 0 = 2*k + 3*h - 48 - 18, 0 = 5*k + 5*h - 170. Let m be k/45*2/4. Is m >= -7?
True
Suppose 3 - 55 = -4*z. Suppose -2*w + v - z = 0, 2*w + v + 4*v = 5. Let o = w - -3. Which is smaller: o or -3?
-3
Let u = 10828/7 + -1544. Which is bigger: 4 or u?
4
Let g = 31 - 35. Which is smaller: g or -2?
g
Let b = 40 - 4. Let c = -36.19 + b. Let a = c - -0.09. Is a at most -2/5?
False
Let a(n) = n**3 + 14*n**2 - 14*n + 16. Let g be a(-15). Which is smaller: 8/9 or g?
8/9
Suppose 9 = m + 5*i - 4, 2*m - 21 = -5*i. Is m smaller than 7?
False
Let j = -13 + 13.1. Is -1/3 greater than or equal to j?
False
Let j be ((-36)/135)/(6/20). Which is greater: -1 or j?
j
Let o be 32/(-14) - 4/(-2). Let d = -30 + 29. Is o > d?
True
Let o(g) = g**2 - 2. Let w be o(0). Let l be (0 - -6) + 0 - w. Let t be ((-1)/2)/(2/l). Which is smaller: -3/4 or t?
t
Suppose -9 = -5*d + 26. Suppose 3*g = -2*w + 4, -d*g - 28 = -3*g - 4*w. Is g at least as big as -3?
True
Let f be -4*(10/4 + -1). Let j(d) = -d**3 + d. Let a be j(2). Does a = f?
True
Let a = -8 + 5. Let u = -2.9 - a. Which is bigger: -0.5 or u?
u
Let f = -0.2 + 0.3. Let h be (-24)/(-15) - (-2)/5. Suppose w - 2*w - 4*c = -h, c = 2*w + 5. Which is bigger: w or f?
f
Let n be (-30)/(-105) - (-9)/(-7). Is n greater than -3/14?
False
Let u = -9 + 8. Let a be -3*u*6/(-9). Are a and -1 equal?
False
Let l be (-12)/9*1/(-2). Let t(x) = x + 5. Let d be 17/(-4) + 1/4. Let a be t(d). Is a bigger than l?
True
Suppose -6*w = -2*w + 1