ue
Let y = 74/15 + -1229/240. Let k = -1/16 + y. Which is smaller: 0 or k?
k
Let v = -0.4 - -0.3. Let o be 2/11 + (-53)/110. Let h = o - 1/10. Is v less than or equal to h?
False
Suppose -2*y = -0*y + 6. Let l be (-12)/16*(-8)/(-2). Is y < l?
False
Suppose 4 - 6 = -c. Suppose c*s = -3*s + 10. Suppose 1 + s = 3*o. Is 1 greater than or equal to o?
True
Let c(t) = 2*t**3 + 2*t**2 + 2*t + 1. Let b be c(-1). Does 0.4 = b?
False
Let o be 256/(-180) - (-4)/(-30). Which is bigger: o or -3?
o
Let y(j) = -j**3 - 12*j**2 + 33*j + 21. Let p be y(-14). Is -47 > p?
True
Suppose -11*o = -8*o + 30. Which is bigger: 2 or o?
2
Let n = 11 - 8. Let l = 4 - n. Is l <= -1/4?
False
Let m be 0*(-3)/9 + -1. Let l be ((-3)/9)/1*m. Let q = -3 + 2. Are q and l nonequal?
True
Let h(m) = m**2 - m + 2. Let b be h(0). Suppose 0 = -c + 24 - 8. Suppose c = -2*n - b*n. Is -3 greater than n?
True
Let m(k) = -k**3 - 3*k**2 + 6*k + 5. Let g be m(-4). Let a = 3 + g. Suppose 0 + 4 = 4*x. Which is smaller: x or a?
a
Let b = -113 + 901/8. Which is smaller: 0 or b?
b
Let r be 0 + (-3)/(-1) - 3. Suppose -g + 15 = -3*f, -5*g + g + 5*f + 39 = r. Is g greater than 6?
False
Let i(a) = a. Suppose 0 = -4*d - 0*d. Let l be i(d). Which is smaller: l or 1/11?
l
Let i be (-32)/(-120) + (-4)/(-10). Suppose -65 - 15 = 4*r. Let j = r - -98/5. Are i and j nonequal?
True
Suppose 3*z + 2*o + 2 + 4 = 0, 5*o = -5*z - 15. Let n = -2/209 - 617/1045. Which is smaller: z or n?
n
Let m = 22/59 + -247/1770. Is m >= -1?
True
Suppose 4*x + x - 10 = 0. Suppose 4*h + 2*t + 200 = 0, 0*h + x*h = -2*t - 96. Let d = h + 674/13. Is d < 0?
True
Suppose -12*l - 45 = -7*l. Let b(f) = -f - 3. Let u be b(7). Is l equal to u?
False
Let h(p) = -p**2 + p + 3. Let i be h(0). Let j be (5 - i)/(39/(-3)). Let w be ((-2)/(-4))/(1/(-2)). Is j at least w?
True
Let o be ((-40)/(-60))/(2 + 537/(-270)). Which is bigger: 58 or o?
o
Let l(m) = 4*m - 13. Let k be l(3). Is -3/8 smaller than k?
False
Let q(f) = f**2 - 1. Let c(o) = -7*o**2 + o + 2. Let h(d) = c(d) + 6*q(d). Let l be h(-3). Is -15 bigger than l?
True
Let w = 316/427 + 42/61. Is w bigger than -0.1?
True
Suppose 5*m + 1 = -4. Let g be (-7)/4*(-20)/70. Let w = 5/18 - g. Which is smaller: w or m?
m
Let a = -4162/333 - -112/9. Which is greater: 1 or a?
1
Let k be -3 + (0 - 9/(-3)). Does k = 2/5?
False
Let g = -2.48 - 0.52. Is g at least -4?
True
Let x = 1389 + -482. Let d = x - 17215/19. Let r = d - 109/95. Do r and -0.2 have the same value?
True
Let f be (0 - 2*-1) + 3. Let v(o) = o**3 - 5*o**2 + 2*o - 6. Let y be v(f). Suppose y*c - 4*u = 4, -c + 2*u + 1 = 5*u. Does c = 0?
False
Let g(i) be the third derivative of -i**4/24 - i**2. Let u be g(0). Which is bigger: u or 2?
2
Let j be (3 - (1 - -3))/(-2 + 1). Let t = 125 - 1374/11. Is t > j?
False
Let i be 4/2 - (-3 - 74/(-8)). Are i and -4 unequal?
True
Let b = 0.07 - 0.01. Suppose -180 - 236 = -4*o + 4*v, -499 = -5*o - 2*v. Let p = -709/7 + o. Is b > p?
True
Let h = -22 - -22. Let x be 1/(-6)*2/3. Do x and h have the same value?
False
Let z = -3.974 + 48.304. Let i = z + -46.3. Let b = i + -0.03. Is b not equal to 2/7?
True
Suppose -2*l - 2*l = 0. Suppose 0 = 2*f + 3*v + 14 - 5, l = 5*f + 3*v + 18. Let q be (-1)/1 - 0/f. Which is bigger: q or 0?
0
Suppose -2*x - 1 = h, 2*h - x + 3*x - 2 = 0. Let j(z) = -13*z**2 + 8 - 5*z + 1 + 0*z**3 - 6*z - z**h. Let f be j(-12). Is f >= -3?
True
Let u(g) = -g + 4. Let q = 3 - 3. Suppose 2*w = -4*b + 6, 2*b = 3*w - q*b - 25. Let o be u(w). Does -2 = o?
False
Let t be (-13)/11 - (2 + -3). Let f = 5/33 - t. Is f not equal to 0?
True
Let g be -2 - ((-621)/123 + 3). Are 0 and g non-equal?
True
Suppose 0 = 4*c + 12, -2*a + c - 1 = -2. Which is smaller: a or -6/13?
a
Let b = 586 + -1777/3. Do -5 and b have different values?
True
Let s be 2/14 - 45/70. Is s bigger than -2?
True
Let z be -1 - (2 - (0 - -5)). Let s be -2 - (-6 - -1*z). Suppose o = -4*q, 1 = s*q - o + 7. Is q greater than -1?
False
Let n = 45 + -133/3. Is n < 40?
True
Suppose 0 = -11*z - 10 - 1. Suppose 0 = 2*w - 0 - 6. Which is greater: w or z?
w
Let p = 0.5 + -0.3. Let o(f) = -2*f**2 - 7*f + 2. Let t be o(-4). Which is smaller: p or t?
t
Suppose -h = h - 2. Is h smaller than -2/11?
False
Let g(q) = q + 3. Let i be g(0). Suppose -b + 3*l + 39 = 0, 3*b - 63 = l + 30. Let r be (-1 - (-26)/b)*i. Which is smaller: r or 0.1?
r
Let v be (-7)/(-1) - (13 + -16). Do 7 and v have the same value?
False
Let p be ((-27)/36)/(9/(-8)). Which is smaller: p or 10/9?
p
Let f = -0.009 + -5.991. Let s = 110.9 - 117. Let d = f - s. Do 2 and d have the same value?
False
Let j = -63 + 67.1. Let i = j + -4. Let k = 0 + -0.2. Which is bigger: i or k?
i
Let n(h) = h - 8. Let p be n(8). Let b = 0.3 - -0.7. Let z = 0.7 - b. Which is smaller: z or p?
z
Let t = 27 - 26. Let f be (10/(-40))/(t/(-4)). Which is bigger: f or 6/17?
f
Let j = -1195/21 + 57. Which is bigger: j or -1?
j
Let k = 2 + 37. Suppose 4*m + 1 + k = 0. Are m and -10 unequal?
False
Let c = -12 - -21. Let d = -9 + c. Is d less than or equal to -2/13?
False
Let m(d) = d + 6. Let u be m(-7). Which is bigger: u or 1/23?
1/23
Suppose 0 = w + 2*w. Suppose w*m = 5*m + 5. Let q be (-22)/24 - (-2)/8. Is q less than m?
False
Suppose -5*c - 3*x + 10 = 0, 3*c - x = 5*c - 4. Let i be c/5 + 88/(-20). Which is smaller: i or 1/3?
i
Let k = -7.8 + 7.9. Let o = -6496 + 298797/46. Let l = 2/23 - o. Which is bigger: l or k?
l
Suppose -3*z = 2*z. Is z <= -1?
False
Let g be ((-1)/3)/((-14)/(-24)). Suppose s - 2*s = 1. Let n be (-6 - -5)*(0 - s). Which is smaller: g or n?
n
Suppose -11*a + 34 = 6*a. Which is greater: 7/9 or a?
a
Suppose -h - 10 = 4*l, 0 = -3*l - 2*h + 5*h. Suppose -3 - 3 = 3*s. Let u = s + 1. Which is bigger: l or u?
u
Let m(u) = -3*u - 1. Let y be m(-5). Let c be (-1 - -1)/(y/(-7)). Is 0 less than or equal to c?
True
Let f be 5 - ((-12)/2 - -4). Is f not equal to 2?
True
Suppose -2*f - f = 0. Let a = f + 1. Suppose -a = 4*z + 3. Which is smaller: 0 or z?
z
Let s = -8 - -208. Let u be s/(-16)*(-1 - 1). Suppose 2*w = -4*r - 4, 10 = 5*r + u. Which is smaller: w or 3?
3
Suppose -5*l + 4*x + 26 = 0, 2*l - x = 5*l - 2. Let t be (-18)/(-35) - 2/(-7). Which is bigger: t or l?
l
Let r = -2328/7 + 332. Let h(f) = -f + 3. Let d be h(5). Which is smaller: d or r?
d
Let a be (5 + 10)*2/6. Which is smaller: 0 or a?
0
Suppose 3*q = -15 - 0. Which is smaller: q or -11/2?
-11/2
Let y = -0.661 + 0.061. Is 1 >= y?
True
Let t be (3/15)/(4/(-30)). Is t less than -2?
False
Let x = -2573/66 + -17/33. Which is bigger: x or -41?
x
Let g = -0.3 - -2.3. Which is greater: g or -0.5?
g
Let w(g) = 2*g**2 + 1. Let r be w(-1). Suppose 5*l - 13 = -r. Let p be ((-2)/6)/(5/10). Is l less than or equal to p?
False
Suppose 4*i - i = 0. Suppose i = -2*g - 2*g + 124. Let u = 157/5 - g. Are u and -0.1 equal?
False
Let c = -1.036 + 0.036. Which is smaller: c or 0.3?
c
Let i = 0 - 1. Suppose 3*a = -0*a - 3. Let j be (a - 1)/((-7)/i). Is j less than or equal to -2/7?
True
Let j = 166/3 + -56. Are 0.07 and j nonequal?
True
Let l = -243/2 + 122. Which is bigger: 9 or l?
9
Let x(k) = k**2 - 7*k + 11. Let j be x(3). Which is smaller: j or 6/23?
j
Suppose 4*b - 112 + 16 = 0. Suppose -2*s + b = 2*s. Let g = 9 - 4. Which is greater: g or s?
s
Let i(j) = j + 18. Let x be i(-14). Let v = 5 + -3. Let l be (3/v)/(2/x). Which is greater: l or -0.1?
l
Let t be (-2)/(-1) - (4 - 4). Let y = 4 - 2. Is y at most t?
True
Suppose -3*k - 20 = 5*l, -3*k - 23 + 5 = 3*l. Let w be 0 - ((3 - -141) + 2). Let n = 1604/11 + w. Which is bigger: l or n?
n
Let g(l) = -l**3 + 5*l**2 + 5. Let u be g(5). Let i be u/(-2)*8/(-5). Let v(d) = d**2 - 6*d + 6. Let y be v(i). Do -2 and y have different values?
False
Suppose t + 14 = 4. Which is smaller: -29/3 or t?
t
Let m(x) = -3*x**2 + 0*x**3 + 3 + 1 + x**3 - 4*x. Let a be m(4). Suppose 0 = -a*l - 6 - 2. Is -3/5 less than or equal to l?
False
Suppose -u + 1 = -2, 2*h - 5*u = -15. Let p be h + (0 + 3 - 1). Suppose -p*j = -j - 2. Do j and 2 have different values?
False
Let n = -197/8 + 489/8. Let d = -513/14 + n. Let a = d - -33/133. Does -1 = a?
False
Let a be (4/(-8))/((-13)/(-4)). Does a = 1?
False
Suppose -4*u + 5*v - 27 = 2*v, -2*v = -3*u - 20. Which is smaller: -7 or u?
-7
Let u(g) = g**3 + 2 - 6 + 4*g**2 + 0 + 0 - 6*g. Let y be