Let s = 11.4 + -9.39. Is s at most as big as -2?
False
Let b = -18 + 17. Let h be (-3)/5 - 8/(-16). Which is bigger: b or h?
h
Let y be 35/11 - (-10)/(-55). Suppose 3*f + 50 = -y*k + 14, 22 = -2*f - 3*k. Which is smaller: -11 or f?
f
Let w be ((-9)/(-12))/(3/36). Suppose 3*u = w, 0*u - 14 = -i - 5*u. Which is greater: i or 2/27?
2/27
Let p(c) = c - 5. Let r be p(4). Suppose 76 = 4*h - 4. Suppose -2*a - 26 = -h. Do r and a have the same value?
False
Suppose 25 = 8*n + 9. Suppose -2*r + 2*m + 20 = 0, 15 = -m - n*m. Is r < 7?
True
Let v(p) = -p**3 - 4*p**2 - 2*p - 1. Let g be v(-2). Let r(h) = -3*h - 6. Let m be r(g). Let b(i) = -i**2 + 8*i + 9. Let f be b(m). Which is greater: f or -2?
f
Let b be (-3)/10*64/(-4016)*-1. Which is smaller: b or -1?
-1
Let v = 193/5865 - 1/255. Let s = 158 + -159. Which is smaller: v or s?
s
Let i = 0.24 + 0.26. Let d = 0.24 - i. Let q = d - -0.32. Which is smaller: q or -1?
-1
Suppose -8*y + 5*y + 1079 = 7*q, -3*q + 6 = 0. Is 355 greater than y?
False
Suppose 0 = 4*r + o - 241, o + 124 = 2*r + 5*o. Let g = -182/3 + r. Let d = g - -5/6. Is -1 bigger than d?
False
Let u(s) = -2*s**3 - 80*s**2 - 3*s - 52. Let l be u(-40). Is l < 76?
True
Suppose -4*x + 94 + 10 = 0. Which is smaller: x or 29?
x
Suppose -4*z + 2*c - 502 = 0, 2*z = -2*z - 4*c - 472. Let k be z/(-15) + (-4)/20. Let p = k - 11. Which is greater: -1 or p?
-1
Suppose -4*h - 114 = 26. Is h smaller than -35?
False
Let j be (-25 + 1)/(-3) + 2. Let v = 2.75 - 2.85. Which is smaller: j or v?
v
Let b = 33.945 - -0.055. Let o = b + -7. Is -1 bigger than o?
False
Let k(x) = x**2 - x + 1. Let r be k(0). Let p = 11 - 21. Let a be (-24)/35 - 4/p. Is r equal to a?
False
Suppose 29*q = 28*q - 3. Is q less than 75?
True
Let k = -1.58 + 1.28. Let o = -0.6 - 20.4. Is o less than k?
True
Suppose 5*m + 3*d + 21 = 9*m, -5*m = d - 12. Suppose 5*k - 3 = -m. Which is smaller: k or -4/17?
-4/17
Let t = 177 + -177. Is -9.1 greater than t?
False
Let d = 689 + -1457. Is d bigger than 0?
False
Suppose 0 = -5*d - 0*d - 135. Suppose -12*l - 4*l + 16 = 0. Let m be (12/d)/(l - -1). Is 2 less than or equal to m?
False
Let r = -201.4 + 83.5. Let z = r + 130. Let h = z + -12. Is h less than or equal to 0.13?
True
Let z = -720 + 720. Suppose 3*q - 2*q + 1 = 0. Let t be (-2 - q)*2/(-6). Which is smaller: z or t?
z
Let f = 47 - 43. Let b be (-1146)/(-285) - 16/f. Which is bigger: 0 or b?
b
Suppose -5*f = -66 + 61. Suppose 0 = -3*r - 2*k - 7, -r + 3*k - 7 = -2*r. Are r and f equal?
False
Let c be (-7 - -2)/5 + 0 + 191. Are 191 and c nonequal?
True
Let w = -151.3 - -151. Which is greater: w or -5/7?
w
Suppose 140 - 791 = 7*i. Which is smaller: i or -92?
i
Let k = -1 - -51. Let i = k + -21. Which is greater: 0.1 or i?
i
Let n(k) = -k**3 - 9*k**2 + 9*k - 8. Let t be n(-10). Suppose 10 = -3*m - t*a + 1, 4*a = -2*m - 14. Which is smaller: m or 2/87?
m
Suppose -142*c + 139*c = 57. Is c bigger than -12?
False
Let a = 7/10 + -73/90. Suppose 0*r + 10 = 5*r. Let b = r + -1. Which is greater: a or b?
b
Suppose -4*x + 3*c = 41, -5*x + 4*x = 3*c + 29. Let i(g) = 16*g - 1. Let y be i(-2). Let h = 18 + y. Is x bigger than h?
True
Let y = -35/352 - -45371/3168. Is y greater than or equal to 15?
False
Let k = 65 + -36. Let c = k - 31. Which is smaller: -4 or c?
-4
Let l = 3/380 - -3031/1140. Suppose 4*j - 24 + 8 = 0. Does j = l?
False
Let s = -256.255 - -256. Let w = -0.05 + 0.095. Let v = s + w. Which is bigger: 0.1 or v?
0.1
Let f be (-11)/33 + 70/(-6). Let o = -6 - f. Are o and 7 equal?
False
Suppose 0 = 2*f - 3*f. Suppose -4 = -4*z + 8. Is z at least f?
True
Let g be (-2)/(-15) + 3993/(-26235). Is g less than 1?
True
Let u(n) be the first derivative of 1 + 3/2*n**2 - 7*n. Let d be u(6). Are d and 11 equal?
True
Let i(t) be the second derivative of t**3/6 - t**2 - 3*t. Let l be i(5). Let j be -2 - 1/(2/l). Which is bigger: j or -4?
j
Suppose -3*l - a + 4 = -3*a, 0 = -2*l + 5*a - 12. Let j be ((-2)/l - -1)/(-8). Which is greater: 0 or j?
0
Let g = 1637 - 18072/11. Is -7 smaller than g?
True
Suppose 7*n = 5*n + 22. Let l be (0 - -1) + -1 + -2. Let t = 13 + l. Is n greater than t?
False
Let g(r) = 9*r + 1. Let d be g(-2). Let l(z) = z**3 - 6*z**2 - z + 13. Let b be l(4). Let w(a) = -a**3 - 22*a**2 + 24*a + 7. Let c be w(b). Is d <= c?
True
Let t = 6 - 3. Let n be 2/20 - -3 - t. Let l be 4 + -1 - (2 + 0). Is l less than n?
False
Let z = -21 - -19.1. Let m = 2.1 + z. Which is bigger: 2.3 or m?
2.3
Suppose -3 + 42 = -j. Let t be ((-46)/12)/(j/(-66)). Let o = -54/13 - t. Which is smaller: 3 or o?
o
Let j be (11/10)/(-1) + 1. Let b = 81/610 + j. Are b and -1 nonequal?
True
Let x = -3 + 5. Suppose -k = z + 1 + 4, -2*k - 10 = 0. Suppose -6 = -x*a - z. Which is smaller: a or 7/4?
7/4
Let c = -43797421/53989 - 9/4153. Let d = 812 + c. Which is smaller: d or 1?
d
Let t be 1 - (4 + -2) - 1. Let p = 111 - 113. Let x be 0/((t + -2)/p). Is x < -1?
False
Let k be (18/5)/((-1)/20*-8). Suppose -8*b + k*b - 1 = 0. Is b at most -2/245?
False
Let i be (-24)/(-18)*1*3. Suppose 4*s - 9 - 3 = -n, -i*n - s + 18 = 0. Let r be 2/n + (-88)/(-16). Which is smaller: 7 or r?
r
Let r = 19333 + -367326/19. Suppose 4*v = -6 - 2. Let z be (1 + -3)*1/v. Are r and z equal?
False
Suppose 16 = 11*l - 10*l - 5*s, 0 = -2*s - 6. Is 4/437 at most l?
True
Let v be (-2)/56 + 34/119. Which is smaller: 0 or v?
0
Let q(f) = f**3 - 11*f**2 - 14*f + 26. Let y be q(12). Suppose y*h - 130 = -14. Is h greater than 58?
False
Suppose 0 = -4*f + 21 + 27. Let s(b) = 11*b - 2. Let u be s(-7). Let z = u - -91. Is z at most f?
True
Suppose -5*d = -h + 1, -5*h + d = -43 - 10. Let y = -3/11 - 1/77. Which is smaller: y or h?
y
Suppose 6*m = -4*x + 9*m + 138, 3*m = -3*x + 114. Which is bigger: 18 or x?
x
Let f = 6.3 + -8. Let v = f - 2.3. Is -3 greater than or equal to v?
True
Let z = -2418 + 2415. Is 33 equal to z?
False
Let d = 24.937 + 0.063. Let w = 24 - d. Is w greater than or equal to 13?
False
Suppose -1734 = 68*a - 102*a. Let p = 29 + 23. Is a < p?
True
Suppose -5*x - 2 - 93 = 2*d, 0 = -2*x - 5*d - 17. Let y = x - -36. Let v be 6/y - (-24)/(-35). Are v and -0.1 nonequal?
True
Let q = -59 + 650/11. Let s be (2 - 1) + (222/592 - (-19)/(-8)). Is s less than q?
True
Let z be (-13 + 22)/(1 + -3 - -1). Suppose 2*b - 8 = -5*c, 3*b - 19 + 7 = 2*c. Are c and z nonequal?
True
Let f(l) = 3*l + 5. Let a be f(-4). Let q = 7 + a. Let b = 1838/9 + -204. Which is smaller: q or b?
q
Let d be 5/(-10)*112/7. Which is greater: 0.3 or d?
0.3
Let w be -1 - (-4 + -6 + 10). Suppose 5*f + 10 + 0 = 0. Let a be (-43)/(-21) + (f - 0). Is w bigger than a?
False
Suppose 3*w + 3 + 3 = 0, 3*f - 5*w = 79. Suppose -4*o - 5*y = -o + f, 4*o + 3*y = -16. Which is smaller: o or -1/17?
o
Suppose -13*z + 10*z = 5*f - 43, 5*z - 37 = -4*f. Which is smaller: -3/5 or f?
-3/5
Suppose -32*t = -22*t - 110. Is 13 at least t?
True
Suppose -3*m = 3*j - 1830, -5*m + 0*m = -j + 622. Let u = 7339/12 - j. Which is smaller: 1 or u?
u
Let j = 2 + -1. Let y be 1 + 0 + -4 - 20/(-7). Is j at least as big as y?
True
Let j = 710/5983 + 2/193. Which is smaller: 0 or j?
0
Let p be 2124/(-24)*(-4)/6. Is 60 at most as big as p?
False
Let f be (-5)/(-60)*-3 + (-75)/(-156). Is -3 equal to f?
False
Let v be (480 + -43)/(2/2). Is 438 at most as big as v?
False
Let q be -2*(-34)/24 - (-18)/(-12). Let g = q - 23/33. Is g bigger than 0?
True
Let h = 61 + -52. Suppose -4*y + y = -h, 2*l + 5*y = -1. Is 0.2 != l?
True
Suppose 5*u = 7*u + 36. Let m = u - -19. Let v = 4 - m. Which is bigger: v or 2?
v
Let t be 639/2 + 50/20. Is t at most as big as 322?
True
Let b be 287/(-20) + (-6)/15. Let x = b - -29/2. Which is greater: x or 2.1?
2.1
Let j = 9 + -8.9. Let h = -44.8 + 26. Let i = 6.2 - h. Is j at least i?
False
Let m = 0.6 - 2. Let r = -24 + 32. Let o be (-3)/9 - r/(-6). Is m bigger than o?
False
Suppose -13*l + 151 - 983 = 0. Is -65 at least l?
False
Let s(r) = r**3 - 8*r**2 + 9*r - 15. Let v be s(5). Let q be ((-6)/v)/((-2)/6). Let f(z) = -z**3 + 6*z**2 + 6*z + 5. Let l be f(7). Which is bigger: l or q?
q
Let t be (-1588)/(-18) + ((-32)/(-36))/(-4). Is 3 at least as big as t?
False
Let h be (-161)/(-49) + -3 - (-32)/(-14). Let q be 1/(13/h - (-2)/1). Is q greater than or equal to 1?
False
Suppose 3*w + 0*w = -4*u + 101, -u - 5*w = -