/4*8 - 0. Suppose 3*p + 0*m - m = -2, -8 = 3*p - a*m. Is -1/4 at most as big as p?
True
Let f = -659 + 658. Which is smaller: 2/91 or f?
f
Suppose -c - 3 = -4*c. Let b(k) = -28*k + 117. Let u be b(4). Suppose -u*h = -31 + c. Which is greater: h or 7?
7
Suppose 5 + 15 = -5*h. Let y = 54.913 - -0.087. Let w = y + -54. Which is smaller: h or w?
h
Suppose -5*u + u = -f + 3, 0 = 4*f + 3*u - 12. Suppose f*c - 37 = 3*i - 16, 4*i - 28 = -4*c. Is c greater than or equal to 2?
True
Suppose 3*i = 2*m + 11, 11*i = 7*i + 5*m + 17. Suppose -11*a = -0*a - i*a. Let d be 2/(-3)*3/23. Which is greater: a or d?
a
Let o be 640*((-2)/14 - (-414)/(-630)). Which is greater: o or -513?
o
Let y = -3073388/13117 + 3046/13. Which is greater: 0 or y?
y
Suppose -141*l + 148*l - 7 = 0. Is l at least -4/33?
True
Let b = -412 + 407. Is -19 less than or equal to b?
True
Let y = -138 + 137.96. Does y = -2/3?
False
Let k = 64 - 64. Suppose -2*q + 1 = -4*n - 3, 5*n - 4*q + 5 = k. Is n >= 2/43?
False
Let q be -120*(3/3 - (-16)/(-12)). Is 41 greater than q?
True
Suppose -7*b - 1213 = -1206. Let v = 2316 - 148221/64. Which is smaller: v or b?
b
Let h be -4 + ((-4)/(-2) - 1). Let w(x) = x + 7. Let c(p) = 1. Let t(u) = 5*c(u) - w(u). Let g be t(3). Which is bigger: h or g?
h
Let w be (-21)/(10/(40/(-4))*-3). Suppose 2*m + 3*c = -9, -6*m - 22 = -3*m - 4*c. Is m bigger than w?
True
Let u = -61 - -89. Let l = 10 - 9.9. Is u at most as big as l?
False
Suppose 5*y + a - 680 = 0, 0*y - a = -4*y + 553. Is 275/2 >= y?
True
Let a = -126.1 + 126. Which is smaller: 2/19 or a?
a
Let i = -13/4 - -3. Let g = -120 - -109. Is i greater than g?
True
Let c be 45*(6/(-15) - -1). Let z be c/(-6)*(-8)/6. Let g(l) = -l**3 - 4*l**2 - 4*l + 1. Let d be g(-3). Which is smaller: z or d?
d
Let k be 3 + ((-17)/14 - 0). Let b = -17 - -31/2. Let s = b + k. Is -1/3 >= s?
False
Let o(y) = 2*y**2 + 3*y - 4. Let w be o(1). Is w less than -1/54?
False
Let p = 5 - 0. Suppose 0 = -a + b + 3*b + 8, 5*b = -a - 1. Suppose 2 = -a*j + 6. Are p and j equal?
False
Suppose 2*q + 16 = 6*q - 4*v, -4*v - 12 = 0. Let z = -326/3 + 110. Does q = z?
False
Let o = -190 - -108. Which is smaller: o or -81?
o
Let q = -19 - -21. Let h be (-112)/(-15) - q/(-6). Let u = -42/5 + h. Is -2 less than u?
True
Suppose 5*z - n + 462 = 0, 2*z + 3*n + 362 = -2*z. Is -92 bigger than z?
False
Suppose 26*h - 133 - 491 = 0. Are h and 23 unequal?
True
Let n be (-3)/9 - 102/(-216). Let u = n - -10/9. Which is smaller: u or -1?
-1
Let m(o) = -3*o - 4. Let u be m(-2). Suppose u*g = -3*g - 30. Is -3 < g?
False
Let n(g) = -11*g - 58 + 16 - 31. Let o be n(-8). Is 14 greater than o?
False
Suppose 21*r = -7*r. Suppose 0 = -y - 1 - 1. Which is smaller: y or r?
y
Suppose 3*g - 7 = 3*u + 8, 2*g - u = 11. Let i = -2 - -6. Does g = i?
False
Let m(p) = -3*p - 2. Let l be m(-1). Let v(q) = q**2 + 4*q + 3. Let h be v(-2). Let b be h/(-10)*(-6 + 18). Which is smaller: l or b?
l
Let d = -9/455 + -2/35. Let o = -3 - 4. Let x = o - -6. Which is smaller: x or d?
x
Suppose -2*z - z + 75 = 0. Let o = 25 - z. Let y be 2/(-16)*(-2 - o). Are y and -17 nonequal?
True
Let f be -125 + 112 + -132 + -1. Do -1024/7 and f have different values?
True
Let k = -89 - -92. Let f be (-2 + 3)/(k/(-18) + 0). Which is smaller: f or -4?
f
Let f be (-6)/(-4)*(-32)/(-24) - 11. Let z be 202/66 - (-2)/6*f. Is 1 <= z?
False
Let f = -172966/651 - -1860/7. Which is greater: 1 or f?
1
Let d = 295 + -926. Which is smaller: -632 or d?
-632
Suppose -12*j = 14 + 22. Let p be (-2)/19*j/8*-2. Which is bigger: p or 0?
0
Let n = -784 + 963. Which is smaller: 182 or n?
n
Let q = 660 + -75897/115. Is q >= -1?
True
Suppose 3*h = j + 13, -5*j - 4 = 5*h - 39. Suppose -6*b + j*b - 128 = 0. Let w(d) = d**3 - 7*d**2 + 2*d - 9. Let f be w(6). Which is greater: b or f?
b
Let o be 15580/246*(-6)/4. Is o less than -89?
True
Let f(a) = 6*a - 4. Let t be f(2). Suppose 0 = -2*o + t*o + 18. Is o greater than or equal to -0.5?
False
Suppose -538 = -8*x - 538. Which is greater: x or 4/401?
4/401
Let y = 19 - 35. Let s be -4*4/y*2. Let h = 3 - 3. Which is smaller: s or h?
h
Let m = 39 + -45. Let a be (-14)/(-3) - 0/m. Is 4 <= a?
True
Suppose 4*v - 12 = o, -v - 15 = -4*o - 6*v. Suppose q - 2*q = o. Suppose 4*r - 2*n - 2 = 0, -5*r + r + 6 = 2*n. Which is bigger: r or q?
r
Let o = 3.26 - 3.36. Which is bigger: 103 or o?
103
Let i = 63 - -94. Suppose 3*z = -2*z - l + i, -4*z = -4*l - 140. Suppose -3*d = d + z. Is -8 smaller than d?
False
Suppose -14*u = -75*u + 9028. Is u equal to 148?
True
Let n be 3 + (-92)/28 + (-9)/(-7). Let i be (1 - n) + 19 - -1 - 2. Do i and 19 have the same value?
False
Let f = -322080 - -20934701/65. Let i = -38/5 - f. Which is greater: i or 0?
i
Let x = -132.2 + 130.2. Which is smaller: -1 or x?
x
Let r be 2/((-4)/14) + 41646/5951. Is 1 > r?
True
Let g(s) = 3*s**2 - 2*s - 3. Let r be g(2). Suppose 0 = -3*m - r*z + 26, m + 4*m - 33 = 2*z. Let l(o) = o**3 - o**2 + 3*o - 3. Let t be l(2). Is t < m?
False
Let a be 30 - 5/(-15)*-6. Suppose 0 = -2*l - 2*l + a. Is l less than -4?
False
Suppose 0*w + 47 = -4*w - 5*v, w = 2*v - 2. Let m = -2 - w. Is 6 smaller than m?
False
Let l = -3 + 3. Let z be (-1)/(-2)*(3 - 1). Let w be (4 - (1 + 3))*z. Is w < l?
False
Let y = -8923/5010 + 12/835. Let f = 28/15 + y. Which is bigger: 0 or f?
f
Let o = 0.0625 - -317.9375. Which is greater: o or 1?
o
Let u = -18 - -22. Suppose -u*t - 10 = -2*t. Let n be (-1)/(-2)*-2 + -3. Is n at least as big as t?
True
Suppose 2 = 4*w - 3*q, 3*q = -2*w - 4 - 4. Let d(c) = c**2 + 4*c + 2. Let n be d(w). Is n >= 5/21?
False
Suppose 13 = -5*k - 2*n, 3*k = 2*k - 4*n - 17. Which is smaller: 2/809 or k?
k
Let m(q) = q**2 + 26*q + 5. Let d be m(-26). Suppose d*h - 17 + 42 = 0. Let a be 0 - (-1 - -7) - 1. Are a and h equal?
False
Let f be 18/81 - (2 - (-284)/(-18)). Suppose 0 = t + 5*i - f, 3 = t - 5*i - 21. Which is smaller: t or 21?
t
Let p be 1/7*938/(-1608). Let f = 0 + -1. Which is smaller: p or f?
f
Let h = -41 - -40.76. Let g = -5.94 + 6. Let s = g - h. Which is smaller: 0.2 or s?
0.2
Let q = -191 - -371. Let a be q/126*(-2)/(-4). Is a <= 1?
True
Let a be 30/7 + (-4)/14. Let l be (a - 7)/((-3)/2). Let y be 1 - ((-4 - -2) + l). Is 1/67 > y?
False
Let j = 464 - 318. Which is greater: j or -5?
j
Let l(q) = -q**3 - 13*q**2 - 22*q - 7. Let k be l(-11). Is k at most as big as -45/8?
True
Let x = -0.12 + -13.88. Let n = x - 0. Let s = n + 13. Which is greater: s or 1?
1
Let l be 2/(-1)*6/(-4). Suppose -2*w + 3*r = 2, w - 10*r - 10 = -14*r. Suppose -v = l - w. Is v greater than 3/17?
False
Let c(y) = -24*y + 1419. Let n be c(86). Is -645 at least n?
True
Let z = -341 - -340. Which is bigger: -13/5 or z?
z
Suppose -5*l + 4*b + 533 = 0, 27 + 509 = 5*l - 3*b. Let s = -114 + l. Is s != -6?
True
Let s = -11.33 + 10.7. Let a = s + 0.48. Which is smaller: 2/5 or a?
a
Let g = 64539/5 - 12837. Let j = g + -71. Is 0 <= j?
False
Let x(g) = -97*g - 3. Let t be x(-4). Let p = 145659 + -1598010/11. Let a = p - t. Is -1 equal to a?
False
Let q(g) = -g**2 - 3*g - 2. Suppose -8*d - 3 = -7*d. Let n be q(d). Let z be ((-4)/7)/(n/4). Which is bigger: z or 0?
z
Let o(q) = q**3 + 3*q**2 - 23*q + 6. Let t be o(-6). Suppose -t = -3*z + 7*z. Are -7 and z equal?
False
Let u(k) = k + 3. Let y be u(5). Suppose -3*m - 35 = -59. Suppose 13*s - m*s - 40 = 0. Is y at least s?
True
Let j = 6.217 + 0.083. Let c = -7197 + 7196. Is c at least j?
False
Let l(q) = -q**2 - 11*q + 3. Let x be l(-11). Let h = x - 3. Which is bigger: -2/17 or h?
h
Let o = 4 - 4. Let l = 929 - 912. Which is smaller: l or o?
o
Let d = 240987/1297084 + -3/13372. Which is bigger: d or 1?
1
Let s = -2/1467 + 15658/7335. Is s at least 1?
True
Let b(t) = -4*t**3 - 2*t**2 + 1. Let x be b(-1). Suppose -i + x = 0, -4*h - 2*i = -3 - 3. Suppose -u + 18 = 5*n, -6*u + u - 2*n + 21 = h. Is u >= 13/3?
False
Let y(g) = -g**3 + 6*g**2 + 9*g - 6. Let b be y(7). Let t = -1780 + 1787. Which is smaller: t or b?
t
Suppose -s = 3*m - 91, -5*s = 83*m - 82*m - 399. Which is smaller: 78 or s?
78
Let q = 4 - 0. Suppose p = -2*s + 4 + 3, 0 = -s - q*p. Suppose 0 = 2*l - s + 8. Is l smaller than -1?
True
Suppose -4*k + 2*p = 2, 4*k - 4*p - 6 = -2. Let u be 752/32 - 3/k. Which is bigger: 26 or u?
26
Let g = 9/302 + -10523/358172. Which is sm