. Are h and -1/3 unequal?
True
Let v be ((-4)/5)/(18/45). Which is smaller: v or -4?
-4
Let q(m) = 3*m - 8. Let v be q(0). Which is smaller: v or -2?
v
Let j(b) = -12*b**2 + b - 1. Let l be j(1). Let h be (-16)/(-18) + 8/l. Is h at least -1?
True
Let v = 59.2 + -59. Let u be 7/4 + 2/(-1). Which is bigger: u or v?
v
Let d = 92 + -91.9. Which is smaller: d or 1/44?
1/44
Let r = 3 - 2.9. Let s = r + -0.3. Let k = -8/133 + -242/399. Is s at least as big as k?
True
Let x = -17 + 17.2. Which is smaller: x or -0.7?
-0.7
Let t(k) = k**2 - 5*k + 2. Let m(z) = 2*z**2 - 10*z + 4. Let g(h) = -3*m(h) + 7*t(h). Let r be g(5). Is 3 at most r?
False
Let t = -22 + 20. Which is smaller: t or -8/5?
t
Let h = -30 + 27. Which is smaller: -2 or h?
h
Suppose -5*t = s - 19, 0 = -2*t + 3*s + 15 - 4. Let j = 12 + -18. Let p be j/9 + 68/12. Which is smaller: t or p?
t
Suppose -6*i - i = -i. Let s be 12/(-10)*1/(-2). Is s greater than i?
True
Suppose -5*n + 77 = -3. Is 18 less than or equal to n?
False
Let z = 9 + -21. Is -12 less than or equal to z?
True
Let r be (406/(-24))/(-7)*8. Let a = r + -19. Let f = 3 + -3.2. Is f at least a?
False
Let x = -96 - -95. Which is smaller: x or -0.1?
x
Suppose -4*l - 19 = 3*m, 2*m + 18 = l - 5*l. Let v = -192 - -957/5. Is v > m?
True
Let u = 0.191 + -0.011. Are u and -2/9 non-equal?
True
Let d = 34 + -33. Which is greater: 5/3 or d?
5/3
Let d be (-11235177)/(-1374516) - 4/(-22). Let a = 453/52 - d. Let z = 2/89 - a. Which is greater: 3 or z?
3
Let l be 6/(-30) + (-1)/(-5). Suppose l = 3*o - 8*o. Is 1/3 > o?
True
Let y(v) = v**2 + 8*v - 1. Let s = -23 - -15. Let g be y(s). Which is smaller: g or 7?
g
Let c be 1 + 1 + 12/(-5). Let m be (1/(-10))/((-33)/132). Which is smaller: c or m?
c
Let q be 2/8 + 15/4. Suppose -q*v = -1 - 3. Let s be (-1)/3 + 255/225. Which is smaller: v or s?
s
Let i(m) = m**3 + 2*m**2 - 3*m - 3. Let z = -2 - -6. Suppose 0*c = z*c + 12. Let b be i(c). Is -3 greater than or equal to b?
True
Suppose m = 3 + 1. Suppose 5*z = 8 + 17. Do z and m have the same value?
False
Let h be 3/(-12) - 334/40. Let l = -61/10 - h. Which is smaller: l or 2?
2
Let n = -3643/15 - -243. Suppose 31*l - 2 = 33*l. Which is greater: n or l?
n
Let l be (-2)/(-5)*-2 + 2. Let j be -3 - 8/((-40)/15). Which is smaller: j or l?
j
Let h(n) = -75*n + 2. Let s be h(1). Which is smaller: -72 or s?
s
Let r be ((-9)/4 + 2)/(16/80). Is r greater than -2?
True
Let z be (1/12)/(9/(-12)). Let x = -10 - -9. Are x and z equal?
False
Let q(t) = -t - 1. Let r = 1 + 1. Let y be q(r). Which is smaller: y or 0?
y
Let t = -65 - 37. Which is smaller: 1 or t?
t
Let w = -0.8 - 1.2. Is 2 equal to w?
False
Suppose 4*c = -28 - 20. Let u be (16/c)/((-1)/3). Suppose -r = -5*r + u. Which is bigger: 2 or r?
2
Let o be 4/18 - (-520)/(-1935). Is 0 < o?
False
Let s = 0.9 - 0.81. Let m = -0.21 - s. Let o = 0.7 - m. Are -1 and o equal?
False
Suppose 4*h + 1 - 9 = 0. Let j be h - (-2)/(-2) - -2. Let n = 35/12 - 1/4. Which is smaller: n or j?
n
Let v = 4 + -4. Which is bigger: 1 or v?
1
Let u = -13/66 + -3/22. Let v = -1/21 - u. Is v at least 2?
False
Let x = -21 + 21. Which is smaller: 4/11 or x?
x
Let r(q) = -11*q. Let k be r(1). Suppose -18 = -3*i + 3*f, -5*f + 9 = i - 3*f. Let w = k + i. Is w <= 0.1?
True
Let f(b) = b**2 - 5*b + 6. Let y be f(2). Is y > 2?
False
Let o = -1 - 0. Let w(z) = -z + 2. Let j be w(2). Let a = j + 0. Which is smaller: a or o?
o
Suppose 4*u - 6*u = 188. Which is greater: -93 or u?
-93
Let c = 0.17 - 0.27. Which is smaller: c or -26?
-26
Let i(n) = -n + 5. Let h be i(-4). Suppose 0 = -4*p + h*p - 10. Suppose -r - p*r = 0. Is -1/7 >= r?
False
Suppose -9*o = -5*o - 4. Suppose 4 = 2*f + 2*f + j, 0 = -5*f - j + 6. Are f and o unequal?
True
Let o = 12 + -11.6. Do -0.1 and o have the same value?
False
Suppose 8 - 13 = -5*g. Suppose 0 = -s + 4*s - 15. Let b be (4/s)/((-4)/(-10)). Which is greater: b or g?
b
Let o be ((-1)/1)/(2/(-10)). Suppose -2 = o*g + 8. Is -1 at least g?
True
Let j(u) = -u**3 - 5*u**2 - 2*u + 7. Let n be j(-4). Which is greater: 1 or n?
1
Let b = -37/2 + 18. Suppose -12 = -7*a + 4*a. Let s = a + -1. Which is bigger: b or s?
s
Let v be (7/3 - 1)*9. Let b = v + -17. Let u be 188/(-44) + 6/22. Which is smaller: u or b?
b
Suppose 0*s + 12 = -2*s. Let p be -2*(3/s + 0). Is p at most as big as 3/7?
False
Let w be 3 + (-2)/((-16)/(-12))*2. Is 3/17 bigger than w?
True
Let q(g) = 2*g + 28. Let n be q(-14). Which is smaller: n or -1/3?
-1/3
Let f = 1.2 - 1. Let j = 4.9 - 5. Let i = 0.9 - j. Are i and f non-equal?
True
Let k be (5/(-15))/((-6)/(-4) + -2). Is k <= 11?
True
Let v be (-3)/5 + (-148)/20. Which is bigger: -5 or v?
-5
Let y be 121/(-99) - (-4)/18. Do -12/5 and y have the same value?
False
Let m be ((-8)/(-30))/(6/10). Let r = 99 - 100. Which is smaller: r or m?
r
Let k be -35*(264/135 - 2). Which is smaller: k or 2?
k
Let x be -4 + -7 + -2 + 6. Which is bigger: -10 or x?
x
Let r = 35 + -36. Is -2 not equal to r?
True
Suppose -4*l + 34 = 2*q - 46, -2*l = -3*q + 128. Is 43 less than q?
False
Let g(v) be the first derivative of v**3 + 1/4*v**4 + v**2 - 1 - v. Let p be g(-2). Is p at least -2/3?
False
Let l be (-59)/268 - 3/(-12). Let d(v) = v - 3. Let m be d(3). Is l < m?
False
Let z be -1*(9/3 + -2). Which is smaller: -1/3 or z?
z
Let i = -38/9 + 181/45. Let t be ((-2)/2 - 0) + 3. Suppose -t*u = u. Which is smaller: u or i?
i
Suppose -92*l = -93*l. Which is smaller: 2/49 or l?
l
Let j be 10/11*(-146)/4. Let n(b) = -b**3 - 8*b**2 + 2*b - 17. Let l be n(-8). Let t = j - l. Is t <= -1?
False
Let o be (-1049)/3696 + 6/21. Let n = 191/528 + o. Which is bigger: -1 or n?
n
Let x = 12 + -10. Let s = 2 + x. Are s and 4 equal?
True
Suppose 2*h = -3*q - 10, 4*h + 4*q - 2*q + 12 = 0. Let d be h/(-18)*(-12)/6. Is 1 less than d?
False
Suppose 2*z - 5*x = 15, 5 + 0 = x. Let m = z + -61/3. Let q be 2/8 - (-15)/20. Which is bigger: m or q?
q
Suppose 0 = 4*o - 3*j + 8, o - 8 = -3*j + 5. Suppose 4*s = 2*z + o - 9, -4*s + 8 = 2*z. Let k be -1*(-2 - (-18)/8). Is k < s?
True
Let n = 0 + -6. Let l = 5 + n. Which is smaller: l or -0.05?
l
Let k be 78/8 - (-3)/(-4). Let r = -6 + k. Suppose 0 = r*p - p + 4, p - 2 = 4*s. Is s greater than 0?
False
Let j(f) = 6*f + 1. Let z be j(-1). Let o(x) = -5*x**2 - 4*x + 3. Let p be o(1). Which is smaller: p or z?
p
Let y be 4/3 - 4/(-6). Let a(w) = -w**y + w**2 + w**2. Let h be a(1). Is h at most as big as 1?
True
Let z(q) = 7*q**2 - q. Let m be z(1). Let d = -19/3 + m. Suppose -5*i + 6*i = 0. Do d and i have different values?
True
Suppose 0 = -5*a + 2*i + 117, -4*a + 5*i = a - 105. Let l = -15 + a. Suppose -3*g + l = -8*g. Which is smaller: -3 or g?
-3
Let t = 0 + 0.1. Let h = -13 - -21. Let a = -7 + h. Which is smaller: t or a?
t
Let o be 1 + 2*(-2)/(-2). Let c = 20 + -9. Suppose -4*s = -1 - c. Is o greater than s?
False
Let b = 353 - 683/2. Which is greater: b or 13?
13
Let u = 0.3 + -1. Let c = u - -0.5. Let j = 1.2 + c. Which is greater: 0.2 or j?
j
Let l(v) = v**2 - 6*v - 6. Let j be l(7). Let x = 627 + -4397/7. Let q = -25/28 - x. Is q at most j?
True
Let i be (-2 + 6/2)*0. Suppose -2*d - 7 + 1 = i. Is -7 <= d?
True
Suppose -z = 4*z + 3*u + 11, 2*u = 2*z - 2. Let i be 2/(-2) + (-7)/(-9). Which is smaller: z or i?
z
Let w be -1 - 0/(-3) - (-4)/4. Is 2/7 greater than or equal to w?
True
Let u = -72 + 67. Does -4 = u?
False
Suppose -j - 2 = 4*r, 5*r - 11 = j - 0*r. Let v be (-56)/10 - 2/5. Is v at least as big as j?
True
Let o(d) = 8*d + 3. Let s be o(0). Does s = -3?
False
Let j = -0.11 + 0.05. Is j < 2/13?
True
Let p be -4*((-1)/(-2) - 1). Is p at least 2?
True
Let z = 7 - 6. Suppose 7 = 2*a - z. Is 4 equal to a?
True
Let x = 1 + 8. Let m be (x/6)/(10/(-4)). Which is bigger: -2/7 or m?
-2/7
Let b(v) = v**3 + 8*v**2 + 6*v - 2. Let q be b(-7). Let k = q + -1. Is 4 != k?
False
Let m = 15 + -9. Let s = m + -5. Do 1 and s have different values?
False
Suppose 14*h = h - 26. Do h and -11/18 have the same value?
False
Let l = 306/11 + -4176/143. Which is bigger: 0 or l?
0
Let r = 12 + -3. Let u = -4 + r. Which is greater: u or 4?
u
Let v be 1 + (20/(-28) - 0). Is -1.6 at least v?
False
Let c(y) = -y**2 - 8*y - 7. Let j be c(-5). Is j not equal to 7?
True
Let w = 123 + -118. Is w > 39/10?
True
Let c(o) = -o**3 + 11*o**2 - 9*o