r?
True
Suppose -9 = -3*v, 5*a - 113 = 7*a - 5*v. Are -49 and a nonequal?
False
Let c = -3 - -3.1. Does c = -3.2?
False
Let c = 159/100 - -1/100. Suppose 3*o = 3*a, -a + 6 = a. Are c and o nonequal?
True
Let g(t) = 6*t - 53. Let a be g(9). Which is bigger: 1/131 or a?
a
Let s = -7 + 6. Let c(h) = -h**2 + 5*h - 3. Let b be c(3). Suppose 15 = -4*j - 0*j + b*p, -5*j - 16 = -p. Is j equal to s?
False
Suppose 3*g + 0*g = -9. Let d be 1/(-1*g/(-12)). Let u = d - -3. Is u at least as big as -2?
True
Let p = 170308 + 418263. Let s = p + -199525111/339. Let v = s - 2/113. Which is bigger: 0 or v?
v
Let v = -8.1 + 8.1. Which is smaller: 1 or v?
v
Suppose 4*y + n = -3, y + 2*n + n - 13 = 0. Let v be (5 - -1)/(3/y). Let m = v + 4. Is 0 <= m?
True
Let t be 0*1*(-2)/4. Is t less than or equal to -2?
False
Let p = 149/3 - 50. Is p bigger than -2/3?
True
Let u = 264832/5 - 2926307/55. Let a = u + 239. Let q be -2 - (-1 + (-5 - -3)). Which is greater: a or q?
q
Let t = 6 + -18. Let i be (-4)/18 - t/(-189). Are -1 and i equal?
False
Let j = 0.3 - 1.3. Let l = j + 1.2. Let y = 0 - 0.1. Which is greater: y or l?
l
Let s be 3 - 2 - (1 - 0). Is s > 0.2?
False
Let n be 36/8 - 2/(-4). Suppose 2 + 3 = -n*q. Is q greater than 1?
False
Let z(t) = t**3 - 4*t**2 - 4*t - 7. Let o be z(5). Let w be 6*-2*7/14. Let s(f) = -f**3 - 6*f**2 - 2. Let k be s(w). Is o not equal to k?
False
Let u = -9 - -12. Suppose -9*c + 4*c + 3*v = u, c = 5*v - 5. Is c < 0?
False
Let d be ((-1)/13)/((-3)/6). Let c = 4 + -1. Let k = c - 2. Is k >= d?
True
Suppose 5*y - y = -8. Let s be 4/18 + (-2)/9. Let n = s + -1. Do y and n have different values?
True
Let t = 0.3 + 6.7. Let d = -11 + t. Suppose o = -0*o. Is o greater than or equal to d?
True
Let y(z) = z**2 + 7*z + 6. Let n be y(-6). Suppose -3*f = 5*v - 8, f = -n*f + v. Suppose 4*q = 2*b - 6, 3*q = q - b - f. Is 1 at least q?
True
Let p = -3 - -1. Let d be (4/6*6)/p. Is -2 < d?
False
Let q be (21/(-27))/((-4)/6). Which is smaller: q or 2?
q
Let i = 4 + 2. Suppose 2*z - i*z - 3*l = 31, -47 = 5*z + l. Is z bigger than -10?
False
Let i = 33 + -67/2. Let v(m) = -m**3 - 4*m**2 + 2. Let s be v(-4). Suppose -13 = -0*d + s*d + 3*w, -5*d + 15 = -2*w. Is i greater than or equal to d?
False
Let h = 0.43 - -2.87. Let z = -0.3 + h. Let y = 3.1 - z. Which is greater: 2 or y?
2
Let o(t) = 3*t + 10. Let p be o(-7). Let y = p + 13. Which is smaller: 3 or y?
y
Suppose 0 = 4*w - 16, -5*w + 15 + 13 = 2*q. Let g be (q/5)/(6/15). Is g greater than -2?
True
Let q = 10440495 + -30266995477/2899. Let v = q + 2/223. Suppose 0*u + 4 = -4*u. Which is smaller: u or v?
u
Let c = -4 - -8. Let m = c + 1. Is m less than 3?
False
Let f = 1.7 + -2.7. Is 0.06 equal to f?
False
Let f(w) = -w**3 - 10*w**2 - 11*w - 5. Let d be f(-8). Is d greater than -45?
False
Let v(g) = -g**3 + 5*g**2 - 3*g. Let l be v(4). Is 5 at least l?
True
Let c = -197/3 + 65. Suppose 12 = -4*n + n. Let r be (-2)/n + 0/(-2). Which is smaller: r or c?
c
Suppose -3*u + 7*u + 80 = -4*y, -5*u - 116 = -3*y. Which is bigger: u or -21?
-21
Let p(r) = -r + 4. Let g be p(-6). Let h = g + -6. Let u(w) = -w - 5. Let s be u(-8). Which is greater: h or s?
h
Let p be 3 - 3/(36/(-1893)). Let y = -162 + p. Which is bigger: 0 or y?
0
Let g = 2/9 - -5/18. Let d(u) = u**3 - 6*u**2 + 6*u - 5. Suppose 5*l + 30 = 2*x, 2*x - 8 = -l - 2. Let a be d(x). Which is smaller: g or a?
a
Let o be ((-2)/(-10))/(48/(-30)). Which is bigger: -1 or o?
o
Let v be (3/4)/((-2)/8). Let l(j) = -j**2 - 4*j + 1. Let b be l(-5). Let u = b - v. Is u smaller than -1?
False
Let f = 12.1 + -12. Let q be 3/9 - 2/(-3). Let v = q - 6. Is f bigger than v?
True
Let t = 143.93 + -148. Let h = t + 0.07. Is h greater than 1/3?
False
Suppose -86 = -2*v - 84. Let s be ((-1)/(-5))/(4/(-10)). Which is smaller: v or s?
s
Suppose 5*l = -0*l + 10. Suppose -4*c - l*w = -12, 2*w = c + 6 + 1. Let k be 2*(-14)/20 - -1. Is k at most c?
True
Let i(h) = h**3 + h**2 - 2. Let p be i(2). Let u be p/45 - (1 - 1). Do u and 0 have different values?
True
Let q = -34516/1785 + 2/595. Which is smaller: q or -19?
q
Let o(k) = k**3 - 7*k**2 + 17*k - 4. Let j be o(5). Is 31 != j?
False
Let b = 22 + -8. Let h be (1/3)/(b/(-21)). Does h = 1/2?
False
Suppose -2*x = 4*o + 78, -2*x + 4*o = -3*x - 41. Let b = x + 25. Which is bigger: -11 or b?
-11
Suppose 3*z + 49 = v, 55 = -5*z - 5*v - 40. Let s = z + 12. Let b(k) = k + 6. Let f be b(s). Is 1 >= f?
True
Let r = 0 + 1. Let g = -2.7 + 2.4. Which is smaller: g or r?
g
Suppose -3*z + 0 - 9 = 0, -z = u. Suppose -3*k + 4*k + u = 0. Let w(s) = s - 7. Let q be w(6). Which is smaller: k or q?
k
Let z = 0.9 + 0.1. Let q = -3.5 - -3.4. Is q >= z?
False
Let t = -101 - -101. Are -7/6 and t unequal?
True
Let d = 52 + -311/6. Let l = 1 + 0. Suppose -3*n = -2*n + l. Which is smaller: d or n?
n
Suppose -3*t - 1 = 11. Let m = t - -6. Suppose 2*b = f + 7, m*b - 3*f - 19 = -3*b. Is b greater than 2?
False
Let s(d) = d**3 - 8*d**2 + 2*d - 10. Let j be s(8). Suppose -3*o + j*o = -3. Is -1 < o?
False
Let o(d) = d**2 + 2*d - 1. Let w be o(-3). Let z be 0 - (-2 + w - 2). Let p be z*1/(-5)*5. Which is greater: p or -1?
-1
Let l be 1*(-1)/(-3)*0. Suppose -10 = c + 4*w + 3, l = -4*w - 12. Do c and 3/7 have the same value?
False
Let k = 16/9 - 109/36. Is -1/4 greater than k?
True
Let h be (-3)/3 + 0/(-1). Suppose 0 = 2*d + d + 6. Which is smaller: d or h?
d
Let q(v) = v**2 + v + 5. Let x be q(0). Let a = x + -23. Let m be (-3 - -6)/(a/4). Is -2 bigger than m?
False
Suppose h = -2*p + 16, -p + 3 = -3*h + 6*h. Which is smaller: p or 10?
p
Let k = -4 + 6. Suppose 0 = a + k*a + 9. Let o(z) = -z**3 - 2*z**2 + 4*z + 2. Let q be o(a). Is q at most as big as -5/3?
False
Let r(q) = -2*q + 1. Let m be r(1). Suppose -6*b - 3 = -3*b. Is m at most b?
True
Suppose -y + 2 = -0. Let i be y*4/(32/(-6)). Suppose v + 4 = -3*v. Which is bigger: v or i?
v
Suppose -3*x = 2*x - 20. Suppose 0 = -m + x*m. Which is smaller: -1/10 or m?
-1/10
Suppose 2*z - 9*m - 229 = -8*m, 0 = 4*z - 5*m - 473. Which is smaller: 0.1 or z?
0.1
Let x = 34 - 23. Is x != -1?
True
Suppose -u - y - 6 = y, -5*u - 2*y = 22. Let w = -2/33 + -86/33. Which is greater: w or u?
w
Let i = -0.068 + 24.068. Is i at most as big as 1?
False
Suppose 2*q - 6 = -q. Suppose -q*i - 3 = i. Let x be (3 - 8/10) + -2. Is x less than or equal to i?
False
Let p(m) = -m**3 - 16*m**2 + 15*m - 11. Let g be p(-17). Which is greater: g or 25?
25
Suppose 5*o + 0 = 55. Suppose -3*c + o = 8. Is c equal to 1?
True
Let b be ((-26)/(-30))/((-1)/3). Which is greater: b or -2?
-2
Let m(u) = u**2 - u - 2. Let a be m(2). Suppose a = 2*x + 2 - 6. Let d = -3 + x. Which is smaller: d or -2/5?
d
Let p = 17 + -15. Is 16/7 > p?
True
Let d be (55/(-20))/((-1)/(-8)). Is -22 smaller than d?
False
Suppose -3*i - 3*a = 2*a + 17, 0 = -5*i - a - 21. Let j be 18/(-4)*i/6. Suppose -2*g + 2*r + 3 - 1 = 0, 0 = 4*g + 3*r - 11. Is g at most as big as j?
True
Suppose -5*r = -5*m + 50, r - 3*m = 2*r - 6. Let q be r/(-8) + 13/4. Is 4 less than or equal to q?
True
Let g = -77/102 - -3/34. Let k(i) = -i**3 + 4*i**2 + 5*i - 1. Let f be k(5). Do g and f have different values?
True
Suppose 2*r - 11 = 1. Let x = 5 - r. Are x and -2 non-equal?
True
Let j = -17/60 - 1/20. Let y = 416/9 - 46. Which is smaller: j or y?
j
Suppose 0 = -3*v - 2*w - 1, 3*w = -4*v + v. Let k be (6/(-15))/((-7)/(-5)). Which is bigger: k or v?
k
Let r be (-2)/(-5) - (-1)/(-2). Let b(q) = q + 3. Let t be (-8)/(-28) - (-23)/(-7). Let g be b(t). Is g < r?
False
Suppose -5*r + 14 = -76. Is r at most 19?
True
Let m = 27.3 + -25.3. Let n = 2 - 2.1. Are n and m unequal?
True
Let f be 390/33 - (-10)/55. Suppose 4*h + 22 + 34 = 3*b, 2*h + 34 = 2*b. Suppose -q - 2*q - f = 3*t, -4*q + 3*t = -b. Which is smaller: -1 or q?
-1
Let c = -0.7 - -3.7. Let z = 3.1 - c. Let a = z + -0.1. Which is bigger: -3 or a?
a
Suppose 0 = -r + 3*o + 11, -r + 2*o + 10 = r. Suppose r*k - 5*k - 78 = 0. Let z be k/56 - (-4)/(-14). Which is smaller: -1 or z?
-1
Let w = 1.94 + 0.06. Let d = w - 3. Let m = d + 1. Which is greater: 1/2 or m?
1/2
Let t = 2 - 4. Suppose 0 = i - 1 - 1. Let r(k) = -k**3 + k**2 + 1. Let z be r(i). Is t less than z?
False
Let j be ((-6)/(-9))/(7/(-3)). Let x = -15 - -18. Let w = 0 + x. Is w at least as big as j?
True
Let