= 3*q - 5*f, q - 5 = 3*f - 7*f. Let h = q + -18. Is b < h?
False
Suppose 12 = 4*p, -2*p + 16 = j + 3*p. Is j less than or equal to 4/181?
False
Let w = -0.01 + 9.01. Let v = w - 9. Let m = 1 + v. Which is smaller: m or 0.4?
0.4
Let m = -8 + -160. Let u be -4*4/m*3. Is u != -4?
True
Suppose -3*f + 3*v + 597 = 0, 0 = 5*f - 3*v - 1220 + 233. Are 195 and f non-equal?
False
Let g = 3.484 - -0.296. Let z = g + 0.22. Which is smaller: 2/7 or z?
2/7
Suppose -3*o + 0*o = 2*o. Suppose o*y + 20 = 4*y. Which is greater: y or 6?
6
Suppose -5*h + 2*x - 70 + 482 = 0, -2*h - 2*x + 176 = 0. Let k = 418/5 - h. Let g(p) = -p**3 - 2*p**2 - p - 2. Let r be g(-2). Which is greater: k or r?
r
Let s(g) = -13*g. Let v be s(1). Let b be (-9 + 7)*(2 - (-11)/2). Which is smaller: b or v?
b
Let u = -25 - -18. Let n be 2 + -3 + -2 - u. Let s = -2 + 6. Is n < s?
False
Suppose 5*s + 0*r - 35 = -4*r, s + 5*r = 7. Let f = s + -3. Let o(q) = -q + 5. Let m be o(5). Is m bigger than f?
False
Let a(h) = 7*h + 92. Let b be a(-13). Which is smaller: 26/25 or b?
b
Suppose 476 = 5*o + 2711. Let v = o + 12961/29. Let k = v + -21/116. Which is smaller: -6 or k?
-6
Let n = -9 - -3. Let x be (2/n)/((-55)/(-90)). Let l be (-15)/(-45)*(-5 + -1). Is x bigger than l?
True
Let k = -5524 - -447434/81. Which is smaller: k or 0?
k
Let o(z) = z**3 - 5*z**2 + 7*z - 19. Let v be o(8). Is 229 at least v?
True
Suppose -7*a + 27 + 43 = 0. Suppose 3*k - 7*k = 4*l - 20, -l + 2*k = -14. Suppose a*y - 4 = l*y. Do 2 and y have the same value?
True
Let l be 1/1*(1 + -82). Suppose -25*y - 3372 = -1372. Which is smaller: l or y?
l
Let a be (-18)/(-81) + (-130)/18. Which is smaller: a or -11?
-11
Let s be -3 - -84*(-56)/12. Let o be ((-2)/s)/((-12)/(-20)). Which is smaller: 0 or o?
0
Let i be ((-108)/270)/(2/(1 + -121)). Which is smaller: -1 or i?
-1
Let r = -12 + 8. Let w = 7 + r. Suppose h = w*h + 8. Is h at most -1/2?
True
Let c(p) = -4*p**2 - 11*p - 31. Let x be c(-6). Is x not equal to -2/9?
True
Let k be -2 - (814/93)/(-2). Let l be 3/(-2)*126/(-651). Let p = k + l. Do 3 and p have the same value?
False
Suppose -3*o = 5*g + 606 + 125, 4*o = -6*g - 972. Is -1188/5 less than or equal to o?
True
Let v = -193.3 + 193.1. Suppose -2*s + 6*s - 4*b = -140, 5*s = -2*b - 189. Is s at least as big as v?
False
Let p be (-1 + 9)*(-20)/(-16). Let y be (-44)/p - (-12)/30. Is y at least as big as -5?
True
Suppose 0 = -2*k - 37 + 9. Which is bigger: -1 or k?
-1
Suppose 20*u - 1354 - 1206 = 0. Is u > 127?
True
Let m = -0.927 + -0.133. Let a = -0.64 - -0.7. Let x = m + a. Which is smaller: x or -5?
-5
Suppose -5*u = -3*k + 2, u = -4*u + 10. Suppose -5*h + 26 = f, k*h = -f - 0*h + 25. Suppose v - 6*v = j - 13, 5*j - f = -3*v. Is 2 equal to v?
True
Suppose n + 14 = -2*u, -11*n + 6*n - 2*u = 46. Which is bigger: 6 or n?
6
Let q be 0/8 + 24/33. Which is smaller: q or 40?
q
Let m = -358.1 - -358. Are m and -5/38 nonequal?
True
Let o = -148 + 140. Let n be 44/(-10) - 12/4. Are o and n equal?
False
Let u = 2 + -1. Let y be -4 + 1 - (-7)/1. Suppose n + y*q + 1 = 15, -5 = -4*n + q. Which is bigger: n or u?
n
Suppose -k - 5 = 4. Let z(y) = -y**2 - 5*y + 8. Let m be z(-7). Let l be (-15)/(-10)*m/k. Which is greater: l or 2/35?
l
Let p be 455/26*12/10. Suppose 4*o - o = -p. Let r be (-3)/3 + -2 - -1. Which is bigger: o or r?
r
Let b = -770 + 771. Which is greater: b or 2/2123?
b
Let x(p) be the second derivative of 5*p**4/12 - p**3/6 + 2*p. Let g be x(1). Let o be 4/(-14) + g/14. Does 1 = o?
False
Let t(n) = 2*n**2 + 39*n - 21. Let u be t(-12). Which is smaller: u or -200?
u
Let l(s) = s**3 - 4*s**2 + 5*s + 2. Let d be l(3). Is d greater than or equal to 21?
False
Let w be -1 + 4 - 0 - (-29 + 28). Is 31/9 less than or equal to w?
True
Let m be (11 - 252/24)*2. Which is greater: m or 205?
205
Suppose 3*o - 395 = -2*o - 3*a, 0 = -5*o + 5*a + 355. Let g = o - 301/4. Is g at least as big as 0?
True
Suppose -39*p + 1534 = 20*p. Which is smaller: 30 or p?
p
Let m be 30/3*(0 - (-1)/2). Let v(l) = -20*l + 29. Let o be v(m). Which is bigger: o or -70?
-70
Suppose 46 = -f - 2*i, -4*i - 4 = 16. Are f and -5 nonequal?
True
Let i = 609 + -584. Which is smaller: i or -0.1?
-0.1
Suppose 6*b - 3648 = -2*b. Which is bigger: b or 457?
457
Let p(u) = -u**2 - 8*u + 12. Let v be p(-9). Let i be 1*(22 - (v - 0)). Is 19 smaller than i?
False
Let u = 1171 + -595. Let d = u - 6332/11. Is 1 > d?
True
Let f = 0.172 - 4.287. Let t = -0.115 - f. Do t and -1 have different values?
True
Let n(l) = -l**2 + 13*l + 9. Let j be n(11). Let k be 2/j*(-4 - 25/(-10)). Is k != 0?
True
Let s be (-2)/(-4 - -3) + 1. Suppose -2*b = 2*b + s*z - 17, 0 = -4*z + 12. Suppose 5*i = -b*w - 18, 12 = i - 5*i - w. Which is greater: -0.2 or i?
-0.2
Suppose -5*a - 4*b + 23 = 0, 0 = 4*b - 11 + 3. Suppose -2*n = t + 2*t - 28, -a*n - 60 = -4*t. Let s = -11 + t. Is 1 smaller than s?
False
Let d be (-179)/((-18)/9*1/2). Which is smaller: 896/5 or d?
d
Let a(b) = 13*b**3 + 3*b**2 - 3*b + 1. Let p be a(1). Let c be 6/p - 53/42. Let w = 1 + -1. Which is bigger: w or c?
w
Let g = -12 - -10. Let w = -11 - g. Let b = w - -7. Are -1 and b unequal?
True
Let r = 366 + -349.9. Let g = r - 16. Let b = -1 - -1.2. Is b equal to g?
False
Suppose 6*z - 10*z - 60 = -4*r, -4*r - z + 35 = 0. Which is greater: -17 or r?
r
Suppose 5*j - 19 = -f, 2*f - 3*f + 3*j = 13. Let k be (-96)/18*(-3)/f. Which is bigger: k or -17?
k
Let m be (-225)/(-6)*((-504)/(-1295))/(-3). Are m and -5 non-equal?
True
Let g be (-123)/12 + 7 - (2 + -5). Is 38 smaller than g?
False
Let l be 46/(-253) - (0 - (-1395)/11). Which is greater: l or -128?
l
Let f(r) = -r**3 - 6*r**2 - 5*r - 7. Let u be f(-5). Let p be u + 4 + 1 + 0. Is 5 greater than p?
True
Let j = -2707592/207 + 665518016/44919. Let p = 12158/7 - j. Let m = p + 7/62. Which is bigger: 0 or m?
m
Suppose j - 4*j + 507 = 0. Let f be j/78*(-6)/(-22). Let p = f - 12/11. Which is bigger: p or 0?
0
Let t = 479/8 + -60. Let p(z) = 4*z - 58. Let c be p(15). Suppose 2*s - 4 = 4*b, -c*s = 5*b + 3 + 2. Which is greater: b or t?
t
Let d = -189 + 93. Are d and -96 equal?
True
Suppose 2 = 3*f - 28. Let x be ((-5)/(-3))/(8/48). Let j = 19 - x. Is j equal to f?
False
Let a = -50 + 54. Let y = 0.35 + 0.05. Let z = 0.4 - y. Is a greater than z?
True
Let c(o) = 3*o**3 - 21*o**2 - 8*o - 40. Let v be c(10). Are v and 780 equal?
True
Let x = -2492/3 + 831. Is x bigger than -3/148?
True
Let w be 57/95 + 3/((-15)/(-137)). Is 28 equal to w?
True
Let g = -1.089 + -56.111. Is 0.2 greater than or equal to g?
True
Let i be 919/(-280) + (-24)/(-8). Let x = -1/56 + i. Is 1 at most x?
False
Let m be (-186)/(-240)*2/(-2). Let p = -2431/3240 - m. Do 0 and p have the same value?
False
Let i = 230 + -232.15. Let a = -2.08 - i. Suppose 0 = -2*w - 5*j - 21, -4*w + 3*j = -0*w - 23. Which is greater: a or w?
w
Let o(r) = 7*r + 27. Let i be o(12). Let y = -112 + i. Which is smaller: y or -4/71?
y
Let s be 5 + 786/(-153) + 9/(-27). Is s equal to -2?
False
Let a = -126 - -1206. Is 0.1 at most a?
True
Let x = 233 - 337. Let v = x + 102. Which is smaller: -8/3 or v?
-8/3
Let j be (-2 - -2) + -2 + 5. Suppose 3*d = b - 17, 0 = 5*b - d + j*d. Suppose 4*x + b*f + f = 10, -4*x - 2 = -3*f. Is x less than or equal to 1/8?
False
Let k be (-4)/(-14) + 116/(-14). Let q be (-4)/((-12)/7)*-3. Is q at most k?
False
Suppose -36 = -3*q - 126. Let w = -27 - q. Which is greater: w or 4?
4
Let j be 21/(-1)*(7/130)/7. Let x be (-1 - -1) + (-5)/(-130). Let w = j - x. Do 1/10 and w have different values?
True
Let d = 648 + -3244/5. Which is bigger: d or 1.5?
1.5
Let c = 534 + -536. Which is smaller: c or 1/8?
c
Let f = 48.6 - 48.6. Are f and -37.3 non-equal?
True
Let q be (-3*24/(-18))/10. Is q bigger than 2.67?
False
Let p = -1.37 + 0.17. Let k = 9.8 - p. Let n = 24 - k. Which is smaller: -0.1 or n?
-0.1
Let w be ((-6)/(-4))/(6/4). Let u = 11 - 6. Let j = u + -6. Is w less than or equal to j?
False
Let w(b) = -b**3 + 12*b**2 + 9*b + 52. Let s be w(13). Let o be (-2)/6 + 195/477 + 0. Which is smaller: s or o?
s
Let a = -7/2 + 3. Let z(t) = 2*t**2 + 2*t - 7. Let i be z(-3). Let j(u) = -u**3 + 5*u**2 - u - 2. Let r be j(i). Which is bigger: r or a?
a
Let p(m) = -4*m**2 + 13*m - 19. Let f be p(3). Suppose 5*w = -0*w - i - 70, -5*i = 4*w + 35. Is