rue
Let d be ((-4)/(-3))/(8/2652). Let m = d + -13703/31. Do m and 0 have the same value?
False
Let f be (0/(-2))/(-2 - -4). Suppose f = 3*k - 6*k. Let w(i) = i**3 - 8*i**2 + 6*i + 6. Let j be w(7). Which is greater: k or j?
k
Let q = 48.8 + -43. Let r = q + -0.8. Are r and -0.1 unequal?
True
Let i(r) = -r**2 - 6*r - 2. Let s be i(-6). Let h be 0 + (-1 - s) - 0. Let j be (h/4)/(6/4). Are 1 and j equal?
False
Let d = 57 + -57.54. Let v = 6.64 + d. Let k = v - 6. Is k >= 1?
False
Let y be (-2)/(-3 + (3 - -1)). Let p(r) = r**3 + 2*r**2 + 2*r + 3. Let w be p(y). Which is smaller: w or 3/7?
w
Suppose -2 - 7 = -3*w. Suppose -3*s + w*l = s + 4, 2*l + 8 = 0. Which is bigger: 0.3 or s?
0.3
Let t(x) = -x**3 - 14*x**2 + x + 14. Let u be t(-14). Let k = 1/44 - 93/220. Which is smaller: u or k?
k
Let q be (-1)/((-1)/2*2). Which is bigger: q or -1/6?
q
Let m = 12 - -8. Which is bigger: m or 18?
m
Let j = 43421603/186 - 233448. Let t = -2/93 - j. Which is smaller: -3 or t?
-3
Let c = 257 + 45. Let z = c - 898/3. Which is bigger: z or 4?
4
Let j = -0.3 + 0.2. Let n = 0.71 + -0.71. Which is bigger: n or j?
n
Suppose -3*z + 8 = -2*w, 0*z - 2*w = -4*z + 8. Is z less than 1/138?
True
Let u = -2107/107692 - -5/436. Is 1 less than u?
False
Let f be 30/162*(-12)/15. Which is bigger: -1 or f?
f
Let d = -1 - 2. Let k = d + 2. Is k less than -1?
False
Suppose 3*l - 5 = 4. Suppose 3 = -3*c + 3*f, c + 3*f + 5 - 24 = 0. Suppose c*b = 6*b - 4. Is l at least as big as b?
True
Let r be 3 - (78/15 - 3). Is r != 2?
True
Let k = -4.853 - 0.147. Which is smaller: k or 1/2?
k
Let m = -9 - -8. Is m greater than or equal to -2/7?
False
Let h be 4*(0/2 - -3). Let a = h + -8. Is 5 at most a?
False
Let x = -217/55 + 50/11. Suppose 0 = 4*v - 5*p - 5, -p = -v - 3*p - 2. Is v less than x?
True
Suppose 2*a = -a + 15. Suppose 0 = -3*r + a*r. Which is smaller: r or -1/3?
-1/3
Suppose 0 = 3*u - 4*u + 5. Suppose 5*z = m - 8, -10 = -4*z - u*m + 1. Let h be 1 + (-16)/10 + 1. Which is greater: z or h?
h
Let y(t) = -t**2 + 4*t + 0*t - 3 + 0 + 1. Let h be y(3). Suppose 0 = d - 1 - h. Which is greater: d or 0?
d
Let c(s) = -2*s**2 + 5*s + 4. Let a be c(4). Are -8 and a equal?
True
Let v = 0 - 1. Let c be -1 + (-2 + 2)/(-4). Is v bigger than c?
False
Suppose -2*f = -4*s - 0*f + 32, 4*f = 3*s - 34. Let m(c) = -c**2 + 5*c + 5. Let v be m(s). Let o be 32/12*v/(-4). Which is smaller: -0.2 or o?
-0.2
Let m = 10 + -16. Is m less than 1?
True
Let o = -1.03 + 0.03. Let q = o - -0.9. Is 0.03 bigger than q?
True
Let i = -0.2 + 0.2. Let q = 5 - 5. Is q smaller than i?
False
Let o = -93013/24 + 11834/3. Let l = o - 69. Are l and -1 nonequal?
True
Let l = -0.2 + 0.3. Let q = l + -0.2. Let v = 3.7 + -4. Are v and q non-equal?
True
Let q(g) = g - 14. Let a be q(15). Let h be 3 + (3 - (a + 6)). Which is greater: h or -3?
h
Let h(z) be the second derivative of -z**3/6 + 7*z**2/2 - 8*z. Let v be h(3). Is 2 at most v?
True
Let t = 9 + -7. Let g be (-3)/(30/(-22)) - t. Which is greater: g or 1?
1
Suppose -2*g - 2*g = 4*b + 52, -5*b - 15 = -5*g. Which is greater: b or -10?
b
Let g(u) = 4*u**2 - 2*u - 2. Let i be g(-1). Suppose 0*d = i*d. Does d = -0.04?
False
Let j = -116 + 113. Do 22 and j have the same value?
False
Suppose 2*o + 1 - 9 = 0. Suppose o = 4*z + 8. Let q = 3.94 + 0.06. Is q >= z?
True
Suppose 5*k - 4 = l, 2*l - 2*k - k = -8. Let n = 11 + -15. Is l at least as big as n?
True
Let u = -19.1 - 0.9. Let y = -11 - u. Which is greater: -2/5 or y?
y
Let s = 5.9 + -2.4. Is 1 at most s?
True
Let l = 5 + -6. Let j = l + 1.5. Let h = 0.4 - j. Which is bigger: 1/2 or h?
1/2
Let j = -0.3 - 0.7. Let s be (-28)/(-49)*21/60*-2. Is s at least j?
True
Let n(x) = x**3 + x**2 + x - 3. Let z be n(0). Let p = -1 - z. Suppose 0 = p*j - 2, 0 = f - 3*j + 1 + 1. Is f greater than 2/3?
True
Suppose -4*s - 4 = -4*z, 5*s + 4*z - 10 - 3 = 0. Suppose 4 = 4*a, -1 - s = v + 5*a. Let m be 4/(-8)*4/v. Which is bigger: -1 or m?
m
Let f = 66 + -78. Is f <= -23/2?
True
Let s = -1.11 - 0.09. Let v = s + 0.2. Let o = 1.3 + v. Which is greater: o or -1?
o
Let y = -46.6 - -47. Which is bigger: -3 or y?
y
Let n be (2 - (1 + -4)) + -3. Let w be (3 - -1)/(n/1). Which is smaller: w or 4/5?
4/5
Let u = 3/31 - 2/341. Which is smaller: -0.1 or u?
-0.1
Let i = -0.3 + 0.1. Let d be (6/(-18))/((-1)/(-6)). Which is smaller: d or i?
d
Let t be 0/(-1)*11/(-22). Let a be 346/(-3)*(-6)/10. Let c = a - 3776/55. Is t greater than c?
False
Suppose -2*s = 0, -5*o + 4*s - s + 5 = 0. Is 0 bigger than o?
False
Suppose r = -3 - 1. Let s(t) = t - 11. Let y be s(7). Are r and y nonequal?
False
Let g = 4 + -6. Suppose 4*h - h - 13 = 5*s, -4*h = -s + 11. Let n = h - -3. Is n <= g?
False
Let y = 3.08 + -0.08. Let t = 2.99 - y. Let q = t + -0.99. Is -1 less than q?
False
Suppose -5*d = 5, 0*k - 5*k + 3*d + 13 = 0. Suppose 0*j + j = 10. Let n be (k - j/6)*12. Is n at least 3?
True
Let g be (1/5 - (-7)/(-35))*1. Is g greater than or equal to -6/17?
True
Let s = 3 + -5. Let k be s/10 + 2/(-15). Which is greater: 0 or k?
0
Let p(c) = c + 6. Let o be p(5). Suppose 5 = o*f - 12*f. Which is greater: f or -4?
-4
Let x = 9 + -3. Suppose -x = -w - 5. Let a = -26 - -55/2. Which is bigger: w or a?
a
Let n be 201/126 + -2*6/8. Which is bigger: n or 0.1?
0.1
Let m(u) = -u**2 - 2*u + 7. Let j be m(0). Are 1 and j equal?
False
Let h = 6 + -5.92. Let j = h + -0.38. Let s = j - -0.4. Is 2/7 >= s?
True
Let c = -16603/678 - 4/339. Let d = 24 + c. Is d greater than 0?
False
Let h = -582/55 - -52/5. Which is bigger: h or -3/16?
h
Suppose -v + 51 - 54 = 0. Suppose 0 = -4*r + 10 - 2. Let f be v/6*12/r. Which is smaller: -2 or f?
f
Let n be (6/10)/(18/(-4)). Suppose 3*a - 5 = 4*i, 2*a + 4 = 4*a - 2*i. Suppose -1 = -3*o - m + 2*m, -5*o + 3*m = -a. Which is smaller: n or o?
n
Let z(g) = 2*g - 1. Let b be (0 + 1)/(1/(-1)). Let y be z(b). Is -3 at most as big as y?
True
Suppose r = -4*r + 15. Let h be -2 + (-15)/(-1) + -1. Let p = h + -8. Which is smaller: p or r?
r
Let f = 101 - 799/8. Which is greater: f or 1?
f
Let j = -32 + 51. Let l = 10 - j. Let i(h) = -h**3 - 10*h**2 - 9*h. Let p be i(l). Is p >= 2/3?
False
Let k be (-1 + 27)*(-3)/6. Let y(h) = 2*h - 9. Let f be y(-8). Let v be (-10)/f*(-5)/k. Which is smaller: v or 1?
v
Let u = -0.1 - -1.1. Let s = u - 1.1. Let h = -1.1 - s. Are -1 and h non-equal?
False
Let t be (-3)/9 + (-1)/6. Let v = -0.2 - -0.3. Which is bigger: v or t?
v
Let d be 350/8 - 2/(-8). Let b be 1 + (-8)/d - 1. Is 1 less than b?
False
Let j be (4 - 0)*(-5)/4. Let s = -11 - -10. Is j at least s?
False
Suppose -3*l + 5*k - 23 = 0, -6*k + 20 = -k. Is -1 less than l?
False
Suppose 4*u + 2*h = 18, -2*h = 2*u - u. Let y(t) = -t**3 + 7*t**2 - 6*t + 3. Let j be y(u). Let q(o) = -2*o + 8. Let x be q(2). Which is greater: x or j?
x
Let u = -1 - 5. Which is greater: u or -1?
-1
Let m = -3 + 3.05. Let j = m - 1.05. Let s = 0 - j. Is s less than -3?
False
Let r be (-2 - (-2 - 0))/1. Let m be -3 + r - (-10)/5. Suppose 2*l = 4*n + 16, -4*l + 0*l + 2*n = -2. Which is bigger: l or m?
m
Suppose 4 = k + k. Let t be (-1 + 2)*(1 - -1). Suppose -t*y - 2*y = 0. Is y at most as big as k?
True
Let j = -22.9 + 22. Let y = -1 - j. Let x = -1.3 - -0.3. Which is smaller: y or x?
x
Let p = -13 - -10. Let s(n) = -n - 5. Let b be s(-4). Let w = -3 - b. Are w and p unequal?
True
Let r = -98 + 99. Let t(i) = -i**2 - 6*i + 1. Let b be t(-6). Does b = r?
True
Let k = 17 - -1. Which is bigger: 19 or k?
19
Let h(t) = -2*t - 53. Let z be h(-27). Which is bigger: 4/39 or z?
z
Suppose 0 = -3*x + 4*o - 1, 0*x - 3*o - 3 = -x. Which is smaller: x or -18/11?
x
Let b = 3 + -1. Let s = -189/4 + 47. Which is smaller: s or b?
s
Suppose 0 = -d, -39 = 3*q - 0*d - 2*d. Let l be (1/2)/(1/(-28)). Are q and l non-equal?
True
Let m = 5 + -4.7. Let o = m + -0.2. Let c = o - 0.2. Is c less than -2?
False
Let c = 9 + -6. Let g be c/30*(-10)/4. Which is smaller: g or -3?
-3
Let n = 16.21 + -16. Which is smaller: -1 or n?
-1
Suppose -3*f = 2*f - 35. Let g = -6 + f. Which is bigger: g or -2/19?
g
Let d = -21/2 + 59/6. Is d <= 30?
True
Suppose 4*b = -4*f - 12, 5*b + 0*b - 1 = -f. Let s = 302/7 - 43. Let p = -19/35 + s. Are b and p equal?
False
Suppose 52 = 2*w - 6*w. Is -10 at least as big as w?
True
Let v = 9 + -6. Suppose -v*r + 4*g = -6