)/(-12) - 13*-2. Let f = r - 57/2. Suppose 0*m = m. Is m greater than or equal to f?
False
Let c(n) = -n - 2. Let w be c(7). Let g be (6/w)/((-4)/3). Suppose 2*o + 2*v - 2 = -6, 2*o = -v - 1. Is g greater than o?
False
Let u = -102/7 + 1544/105. Let b be (1/(-2))/(3/(-72)). Let h = 13 - b. Is h at most as big as u?
False
Suppose 31*a - 5*a = -234. Which is smaller: a or -13?
-13
Let c be ((-18)/(-56))/(33/(-4752)). Which is bigger: -46 or c?
-46
Let u be ((-72)/20 + 3)*-6. Suppose 4*h - 4 - 14 = 2*a, -9 = 2*h + 5*a. Is u >= h?
True
Let x = -3813/11 + 333. Which is greater: x or -14?
x
Suppose -m + 3*m + 6 = 0, -3*k - 2*m - 39 = 0. Let q = 8 + k. Let i = 4 - 2. Do q and i have the same value?
False
Let b(z) = 6*z - 4. Let h be b(1). Let i(f) = 3*f - 2. Let a be i(h). Let p be -2 - 12/(-2) - a. Is p at most -2/3?
False
Let x = -18.4 + 20. Let z = x + 3.4. Which is greater: -4 or z?
z
Let g = -24/13 - -34/13. Which is bigger: -1 or g?
g
Suppose d - 4 = -3*q, 2*q - 2 = d - 6. Let z be 2 + -4 + 3 + (-114)/118. Is z >= q?
True
Let q = 1/196 - 1065/196. Suppose k = 3, s - 4*k + 25 = 8. Which is bigger: q or s?
s
Suppose 0 = 47*d - 51*d + 96. Suppose -x - 2*y - 8 = 28, -4*y = -x - d. Does x = -31?
False
Let f be (6/8)/((-12)/(-80)). Let r = -53 - -52.8. Which is smaller: f or r?
r
Let d be (5/((-280)/(-188)) + -4)/(-3). Let f = -1.7 + 2. Let m = -1.3 + f. Which is smaller: d or m?
m
Let g = 31 - 33.7. Let v = -2.4 - g. Is v > -5?
True
Suppose 5*u = u + 2*j - 118, -4*j + 62 = -2*u. Let c be 20/(-40) + u/(-18). Which is bigger: 0 or c?
c
Suppose 27 = 19*h - 11. Let p = -11/12 + 5/4. Which is smaller: p or h?
p
Let m = 43 - 113. Let r be 1/m - (-2 - (-80)/35). Which is smaller: 1 or r?
r
Let k be 44/(-6)*3/2. Let h(u) = -u**3 - 7*u**2 + 6*u - 3. Let d be h(-8). Let f = d + k. Is 8/3 less than or equal to f?
False
Suppose 59 - 40 = 19*f. Is f < -13/35?
False
Let w(u) be the third derivative of u**4/24 + u**3/3 - 4*u**2. Let k be w(-4). Let n = -31 - -245/8. Is n <= k?
False
Let c be (6/(-9))/((-22)/165). Is c not equal to 12?
True
Let s = 69.5 + -68.3. Which is smaller: s or -0.044?
-0.044
Let i = 8 - 13. Let a = 462 - 458. Let n = a + i. Are n and 2 non-equal?
True
Let i = 2460679/454 - 5420. Which is smaller: i or -1?
-1
Let o be 204/(-98) + 2 + 0. Let h(q) = -2*q**3 + 153*q**2 + 395*q. Let p be h(79). Does o = p?
False
Let k be 7676/(-909) - 3*-3. Let f(x) = -2*x**3 + x**2 + 2*x + 1. Let a be f(-1). Which is greater: a or k?
a
Suppose -5*j = -0*j - 45. Let c = j - -31. Let o be (-8)/12 - c/12. Is o at most as big as -4?
True
Let y be (-4)/6 - 7/((-84)/8). Let v be 17 + -14 - (-15 + (0 - y)). Which is smaller: v or 19?
v
Suppose -16*c = -21*c + 40. Suppose c*p - 21 = 5*p. Is p bigger than 10?
False
Let m = 1033/42 + -171/7. Is 4 at least m?
True
Let y(u) = -2*u**2 - 9*u + 3. Let p be y(-5). Let k = p - -9. Is 7 != k?
False
Let m = 4 - 4. Suppose m = d - 3*n + 6, d - 3*n = -n - 4. Let z be 0 - (1 + 7/(-5)). Which is greater: d or z?
z
Let n = -2.9 + 3. Is -99 <= n?
True
Let l = -45853/7054 - -1/3527. Is l greater than or equal to -7?
True
Suppose 2*c + 46 - 175 = 3*v, -5*v = -2*c + 135. Suppose -w - c = -5*w. Let f be (3/w)/(12/(-15)). Is f > 1/5?
False
Let i be ((-78)/12)/((-15)/(-10) + -1). Let f = 0 + 1. Which is smaller: i or f?
i
Let a = -32 - -32. Suppose h + 4 = 2*l, 2*h + 5*l - l - 24 = a. Are 5 and h non-equal?
True
Let m = -0.14 - -0.1. Let w = m + -0.03. Which is smaller: -1/4 or w?
-1/4
Let k(j) = -7 + 6*j - 12*j**2 + 13*j**2 - 6*j + 10*j. Let s be k(-9). Which is smaller: s or -17?
-17
Let h(y) = 10*y + 171. Let t be h(41). Is t not equal to 2323/4?
True
Suppose -2*z + 314 = d + 297, z - 18 = -d. Let r = 36 - 19. Which is bigger: d or r?
d
Let t be (-3)/2*(-60)/9. Let n(d) = -7*d**2 + 4*d + 3. Let p(k) = -k**2 - k - 1. Let w(x) = n(x) - 6*p(x). Let f be w(t). Are f and 9 equal?
True
Suppose -2*y = -5*s - 56, 7*y - s = 3*y + 130. Is y greater than or equal to 3?
True
Let w be 24/(-14)*(-3 + 12/(-24)). Which is smaller: w or 144/23?
w
Let u be 2 - (-6 - 2126/(-266)). Do 1 and u have the same value?
False
Let n = -14/225 + 907/25425. Are n and 0 equal?
False
Let r = 0.057 + -0.077. Which is smaller: -71 or r?
-71
Let c(h) = h**3 + 4*h**2 - 11*h + 1. Let u be c(-8). Let d = 1163/7 + u. Is d < -1?
False
Let j(o) = 4*o - 29. Let m(d) = -10*d + 72. Let c(b) = 12*j(b) + 5*m(b). Let z be c(6). Let h = -4923/104 - -375/8. Is h at least z?
False
Let f = 294 - 7936/27. Let s(z) = z**2 + 3*z - 71. Let b be s(7). Are b and f nonequal?
True
Let x = -4 - 13. Let y(f) = 24*f + 6. Let b be y(-1). Which is smaller: b or x?
b
Suppose 5 = i - 3*t, 5*i + 6*t + 47 = 3*t. Does i = -9?
False
Let d be (-2046)/4108 - 24/(-48). Which is smaller: -1 or d?
-1
Let y = -6/563 - 63595/2252. Let d = y + 28. Let u = 3 + -4. Which is bigger: d or u?
d
Suppose 2*y = 5*i - 11, 3*i + i + 3*y - 18 = 0. Suppose 5*j + 0*o = 5*o - 25, -2*o = i*j - 5. Which is bigger: -14/9 or j?
j
Let b = 32 + -27. Suppose u - b = -5. Is 1 less than or equal to u?
False
Let z = -110 + 772/7. Let k = 0.5 + -0.8. Which is greater: k or z?
z
Let m be (-213)/(-33) - (-18)/33. Which is bigger: m or 1?
m
Let j(m) = m**2 - m. Let k be j(-1). Let l be ((-7)/(-21))/(k/(-6)). Is l bigger than -3/8?
False
Let d be -27 - -51 - (-146)/(-6). Let k = 0.5 + -6.7. Which is smaller: d or k?
k
Suppose -2*j = -g + 16, 3*g + 3 = 5*j + 52. Is 43 >= g?
True
Let z = 24 + -10. Let k(r) = r**2 + 4*r - 7. Suppose -c = -8 + 15. Let g be k(c). Are z and g nonequal?
False
Suppose -4 = 4*u + 2*p, 0*p = 4*p + 8. Is 2/31 < u?
False
Let j = -22 - -21.39. Let d = 0.6 - 0. Let r = j + d. Is -0.1 less than or equal to r?
True
Let q = 68 + -56. Let l = -7 + q. Which is bigger: 9/2 or l?
l
Suppose -2*t + 3*t = l + 11, -3*t + 25 = -2*l. Let m be 1*-2 + (-3 - l). Which is smaller: 5/2 or m?
5/2
Let u(z) = z + 5. Let m be u(5). Suppose 16 = -m*a - 4. Which is smaller: -3 or a?
-3
Let h(y) = y**2 + 4*y - 1. Let q be h(-7). Let j be ((-9)/(243/q))/((-4)/6). Which is greater: j or -2?
j
Let s = -23518/35 - -672. Let v(x) = -x - 1. Let o be 1 - (-1 + -1) - 3. Let h be v(o). Are h and s unequal?
True
Suppose 0 = 5*b + 192 + 3. Let l = b - -19. Let o = -8 - l. Is 13 greater than o?
True
Suppose 715 = 5*d + 5*x, d = 3*d - 5*x - 279. Suppose 0 = 3*f - d + 25. Suppose -3*r = 5*w - 51, -2*w + f = 2*w + 3*r. Do w and 11 have different values?
True
Let t = -2.3 - 30.7. Which is smaller: t or 4?
t
Let l = -1440 - -41759/29. Do 1/10 and l have different values?
True
Suppose 5*n + 5*d - 180 = 0, -4*n + 8*n = 4*d + 120. Let s be (0 - -15)*2/n. Let k = 28/55 - s. Which is smaller: 3 or k?
k
Let o = -0.69 - -1.39. Let q = o - 1.7. Which is bigger: q or 6/17?
6/17
Suppose -f + 2*f = -2*h - 22, 26 = -3*f + 4*h. Let y be 0 - (-2 + f + 5). Which is smaller: y or 10?
10
Suppose -3*i = -5*i - 4*w - 54, 4*i + 102 = -5*w. Which is smaller: i or -3?
i
Let y = -49 - -46. Let p = 0 + y. Is -4 greater than or equal to p?
False
Let f = -0.31 + 0.37. Let c = f + -0.07. Let l = -0.18 + c. Is 0 != l?
True
Suppose 0*d = 5*d + 5*i - 55, -5*d + 10 = -4*i. Suppose t + 5 = d. Let w = -41/4 + 10. Which is smaller: w or t?
w
Let p be 2/5 - (-24)/(-60). Suppose 6*g - g - 5 = p. Which is bigger: g or 3/4?
g
Let t(y) = -3*y**3 - 2*y**2 - 3*y - 2. Let c be t(-1). Let w be 1*(10/5)/c. Is 2/3 at least as big as w?
False
Let z = 290/7 + -7306/175. Which is smaller: 1 or z?
z
Let q = -2 - -2. Suppose -13*y + 15*y = q. Are y and 0 equal?
True
Let o = 1 - 0.1. Let r = o + -0.5. Is r at most as big as 3?
True
Suppose 5 - 17 = 4*m. Let g be (-2)/(-4)*(685/(-35) - m). Is -8 smaller than g?
False
Let b be 1144066/257985 + 2/(-7) - 4. Let c be ((-4)/(-9))/(-93 + 3). Let p = b - c. Which is greater: -1 or p?
p
Suppose 7 = -4*j + 23. Suppose -2*d + 55 = 5*n - j*d, 0 = 4*n - 5*d - 61. Let z be 10*(1 + 4/(-20)). Is n smaller than z?
False
Let t = 162.7 - 162.687. Which is smaller: t or -25?
-25
Let z(p) = -2*p**2 + 19*p + 5. Let w be z(10). Let x be 2 - (0 - -6) - w. Is 1/7 at most as big as x?
True
Let n(v) = -v + 1. Let z be n(-1). Suppose 0 = -u + p + 1, -z*u - p - 2*p = -12. Which is bigger: u or -1.4?
u
Suppose -53*g - 1664 = -61*g. Is g less than 628/3?
True
Let f be (-20)/8 - (3/(-6) - 1)