- 9*u = -8*u - 297, -4*s + 585 = 5*u. Is 153 >= s?
True
Let k be 466/(-4) - 12/(-8). Let b = 1 - k. Suppose 5*r + 6 = b. Does r = 22?
True
Let t be (-17)/(34/(-12)) + 4. Do 33 and t have the same value?
False
Suppose 2*i = -5*r + 27, 4*r - 3*i = -2 + 19. Suppose 1 = -r*l - 4, -5*n - 2*l + 8 = 0. Suppose 5*o = -s + 20, 3*s = n*o - 0*o + 9. Which is smaller: 6 or s?
s
Let u be 2/6*0 - (-9 - -10). Is u greater than 0?
False
Suppose 14*z - 15 = 17*z. Let b(p) = -p - 5. Suppose -u = -2*s + 6, -3*s + 11 = 2. Let o be b(u). Is z less than or equal to o?
True
Suppose 2*q + 2 = 4*q. Is 20/31 bigger than q?
False
Suppose -m - 20 = 4*m. Let d(f) = f**3 + 3*f**2 - 2*f + 5. Let q be d(m). Let a be (-5)/(q/(2 - 5)). Is a greater than -3?
False
Let c(p) = p**3 + 7*p**2 + 3*p - 7. Let q be c(-6). Let a = 12 - q. Suppose b - a = 2. Which is smaller: b or 5?
b
Let i be 8 + -8 + (-17 - -3). Do -14 and i have the same value?
True
Let w = -36/5 - -242/35. Let i be 3/((-84)/(-8))*7. Suppose 0 = 3*n - 4*n - 4*h, -n - i*h + 2 = 0. Is n at least w?
True
Let m = 16 + -18. Let g = 3 + m. Let x be 2/3 - (-20)/(-21). Are x and g equal?
False
Let m(a) = 20*a - 26. Let s be m(1). Suppose -4*r = 3*t + 55, 4*t + 66 = 2*r + 22. Let v be (t/(-15) - 1)*35. Which is smaller: s or v?
s
Let v be (1/(-6))/(198/(-72)). Let k = 7 + -7. Which is smaller: v or k?
k
Let n = 11.2 + -11. Let z = 9.1 + -8. Let h = z + -0.1. Which is smaller: h or n?
n
Let p be (-19 - 3 - 2) + 114/(-76). Let j(n) = -n**3 - 7*n**2 - 5*n + 2. Let i be j(-4). Which is smaller: i or p?
i
Suppose a - 33 = -2*a. Suppose -6*x = -a*x. Let y be ((-48)/(-16))/(-14 + x). Which is bigger: 0 or y?
0
Let y = 1518 - 10503/7. Is y < 1/3?
False
Suppose -3*x - 3*g + 33 = 0, 4*g = 8*g. Let n = -10 + x. Let l be n/5 - 2/(-5). Which is greater: l or 0?
l
Suppose -1542 + 552 = -9*u. Which is greater: 109 or u?
u
Let k be 1 + (-20)/14 + 0. Suppose 4*x - i = 1, 4*x + 13*i + 29 = 8*i. Let h be (-1)/(-1) - x*(2 + -2). Which is smaller: h or k?
k
Let l = -2 - -12. Suppose -5*n + l + 10 = 0. Suppose 5*h - 3*h = -3*u - 1, n*h = u + 19. Are u and -5 nonequal?
True
Let r be (-6)/51 - (-1906)/17. Which is greater: r or 449/4?
449/4
Let r be (-450)/12*4/(-5). Suppose 0 = -5*m + 2*w - r, 3*m + 2*m + 55 = -3*w. Which is smaller: m or -0.09?
m
Let d = -346 + 344.499. Let c = d + 0.001. Is c greater than -2/3?
False
Let n = -70 + 74. Suppose f - x = 6*f + 27, 4*f + n*x = -28. Which is bigger: f or -4?
-4
Let i be 1/(5/140*4). Suppose 8*c = i*c + 36. Which is smaller: 35 or c?
35
Let v = -223.2 + 222.6. Let h = -0.2 - -0.4. Do h and v have the same value?
False
Let x = -2630 + 55228/21. Let r = 11 - 8. Suppose 0*i = r*i. Which is bigger: i or x?
i
Let t(q) = 4*q - 5*q + 2*q - 2 + 1. Let k be t(14). Let s(d) = -3*d - 2. Let a be s(-5). Is k > a?
False
Let p be 3/(-2)*(-80)/24. Suppose -6*h + h = -p. Suppose -5*n + 6 = h. Is -2 < n?
True
Let c be 30/105 - 3*18/(-7). Is 9 less than c?
False
Let b(w) = 5*w - 1. Let g be b(1). Suppose 5 = g*l - 19. Let c = 9 - l. Is 4 >= c?
True
Let q = -81/4 - -20. Let b = -15.22 - -9.22. Does q = b?
False
Let k(s) = s**3 - 17*s**2 + 17*s - 34. Let u be k(16). Which is bigger: u or -17?
-17
Let x be ((-260)/(-70))/((-24)/14). Which is smaller: x or -2?
x
Let a be ((-2)/9)/(28/(-21) + -1). Which is bigger: 1 or a?
1
Let n = -462 + 494. Which is bigger: 37 or n?
37
Let u be (1/(-3))/(28/(-103932)). Let a = -1229 + u. Let m = a + -59/7. Which is bigger: m or -1?
m
Suppose 13 - 12 = s. Which is smaller: s or 6/203?
6/203
Let s = -418 + 572. Is 154 >= s?
True
Suppose 2*p + 2*z - 328 = 0, 5*z + 700 = 4*p + 71. Which is smaller: 162 or p?
p
Let q be 3/((-2)/(-2 + 4)). Let h be 0/(-1*q/3). Let m be h/((-1 - -2)*1). Which is greater: 3 or m?
3
Let i = 31.4 - 31.6. Is i > 1/182?
False
Let u = -532 - -373. Let x = 639/4 + u. Do 0 and x have different values?
True
Let f(i) = i**3 - 5*i**2 + 2*i - 4. Let p = -3 - -8. Let y be f(p). Suppose -y*d = -d. Which is greater: 0.4 or d?
0.4
Let j be (10/(-15))/(4/(-6)). Which is smaller: j or 19/13?
j
Let x be (2/(-12))/(25/40). Let c be 50/4 + 5/10. Suppose 0 = -c*d + 16*d + 3. Which is smaller: d or x?
d
Let h be -12*((-6)/(-9))/(-2). Suppose h*d - 16 = -4, -15 = -3*i - 4*d. Let s = 61/30 - 11/6. Is i bigger than s?
True
Let v(q) = -q**3 - q**2 + 3*q + 2. Let s be v(-2). Suppose s = -2*l + 4*j + 36, -l + 28 = 2*j - 10. Let g be (-4)/l + (-171)/(-903). Which is greater: g or 1?
1
Let s(j) = -j**3 - 7*j**2 - j + 7. Let k be s(-7). Let p be 6 + (-15)/(360/(-176)). Is p greater than k?
False
Suppose 2*w - 32 = 5*v, -w = w + 4*v - 14. Is w at most as big as 7?
False
Suppose -4*x - 21 = -3*x. Let i = x + 149/7. Which is bigger: -1 or i?
i
Suppose 5*c + 20 = -15. Suppose 4*r + 22 = 5*u, 2*r = 6*u - u - 16. Let o = r + -5. Is o smaller than c?
True
Let i = 2313/7 - 331. Let h(b) = b**3 + 2 - 2*b**2 - 5 + 3. Let x be h(1). Which is smaller: i or x?
x
Suppose -4*r = -3*g + 38, -g - 32 = -3*g + 4*r. Let f = -323 - -319. Let i = g + f. Which is smaller: 3 or i?
i
Let x = -63 + 62.55. Let i = x + 0.35. Let h = -8.08 - -0.08. Is h less than or equal to i?
True
Suppose 6*r - 4*b = r + 4, 4*b = -3*r - 4. Let d be (8/154)/(30/7). Which is smaller: d or r?
r
Suppose -j = 5*w - 2, 0*w + 2*w - 5*j = -10. Which is bigger: w or -2?
w
Let j = -0.87 - 0.23. Let p = j + 12.1. Let o be ((-3)/(-9))/((-5)/10). Are o and p equal?
False
Let a be 3 - 0*5/(-10). Let i be -2 - (12/a)/1. Do 0 and i have the same value?
False
Let w be (-167 + -1 - -4)/(-2). Let n = 56 - w. Which is smaller: n or -0.1?
n
Let c be (-5)/30 + (-3 - -3). Let l = -6.438 - -0.038. Let m = l - -6. Is m < c?
True
Let b be 6/10 - (-441)/(-735). Let a = 21959/23 - 955. Is a greater than b?
False
Let n = -2 - -6. Let b = n - 7. Let y = 2133 - 2139. Is y >= b?
False
Suppose 0*l - 3*l = -6. Suppose 0 = 5*g - 4*g - 4. Suppose -2 = l*s - g. Does 0 = s?
False
Let u(h) = 5*h**3 - 36*h**2 + 5*h + 24. Let x be u(7). Which is smaller: 22 or x?
x
Let q be (-4 - 0)*(-2)/4. Suppose -3*c = 12, 4 = -4*x - 4*c + 3*c. Which is smaller: x or q?
x
Let t = 1.4 + 1.9. Let m = 2.8 + t. Let z = 6 - m. Is 5 less than z?
False
Let t be 560204/46698 + 24/(-2). Which is smaller: -1 or t?
-1
Let q be (-21)/(-117)*4892/14. Let w be -2 - 2*905/30. Let s = q + w. Which is greater: 0 or s?
s
Let i be 3/60*-6*3/(-6). Let a = -0.12 + 0.02. Which is smaller: i or a?
a
Let p(x) = x**2 + 9*x - 89. Let m be p(-15). Which is smaller: 1/168 or m?
1/168
Suppose 11 + 4 = -3*c. Let t(m) = 8*m - 3 + m**2 - 2*m + 4. Let o be t(c). Which is smaller: 0 or o?
o
Suppose -27255 = -115*t + 194*t. Is t less than -1375/4?
True
Let y = 49.6 + -11.6. Let i = y + -60. Which is smaller: i or 0.2?
i
Let z(t) = -11*t**2 + 12*t - 2. Let u be z(1). Which is smaller: u or 50/117?
u
Let w(u) = 2*u + 1. Let y be w(-2). Is -3 smaller than y?
False
Let t(r) = 3*r. Let f = 33 - 33. Let h be t(f). Is h != -2/173?
True
Let s be -1 - -5 - (1 + -3). Let a be (-12)/8 - 3/s. Is -1 at least a?
True
Let g = 608/7 - 87. Suppose -5*h + 3 = 4*w - 6, 3*w - 4 = -h. Let o be 1*(2 - h) - 2. Do o and g have the same value?
False
Suppose 4*z - 7*f + 3*f + 24 = 0, 4*z + 14 = 2*f. Let q be (-5)/(315/27)*(-21)/60. Which is bigger: q or z?
q
Let i = -221 - -226. Let z = -3.31 - -0.31. Is i greater than or equal to z?
True
Let v = -149 + 1939/13. Suppose 4*p + 6 = 2. Is p smaller than v?
True
Let b(r) = r**3 - 18*r**2 + 34*r - 3. Let x be b(2). Which is greater: -16 or x?
x
Let c = -2721 - -51687/19. Suppose -4*l - 2*u = 0, 2*l = -u + 4*u. Which is bigger: c or l?
l
Suppose 18*s = 8*s - 20. Is s not equal to 2/7?
True
Let v(j) = 6*j + 87. Let f be v(-11). Which is smaller: f or 16?
16
Suppose -3*z + 21 = s, -3 = -2*z + s + 6. Let o be (4/z)/((-2)/3). Let h be 50/36 - (-57)/(-38). Is h > o?
True
Let b = -8 + 4. Let u = b - -5. Let y = -3.6 - -0.6. Which is smaller: u or y?
y
Let o be ((-493)/119)/(2 - -3). Which is smaller: 0 or o?
o
Let u = -4 + 3. Let t = u + 4. Suppose 2*w - 29 + 31 = 0. Is t bigger than w?
True
Suppose 2*i + 8 = 2*c + 2, 3*c - 16 = -4*i. Suppose -c*q + 3*q = -4*r - 150, -r - 5*q = 27. Let w = 115/3 + r. Which is bigger: w or 0?
w
Let m(q) = 2*q - 68. Let a be m(22). Which is smaller: 2 or a?
a
Let c = 276 - 27