 = -3*r, 4*r = -5*x - 11. Which is smaller: r or 2/3?
2/3
Let y = 4 + 15. Which is greater: 1/4 or y?
y
Suppose -52 = 3*j - 13. Do -13 and j have the same value?
True
Let b = -5.4 - -5. Let t = -1 - b. Let y = -0.5 - t. Which is smaller: y or 0?
0
Suppose -a - 5*z + 30 = 0, -5 = -2*a - 3*z + 62. Let l be 59/7 + (-15)/a. Is l smaller than 8?
False
Let w = -608 - -110046/181. Which is smaller: w or 0?
w
Let b = 0 + -8. Is 1 > b?
True
Let q = 1 - 2. Let t = -175 + 173. Is t < q?
True
Let x = 139/6 - 23. Let m = x - 11/30. Which is bigger: m or 1?
1
Let j = -2/12097 - 2080678/36291. Let z(d) = -59*d**2 - 3*d - 2. Let v be z(-1). Let g = j - v. Which is greater: g or 1?
1
Let r(f) be the first derivative of f**2/2 - 5*f - 3. Let j be r(10). Let q = j - 28/5. Do -0.1 and q have different values?
True
Suppose s + 2 = 0, -x - 2*x + 2*s = -7. Do x and -2 have different values?
True
Let o = -8 + 15. Let k(b) = -b**3 + 6*b**2 + 7*b + 1. Let x be k(o). Which is bigger: x or 0.3?
x
Let o = -3 - -5. Let u = -2 + o. Let q = 62.1 - 62. Which is greater: q or u?
q
Let b = 14 + -15. Let s(a) = -a**2 + 8*a + 4. Let r be s(8). Let n = r - 8. Is n at least as big as b?
False
Let i = -10 - -12. Let a = i + -2. Is a greater than -2/11?
True
Let v be 2/(-7) - 144/(-14). Let o = 18 - v. Is o < 9?
True
Let u = 75 - 53. Is -0.1 less than u?
True
Let y = -3659/15 + 763/3. Which is smaller: y or 11?
y
Let d = -3.324 + -0.076. Is -2 bigger than d?
True
Let g be -4 + 3 + 6/8. Are g and 1.4 equal?
False
Let i = -33.9 + 34. Which is smaller: 3/2 or i?
i
Suppose -12*m + 13*m = 0. Let c be ((-28)/12 + 2)*m. Which is smaller: c or 7?
c
Let v = 2351608 + -329221273/140. Let j = 637/20 - v. Let c = 25/7 - j. Which is bigger: c or -1?
c
Suppose 6*p = 3*p + 12. Let k be -6*((-10)/p)/5. Suppose -2*o - k*m + 12 = 0, -m - 3*m = 5*o - 16. Is o >= 4/3?
False
Suppose -5*m + 4*d - 3*d - 1 = 0, -22 = 2*m + 5*d. Let h(s) = -7*s + 9. Let x(f) = -10*f + 14. Let z(i) = -7*h(i) + 5*x(i). Let l be z(7). Are l and m nonequal?
True
Let r(u) = u**3 - 4*u**2 - u + 5. Let l be r(4). Let b = 85 - 83. Is l < b?
True
Let k = -7 - 1. Let r = -7 - k. Let t be (0 - (-21)/(-18)) + r. Which is bigger: t or 0?
0
Suppose -2*h = 0, h + 3*h - 2 = -t. Suppose -t*v = -4*v + 12. Let s be v/21 + (-78)/(-21). Is s not equal to 5?
True
Let v be 20/(-3)*(-12)/8. Suppose s - 5*b - 11 - 10 = 0, 2*s = 2*b + v. Suppose -s = -4*m + 3*m. Is m at least as big as -5?
True
Let n be ((-8)/(-1))/(2/4 + -1). Is n at most as big as -16?
True
Let o be (2/3)/((-2)/3). Is -1/59 bigger than o?
True
Let j be 1185/(-350) - (-4)/(-10). Let i = -26/7 - j. Is i < -1?
False
Suppose 63 + 201 = -6*i. Which is greater: -45 or i?
i
Let p = 2 - 26. Let j = -70/3 - p. Which is smaller: j or 1?
j
Let w(m) = m**3 + 4*m**2 + 2*m - 2. Let y be w(-2). Let a = 1 + y. Suppose -s = -a*s + 18. Which is greater: 8 or s?
s
Let w = -22 - -11. Is -10 > w?
True
Let z be (-24)/8 - -3 - (-8)/22. Which is smaller: 0 or z?
0
Suppose 0 = 3*r - 3*d - 1 - 2, r = 2*d + 4. Suppose -2*j - 2 = 2*i - 6*j, -3*j - 1 = i. Which is smaller: r or i?
r
Let d = -5 - -7. Let r(j) = 3*j - j + j**2 - 4*j + 3. Let s be r(d). Is 2 less than or equal to s?
True
Let t = 13 - 14. Which is smaller: t or 0.07?
t
Let j be (-15)/5 - 11/(-4). Is j at most as big as 1?
True
Suppose 0 = 5*a + 2*z - 1, -a + 4*z = -0*z + 13. Which is smaller: a or -11/9?
-11/9
Suppose 4*q - 1 = 3. Let j be q/4*-6 - -2. Let t = -1.3 - -0.3. Is j bigger than t?
True
Let k = 291/70 - -12/35. Let n = k - 4. Which is smaller: n or 1?
n
Let p be -15*2/3*1. Let m be 6/(-4) - p/20. Is 2/45 equal to m?
False
Let p be (1/((-20)/8))/(558/10). Which is greater: 0 or p?
0
Suppose 4*i - 3 = 1. Suppose s + 3 = q, -s - 2 = -0*s - 2*q. Let b = 4 + s. Which is bigger: i or b?
i
Let z = 8.48 + -0.48. Which is bigger: -2/11 or z?
z
Suppose 281 = 5*h - 589. Let q = 873/5 - h. Which is smaller: q or 1?
q
Let d = 488 - 24401/50. Is d smaller than 0?
True
Let c = 7 + -5. Let j be 4/(-10)*(-4 + 9). Let i be 2/j - 1 - c. Which is bigger: i or -5?
i
Let u = 6.1 + -6.1. Which is smaller: -1.3 or u?
-1.3
Let g(m) = m - 12. Let s be g(8). Suppose 0*v - v - 6 = 3*w, 0 = 3*w + 3. Is v at most as big as s?
False
Let m = 2 + -3. Let l = 15 - 16. Is m at most as big as l?
True
Let p = 29 + -28. Is p greater than or equal to 0?
True
Let w = 9 - 4. Let v = 4 - w. Is -1 < v?
False
Let w = 89 - 1692/19. Is w at most as big as 0?
True
Let m = -136 - -134. Suppose 6 = h - 4*h. Is h greater than m?
False
Let r = 0.4 - 0.7. Let p = 3 + -5. Which is smaller: r or p?
p
Suppose -4*d - 2 = -2*d. Are -9 and d non-equal?
True
Let w be 4*-1 - (-90)/20. Let u = 0 + 0.1. Let o = u - 0.2. Which is bigger: w or o?
w
Let j be (-15)/4 - (-3)/(-12). Let o = j + 4. Which is greater: 1 or o?
1
Let h be (-9 + 3)/(-144)*3. Which is smaller: h or -9?
-9
Let t be 402/14 - 1 - 8/(-28). Which is greater: 29 or t?
29
Suppose -2 = t - 0*t. Suppose 0 = 5*b - 2*b - 3. Suppose -4 = 3*k - b. Which is smaller: t or k?
t
Let k(u) = -12*u + 1. Let w be k(-3). Suppose 3 = 4*j - w. Suppose 5*b + j = 0, 3*b - 1 = 2*s - 3. Which is smaller: -1 or s?
s
Suppose 10*f + 572 = -3*f. Is f less than or equal to -45?
False
Let j(h) = -h**2 + 5*h + 7. Let f be j(7). Which is smaller: f or -8?
-8
Let t = -28 - -26. Let v = 0.1 + -0.1. Is t equal to v?
False
Suppose 0 = -10*i + 5*i. Let p = 5 + -4. Which is bigger: i or p?
p
Let u = -1 - -2. Let n = -0.19 + -0.91. Let g = n + u. Which is greater: 0.1 or g?
0.1
Suppose -3*y + 4 = y. Suppose -3 = -3*m + 2*m. Suppose d = m - 1. Which is greater: d or y?
d
Let h(t) = t**2 + 2*t - 10. Let s be h(-4). Are -3 and s nonequal?
True
Suppose -2*s - 15 = -7*s. Suppose 4 = -j + s. Let w be j/(-2) - 6/4. Is w less than -1?
False
Let v be 28/4 + (-12)/3. Suppose -17 - 31 = -v*l. Does 16 = l?
True
Let w = 3 - 4. Let j = -34/93 + 1/31. Which is smaller: j or w?
w
Let x = -1.9 - -2. Let p = 0.03 + -0.33. Which is bigger: x or p?
x
Let g = 43539/100 + -1755/4. Let o = -2486/725 - g. Which is greater: 1 or o?
1
Let y be 2*-1 + (-564)/(-264). Which is smaller: y or -1?
-1
Suppose -5*r = 3*d - 5, 0 = 3*d - 5*d - 2*r + 6. Suppose d*y - 15 = -0*y. Which is greater: y or 2?
y
Let w = 63/247 + -4/13. Which is bigger: w or 0?
0
Let c = -87 + 110. Which is greater: c or 24?
24
Let h(q) = -q**3 - 7*q**2 - q - 9. Let p be h(-7). Let t = -16 + 11. Let l be (-6)/60 - (-2)/t. Which is smaller: l or p?
p
Let c(o) = -o**3 + 7*o**2 - o + 5. Let g be c(7). Are g and 0 non-equal?
True
Suppose 4*j + 23 = -k, 0*k + k - 3*j = 12. Let o = -3 - -6. Suppose -4*w = -3*d - 2 - 5, -w - o*d = 17. Is w not equal to k?
True
Let k(u) = -u**2 - 5*u - 3. Let z be k(-3). Suppose 10 - 1 = -z*d. Are -4 and d non-equal?
True
Let t = 3 - 16. Do t and -12 have the same value?
False
Let x be (-1*2)/(1 - 3). Suppose x = 3*v - 2. Is v smaller than -1?
False
Suppose 5*p - 3*l = -0*l + 67, -2*p + 4*l = -24. Which is smaller: p or 13?
13
Let z be (-4)/10 - 24/(-35). Let o = 21 + -21. Which is smaller: z or o?
o
Suppose 0 = -5*p + 9*p. Is -7/5 > p?
False
Let y(d) = -d**2 - 14*d - 10. Let n be y(-12). Let x = n + -17. Which is greater: -5/3 or x?
-5/3
Let f = 12 + -7. Let b = f + -7. Let d = b - -2. Does d = 1?
False
Let l = -31 + 63/2. Let b(c) = -2*c - 12. Let d be b(-8). Suppose -d*m - 8 = -5*p, 5*p - 7*m + 2*m = 10. Which is bigger: p or l?
l
Let k(b) = -b**2 + 4*b - 2. Let t be k(3). Suppose -2*u - t - 1 = 0. Let j = 0.1 - 0. Which is smaller: u or j?
u
Let o = -4.4 - -6. Let a = o - 2. Which is bigger: 1 or a?
1
Suppose 0 = -3*o + 9, -5*w + o = 2*o + 2. Which is smaller: -2/151 or w?
w
Suppose 5*j - 5*s - 585 = -6*s, -5*s = 5*j - 565. Let c = j - 824/7. Let a be (-6)/8*6/(-9). Is a less than or equal to c?
False
Let u be (-3)/(13/(-2) + 2). Let k(y) = -y**2 - 9*y - 8. Let d be k(-7). Let q = -3 + d. Which is greater: u or q?
q
Let q(b) = -b + 1. Let w be q(-3). Let n = w + -6. Is -3 smaller than n?
True
Suppose 2*u = 7*u + 10. Which is greater: 5.5 or u?
5.5
Let d be ((-5)/(-40))/(-1)*-6. Which is smaller: -3/4 or d?
-3/4
Suppose 26 = 4*j + 3*b - b, -j + 4*b - 16 = 0. Let s be 3 - j - (-506)/502. Let k = -263/1506 + s. Which is smaller: k or -2/3?
-2/3
Let x be ((-3)/9)/((-1)/33). Let q = x - 2. Let i(f) =