6*s + 3*r = -7, -2*s - 7 = -3*r. Which is greater: a or s?
a
Let t = 169/3 + -57. Suppose 4*h - 13 = 2*s + 1, -h = -2*s + 4. Let r = -7 + h. Is r less than t?
True
Suppose 4*c = c - 3. Let r be c - (-3)/3*-1. Let d = 4/7 - 43/14. Which is smaller: d or r?
d
Let v = -15 + 16. Which is smaller: 1/5 or v?
1/5
Let v = 4 - 8. Suppose -4*k + 36 = -5*q, -9 = -k - 5*q + 2*q. Let z(y) = y - 13. Let d be z(k). Is d equal to v?
True
Let o = 5 + 3. Is 7 greater than o?
False
Suppose 5*i - 3*t - 54 = 47, -3*t = 4*i - 97. Which is smaller: i or -1/2?
-1/2
Let b(m) = -2*m - 6. Let g be b(-4). Let i be 9/(-2)*8/(-12). Which is smaller: g or i?
g
Let w(k) = -2*k**2 + 2*k + 10. Let o be w(-3). Is o greater than or equal to -15?
True
Let k be (16/12)/(4/6). Let f = -2/129 - -530/903. Which is greater: k or f?
k
Let h = 17 - 17.9. Let b = -0.91 - h. Do 0.1 and b have different values?
True
Let r = -1.6 + 1.54. Which is smaller: r or -0.2?
-0.2
Let l(k) = 3*k**2 + 2*k - 8. Let p be l(2). Which is greater: 4 or p?
p
Let x(g) = g**3 - 7*g**2 + 7*g - 8. Let q be x(6). Is q not equal to 2?
True
Suppose 10 = 4*f + 3*m, 2*f + 4 = -2*f + 4*m. Let b be 21/4 + f/(-4). Suppose -4 = y - 0, b*j = -3*y - 12. Is -0.1 greater than j?
False
Suppose 5*o + 0 + 5 = 0. Which is greater: o or -3/11?
-3/11
Let t(j) = -j**2 - 7*j - 2. Let x be t(-6). Let l be 4 + -2 + (x - 7). Which is smaller: l or -2/5?
l
Let f = 123 - 863/7. Is f at least as big as -0.58?
True
Let i be -62*(-3)/12*(-4)/(-5). Do i and 2 have different values?
True
Let z be 40/570*9/2. Which is greater: -1 or z?
z
Let c = -12 + 15. Which is greater: -0.4 or c?
c
Let o = 8 - 5. Suppose -5*f + 41 - 16 = 0. Suppose o*t - q = -12, 0*t - 4*q - 3 = f*t. Do -3 and t have the same value?
True
Let q be (-1)/(-2) + (-6)/8. Let y be (3 - 0)/((-17)/2). Let c = y + 29/34. Which is smaller: q or c?
q
Suppose 0 = -0*a + 4*a - 16. Suppose 5*d + 5*i + 20 = 0, a*d = 2*d - 5*i - 11. Is d less than or equal to -4?
False
Let m(z) = -2*z - 13. Let b be m(-6). Do -0.2 and b have different values?
True
Let f(x) = x**2 + x - 3. Let a be f(0). Is a not equal to -5?
True
Let j(q) = 4*q - 14. Suppose 4*k - 33 = -3*r, -18 = -4*k - r + 3*r. Let o be j(k). Is o greater than or equal to 9?
True
Let j = 0 + 1. Let x = 3.6 + -2.3. Let q = 0.3 - x. Do j and q have the same value?
False
Suppose 5*k + 28 = 2*c - 0*c, 3*c - 2*k = 20. Suppose -7*j + c*j = 0. Which is greater: j or 2/9?
2/9
Suppose -s - 3*j = -3 + 4, 5*s - 23 = -j. Is 3 > s?
False
Let a = 68 + -74. Let h be (-1 + 2)*(0 - -22). Suppose -6*u = -u - d + h, 0 = u + 4*d + 17. Which is greater: u or a?
u
Let f = 22/7 - 95/28. Is f equal to -1?
False
Let a be ((-16)/10)/(3/15). Let b be 2*(-4)/a*-1. Are -1 and b equal?
True
Let n be 2 + (-1)/(1 + 0). Suppose 2*f = n + 3. Let j be f/(-6)*0 - 0. Does j = -1/4?
False
Let d = 0.3 + -0.2. Which is smaller: d or 0.05?
0.05
Let g = 0.25 - -0.85. Let y = -0.1 + g. Which is bigger: -6 or y?
y
Suppose 0 = 4*r - 5*l + 12, -r - l = 4*r - 14. Are r and 7 nonequal?
True
Suppose -l + 9 = 5*t - 1, 4*l = 4*t + 16. Suppose o - 6 = -l*k - 26, o - 2*k - 15 = 0. Suppose -d - 6 = -b, -4*d = o*b - b. Is b less than 3?
False
Let l = -15.7 - -17.7. Which is bigger: l or 0.15?
l
Let x = 3 - 3. Let p be 15/(-18) - 1 - 0. Let r = p + 4/3. Which is smaller: r or x?
r
Let s = 8557/31 - 276. Which is smaller: s or -1?
-1
Suppose 1098 = -20*d + 11*d. Which is smaller: d or -121?
d
Suppose -23 - 7 = 2*j + 2*v, 3*j = 5*v - 85. Is -21 < j?
True
Let j be ((-2 - -3) + 23)*(-17)/(-34). Which is smaller: j or 11?
11
Let n = 141 + -157. Which is smaller: 0.3 or n?
n
Let i = 0.6 - -1.4. Let f = -1.9 + i. Let u = f - 0.3. Is 2/5 smaller than u?
False
Let i = 0.94 - 0.9. Let t = 0.96 + i. Which is greater: t or -8?
t
Let d be (-5)/(-40) + (-1 - (0 - 1)). Let q = 12 + -8. Suppose r + 7 = 4*t - 1, 5*r = 2*t - q. Is r >= d?
False
Let w(b) = b**3 + 1. Let u be ((-4)/(-5))/((-22)/55). Let p be w(u). Which is bigger: p or -8?
p
Let l = 3/218 - 475/2834. Let c be 24/(-117)*(-10)/4. Let k = c - l. Is k < -0.2?
False
Let i = 42 - 43. Is 0.2 at least as big as i?
True
Suppose 4*b - 2 = 2*b. Let h = -7223/25 + 289. Is h smaller than b?
True
Suppose -1 = -2*t - f + 17, -2*t = 3*f - 10. Suppose 1 = -i + 2*d, 5*d - 2*d = 5*i - 16. Suppose i*r + 2*m + 2*m + t = 0, -2*r + 2*m + 10 = 0. Is r at least 1?
True
Let w be (24 - 15)/(6/14). Which is smaller: w or 22?
w
Suppose -5 = -4*h + 5*h. Which is smaller: h or -0.02?
h
Let f = 12/7 + -122/63. Let y = 3.1 + -1.1. Is f smaller than y?
True
Suppose 1 + 9 = 5*n. Suppose n*j - 2 = 2. Suppose 2*o = 4 + 2. Is o < j?
False
Let h(i) = -5*i**2 + 2 - 75*i + 76*i - 3. Let m be h(1). Which is smaller: -3 or m?
m
Let r be (-1)/(-3)*24/4. Let b be r - (3 + 3 + -3). Is -1 greater than or equal to b?
True
Suppose 4 = 2*l - 4*l. Let s be (-2)/l - 11/(-22). Is 2 < s?
False
Let g be 2 - (1 - (-4 + 2)). Let n be g*(-3 + 6 + -5). Let r be (n/8)/(2 - 4). Is -1 >= r?
False
Let r be -1*(-2)/(-4)*-2. Suppose -2*s + 20 = -4*q, s + 10 + 0 = -2*q. Which is smaller: s or r?
s
Suppose 3*t = k + 12, 2*t + 5*k = -3*t. Suppose 0*y + 6 = t*y. Which is bigger: y or 1?
y
Suppose 4*u - 4*c + 8 = 0, -2*c = -u + c - 4. Let m = u - -1. Let h = -110/273 + -1/39. Are m and h equal?
False
Suppose 0 = 3*c - 3*q + 24, 8 = -4*q - 0. Let d = c - -15. Suppose -7 = -d*v - 2. Is v >= -1?
True
Suppose -m - 3*b + 9 = 0, 2*b - 10 = -3*m - 4. Let p be 0/1 + 1 - m. Let n = 7/24 + -37/72. Which is smaller: n or p?
n
Let r(p) = -p**2 + 8*p + 9. Let f = -5 + 14. Let j be r(f). Which is smaller: -1/7 or j?
-1/7
Let k = 4 - 5. Let q be (-92)/(-33) + 1/(-3). Let j = q - 141/44. Which is bigger: j or k?
j
Let w = -2.1 - -1.88. Let i = w + 0.12. Are i and -3 equal?
False
Let z(x) = x**3 + 2*x**2 - 3*x + 1. Suppose -2*i = 2*l + 2*i + 14, 3*i = -l - 9. Let h be z(l). Which is smaller: 6/5 or h?
h
Let t = -1/4 + 3/4. Let m = -221.14 + 218. Let p = m + 0.14. Which is smaller: p or t?
p
Let n(b) = 2*b - 10. Let l be (-4)/(-6) + (-64)/(-12). Let d be n(l). Let h be 2/4*(-2)/(-1). Which is smaller: h or d?
h
Let s = 17 - 16. Are s and -1/23 unequal?
True
Let h = -57 + 54. Is -36/19 at least h?
True
Suppose 3*x - 20 = 2*g - 72, 5*x - 5*g = -80. Is x greater than or equal to -19?
False
Let b(t) = -t**2 + 4*t + 1. Let s be b(2). Is s greater than or equal to 6?
False
Let m = 5 - 5. Let v = -8 - -6. Which is smaller: m or v?
v
Let c be (-1)/5 + (-1)/(-5)*-129. Is -26 at least as big as c?
True
Let a be 12/9*5/30. Is a equal to 2/17?
False
Let w(g) = g**2 + 5*g + 4. Let k be w(-3). Let c = k - 0. Is c at most -1/4?
True
Let z be -108*(-9)/48 + 1/(-4). Do z and 21 have the same value?
False
Let x(q) = 0*q + 0*q + 3*q. Let u be x(2). Let k be u/9*1/(-2). Is -0.2 less than k?
False
Let w = 5.98 - 6. Let p = w - 0.98. Let y = 2 - 4. Is p bigger than y?
True
Let j(c) = -c**2 + 5*c + 2. Let r be j(0). Is r < -2?
False
Let t = -13.93 + 14. Let n = t - 0.07. Which is greater: n or -15/2?
n
Let y = 0.6 - 0.6. Let t = y + 0.02. Let i = -0.22 + t. Which is greater: i or 3?
3
Suppose 6*q + 25 = -71. Which is smaller: q or -14?
q
Let b = 5 + -8. Which is smaller: 0 or b?
b
Suppose 0*m - 2*m + 4 = 0. Is 2 bigger than m?
False
Let c = 42 + 29. Which is smaller: c or 72?
c
Let q be -2 + (0 - 24/(-3)). Suppose -2*z + q = -g, -g + 3*z - 14 = 3*g. Is g at least -2?
True
Let h = 6 + -5. Let y be (-22)/(-20) - (-4)/10. Is h greater than or equal to y?
False
Let p(b) = b**3 + 4*b**2 - 3*b + 3. Let j be p(-4). Suppose 0 = 4*c - 2*w - 8, 0*w - j = -3*c - 3*w. Let a be ((-3)/2)/(c - -3). Which is bigger: a or -1?
a
Let p = -37/5 - -39/5. Which is greater: p or 0?
p
Suppose -3 = 3*z - 0. Let d be (1 - (z + 3))*0. Let q be d*(4 + -2)/2. Is q >= -2/5?
True
Let v = 30.9 - 31. Which is bigger: -0.06 or v?
-0.06
Let b = -41 + 40.6. Is b < 1/3?
True
Let z = 1.78 - -0.02. Let a = z - 2. Is -1/7 smaller than a?
False
Let k(p) = -p**3 - p**2 - p + 1. Let b be k(2). Let l = b - -9. Let m be l/63 - (-8)/28. Do m and -1 have different values?
True
Let k = 0.12 + 0.08. Let o = -3803/8 + 473. Let d = o + 25/8. Is k at least d?
False
Let f be (-1)/5 + 26/5. Suppose f*c + 16 = -3*i + i, 5*i - 6 = -c. Suppose 2*k = -i - 4. Is k greater than 0?
False
Suppose -5 + 2 = -3