t = 32 - 33.04. Let q = 0.04 + t. Let o be -2*3/2 - (-10)/4. Is o less than or equal to q?
False
Let r(h) = -5*h**3 + 5*h**2 - 3*h - 7. Let w be r(3). Which is smaller: -107 or w?
-107
Suppose 5*m - 8*x - 105 = -3*x, 0 = -4*x + 4. Let q = m + -460/21. Are -1 and q equal?
False
Let u = -31/16 - -53/16. Which is bigger: 0.1 or u?
u
Let d be 0/(-2 - 0/2). Let a be (6/(-18) - 32/(-15)) + -3. Is a >= d?
False
Let t(c) = -c**3 - 4*c**2 - 3*c + 1. Let k be t(-3). Suppose 66 = 10*l - 32*l. Let s be l - (k + 162/(-39)). Which is greater: 0 or s?
s
Let v = 187/30 + -26/15. Is v > 4?
True
Suppose 0*y = -5*u - 5*y + 55, -2*u + 7 = 5*y. Suppose -5*k - 4*h + u = 0, -k + 6 = -0*h - 2*h. Let w be (2/k)/((-2)/(-4)). Which is smaller: w or 1/4?
1/4
Suppose -2*q - 1 = -11. Suppose -3*w = -7*k + 5*k - 5, 0 = -2*k + q*w - 11. Is 0 != k?
True
Suppose 2*o - 3*i + 8*i - 1845 = 0, -3*i = -9. Which is smaller: 916 or o?
o
Let g(l) = 30*l + 2. Let f be g(-3). Let u be 2/(-4) + (-52)/f. Let c = -0.5 - -1.5. Which is smaller: c or u?
u
Suppose -185 = -6*m + 553. Which is bigger: m or 122?
m
Let k = 426 - 295. Which is bigger: k or 130?
k
Let y = 20254 + -81423/4. Let r = y - -101. Which is smaller: -2/39 or r?
r
Suppose -f = 8*f - 18. Suppose f*y + 52 - 54 = 0. Which is greater: 2/9 or y?
y
Let q(y) = y + 1. Let i be q(3). Suppose 2*f + 36 = i*f. Let x be (-189)/f*(-1)/6. Are 0 and x equal?
False
Suppose 2*l - 11 = i, 4*i - 24 = 3*i - 5*l. Let p be (3 + i/(-1))/2. Let a = -2/3063 + 27577/15315. Which is smaller: p or a?
a
Let w(f) = -6*f**2 + 14*f - 3. Let z be w(5). Is -83 at least as big as z?
True
Let v = 68/3 - 206/9. Is v at least 47/5?
False
Let q(o) = -o**2 + 10*o - 4. Let t be q(7). Let r = -12 - -12. Suppose 3*j = -r*j + 48. Is j greater than or equal to t?
False
Let n = -87.9 + 93. Let m = 5 - n. Let y = m - 0. Which is smaller: -2 or y?
-2
Let m be -1*2*40/(-16). Let q be (-2 + 1)*(m - -6). Let y = -6 - q. Are y and 3 nonequal?
True
Let f be (5 + -11)/(-1*2 + 0). Let o be 11 + (-1)/(-3)*f/(-4). Which is smaller: 12 or o?
o
Let n = -19.5 + 21.5. Is n equal to -103?
False
Suppose 0 = 4*j + 30 - 2. Let w = -32 + 18. Let c = j - w. Which is smaller: 5 or c?
5
Suppose 5*i - 2 = 8. Let o = 6/175837 - -27428346/65235527. Let q = 8/53 + o. Is i at most as big as q?
False
Let w be ((-176)/(-132))/((-872)/438 + 2). Let j = w - 172. Suppose 3*b - 4*b = 25. Which is smaller: j or b?
j
Let o = -38 - -78. Let y = o - 35. Is y at least as big as 3/4?
True
Let l = -160227/5 + 31926. Let w = l - -119. Do -1 and w have different values?
True
Let m(b) = b**2 + 3*b - 4. Let p be m(-5). Suppose p*v + v = 5*v. Is v greater than 3/7?
False
Let p be 18 + (0/2 - 1). Let g = 21 - p. Which is bigger: 2 or g?
g
Let r(u) = u**2 + 16*u + 54. Let q be r(-5). Are 2/59 and q non-equal?
True
Let u be 4 - (12600/12595 + 3). Let q = 453/12595 - u. Are q and -1 non-equal?
True
Let p be (8/(-24))/(3/(-36)). Suppose -p - 18 = 11*y. Let m be -5 + 5 + 8/(-10). Is m less than or equal to y?
False
Let j = 68 + -744/11. Suppose -20 - 30 = -10*w. Suppose -3*z + 0*b - w*b - 3 = 0, 4*b + 3 = -3*z. Which is smaller: z or j?
z
Let w = -8.2 + 7.89. Is -5/7 greater than w?
False
Let g be (3/2 + 9/6)/1. Is 2 greater than g?
False
Let k(l) = -l - 12. Let y be k(-13). Which is smaller: 24/23 or y?
y
Suppose -j - s = 1, 0 = 2*j + j + 4*s. Let w be (j + 6 - 4) + (-5)/(-2). Is w equal to -11?
False
Let s be (-15)/(-45) + 2162/(-6). Which is smaller: -361 or s?
-361
Let y = -10 + -1. Let o = -17 + y. Let z be 3/o*24/6. Is z greater than or equal to 1?
False
Suppose -4*d - 2 = -2*r - 38, -4*r = 5*d + 33. Let c be 12/9 - r/(-9). Which is greater: -3 or c?
c
Let n = 26 - 17. Suppose 2*z = 3*z + n. Let s be z/(-30)*-2*-5. Which is greater: 4 or s?
4
Let b = 2922/247 - 162/13. Do -1 and b have different values?
True
Let z(b) = 1 - 9*b - 3 - 3 + 7. Let h be z(7). Which is smaller: h or -0.1?
h
Let s = -2886/7 + 412. Which is greater: 155 or s?
155
Suppose -6*b - 53 = 47*b. Does b = -9/31?
False
Let q be (-6)/(-45) - (-86)/(-6). Let k = -52/5 - q. Let m = k - 43/10. Which is greater: m or -2?
m
Let h = -4.9 + -0.1. Let n = 9 - h. Let s = -213 - -1067/5. Are s and n equal?
False
Let u = -0.13 + 10.13. Let s = u - -2. Let f = s + -13. Which is smaller: f or -1/2?
f
Suppose -4 - 2 = -3*i. Let m be (i/28)/((-3)/(-4)). Suppose 0 = 4*n - 3*l - 2, 4*n - 5*l - 12 = 6*n. Which is greater: m or n?
m
Suppose -25*p - 14 = -26*p. Let a be ((-18)/p)/(11/(-77)). Which is smaller: a or 0?
0
Let u be 449/(-14) + 16/56. Let j = u + 63/2. Which is greater: -52 or j?
j
Suppose -2 = -4*j + 4*v + 2, -j = 5*v - 7. Let f be j/(-8)*(-3183)/6. Let t = -133 + f. Is t >= -0.1?
False
Let z = -11 + 198. Suppose 22 = -f - 5*j - 62, 2*j + z = -3*f. Is -59 >= f?
True
Let d = 368 - 359. Which is smaller: d or -33/5?
-33/5
Let n = 2 - 3. Let r(j) = 38*j - 9. Let x be r(-3). Let p be -3 - (855/x + 4). Is p bigger than n?
True
Suppose -5*u - 52 = -4*t + 28, 3*u - 3*t + 51 = 0. Let p be 4/(-16) + (-3)/u. Suppose -g + 1 + 0 = p. Which is greater: g or -2?
g
Let q(d) = -d - 1. Let f(a) = -7. Let c(j) = -f(j) - q(j). Let y be c(-6). Suppose y*n + 3 = 5. Is -2/5 at most n?
True
Suppose 5*h = -4*v - 308, 0*v + 2*h + 224 = -3*v. Let f = -74 - v. Which is smaller: 0.027 or f?
f
Suppose 6*j = 4*n + j - 37, j + 5 = 0. Suppose 0 = 2*u - 4*o - 22, -4*u + o = 2*o + 1. Let x be -2 + 0 + (3 - u). Which is smaller: x or n?
x
Let t(a) = -a**2 + 9*a - 7. Let n be t(6). Suppose b = -9 + n. Which is smaller: -7 or b?
-7
Let v be (5 - (4 + 1)) + 132/(-187). Let j be (-2)/10 + (-2)/(-10). Is j equal to v?
False
Let a be (2/(-10))/((-57)/95). Let z = 62.6 + -54. Let p = -9 + z. Which is greater: p or a?
a
Let t(u) = -2*u**2 + 22*u - 11. Suppose 0*f - 12*f = -132. Let r be t(f). Is -11 at most r?
True
Let g(b) = -2*b**2 - 7*b - 17. Let y(k) = 2*k**2 + 8*k + 15. Let f(j) = 3*g(j) + 4*y(j). Let w be f(-5). Is 20 less than w?
False
Let i = 246 - 243. Is i bigger than 2?
True
Let d = 0.09 + -0.21. Let r = 14.12 + d. Let p = 13 - r. Are p and -0.07 unequal?
True
Let h(w) = -w**2 - 24*w - 8. Let u be h(-15). Let m be u/21 + 8/(-224)*-8. Does m = 5?
False
Let l be 388/679 - (-75)/(-119). Which is smaller: -4/5 or l?
-4/5
Let k = 41 - 41.017. Let r = k + 14.017. Which is bigger: r or 0.2?
r
Let t = 973 + -976.8. Which is smaller: t or 0.02?
t
Let b = 25609/11 + -2279. Let n = b - 13522/275. Let l = 3 + -2. Is l <= n?
False
Let t(z) = -z**2 - 11*z + 6. Let a be t(-10). Suppose 5*i - 70 = -5*c, 19 = i - 3*c - c. Which is smaller: i or a?
i
Suppose -5*g - 13 + 28 = 0. Suppose 2*x = -3*i + 58, g*i - 2*x = -5*x + 57. Is i less than or equal to 20?
True
Let g = 10 - -12. Let z = g + -89/4. Is z less than 10?
True
Suppose -781 = 7*w + 857. Is -236 at least w?
False
Let y be (63/(-24))/3 - (-5)/(-40). Which is smaller: -11/10 or y?
-11/10
Let x(n) = n**2 - 7*n - 5. Let s be x(6). Let r = 14 + s. Suppose -6 = 4*h - r*h. Is -5 at most as big as h?
False
Let r be (-5)/((-109520)/5508) - 3/12. Which is bigger: 1 or r?
1
Let n = -130.739 - -132.7. Let r = n - -0.039. Which is greater: 6 or r?
6
Let w be (-2)/4 - (-143)/26. Suppose w = a + 1. Are a and -1 unequal?
True
Let r = -414 - -470. Which is smaller: 59 or r?
r
Let t = 174 + -225. Is t at least as big as -99/2?
False
Let q be (-649)/(-55) + 132/(-12). Let j = -4 - -9. Is j greater than q?
True
Let t = -0.1099 + 0.0359. Are 0.2 and t non-equal?
True
Suppose -448*z + 8 = -456*z. Which is smaller: z or -8/61?
z
Suppose 3*h + y = 5*y + 10, -3*h = 5*y - 1. Let o be (h/6)/((-11)/33). Is 1/10 <= o?
False
Let g be 18/(-10)*55/(-33). Let r = 3 - g. Suppose r = -3*n - 5*f + 37, 33 = 2*n + 7*f - 2*f. Are n and 3 equal?
False
Let f = 138 + -58. Let n be 20/(-8)*372/f. Let m = n - -12. Which is bigger: m or 0?
m
Suppose 16*g - 12*g = 32. Let x be 61/4 - (-5)/(-20). Suppose 3*r + 3*k - x = 21, 3*k = 3*r - 12. Is g <= r?
True
Let m be (0/5)/(1*2). Let f = -1347/518 - -120/37. Which is greater: m or f?
f
Let t(z) = -37*z - 7. Let k be t(9). Which is greater: -339 or k?
-339
Let k = 44 + -37. Is 5 > k?
False
Let b be -3*(13325/(-30))/(-5). Which is bigger: -268 or b?
b
Let h(w) = -15*w + 31. Let i be h(8). Which is bigger: i or -0.1?
-0.1
Let m be (3/(-645)*454