 be 180/46 - (-4)/46. Is 3 smaller than w?
True
Let i be 0/(-9) - (-2)/926*1. Does 1 = i?
False
Let b be 2/((-9)/((-216)/(-88))). Suppose -i - 3*i = 8. Which is smaller: b or i?
i
Let b(q) = -q**2 - 8*q - 13. Let g be b(-12). Which is smaller: g or -50?
g
Let m(h) = 210*h + 444. Let b be m(-2). Which is bigger: b or 27?
27
Let d be (16/20)/(3/(-15)). Let j be 319/(-630) + (-2)/d. Let n = j - 418/315. Which is greater: n or -0.2?
-0.2
Suppose -v + 3*p + 67 = 0, p = -v - p + 87. Which is smaller: v or 311/4?
311/4
Let p(f) = -f**3 - 29*f**2 - 121*f - 20. Let i be p(-24). Is i >= 67/2?
False
Suppose 0 = -2*r - 2*r + 3*b - 255, b - 316 = 5*r. Let w = 65 + r. Is -11 less than w?
True
Let b(g) = g**2 - 7*g + 3. Let n = 20 + -20. Suppose -t - 3*u = -3, n = -3*t + 3*u + 2*u + 23. Let v be b(t). Is -3 less than v?
False
Let b(c) = c**2 - 6*c + 4. Let l be b(6). Suppose -1 = -t + 2*u, 2*t + u + l - 26 = 0. Let f = 2458 - 2450. Which is bigger: t or f?
t
Let j be (1 - -14) + -3 - 7. Which is greater: 24/5 or j?
j
Let i = 122 + -184. Let q = 140 - 204. Which is greater: i or q?
i
Let m = 944142 + -39651719/42. Let l = 107/2 - m. Which is greater: -0.1 or l?
l
Suppose -10*y + 11 = -9. Let l be ((-6)/(-4))/(6/16). Suppose y*f + l*d = -2, -7*f - 5*d = -2*f. Is f not equal to 32?
True
Suppose 5*g = -15 - 0. Let r = -4.14 - -3.84. Which is smaller: r or g?
g
Suppose 5*n + 21 + 12 = v, 0 = -4*n + v - 27. Let k = n - -10. Suppose -k*j - 7 = 1. Is -3 at most j?
True
Let r be -2*(-14 + 13)/(2/(-4)). Do 14 and r have different values?
True
Let h(m) = m**3 + 3*m**2 - m + 1. Let v be h(-3). Suppose -v - 8 = -3*a. Suppose p + a*r = 2 - 7, 0 = -p - r - 2. Which is smaller: p or -2/13?
p
Suppose -4*q - 2*z - 3208 = 0, -226*q + 225*q - 802 = 4*z. Is q <= -802?
True
Let s = -23 - -23.11. Let j = -2.1 + 1.93. Let w = j + 0.27. Which is greater: w or s?
s
Let d(v) = -24*v + 291. Let r be d(13). Is -22 smaller than r?
True
Let n be 2 - ((-171)/(-105))/(8/10). Let q = -9/28 - n. Is 0 <= q?
False
Let j = 2/43265 + 7933/30540. Let b = j - 3/17. Which is smaller: -1/4 or b?
-1/4
Let c = -88 - -57.5. Let t = c - -31. Let f = 0.1 - t. Is -4 <= f?
True
Let y = -45/7 + 1017/70. Let z = y - 8. Is 0 > z?
False
Let u be 8 + -12 + 8 - 5546/1386. Which is bigger: u or 1?
1
Let w be ((-2)/(-7))/((-152)/133). Which is smaller: 1/5 or w?
w
Let d be -1 + 1*(2 - -2). Suppose i = 1 + d. Let q be (-20)/8*48/(-20). Are i and q equal?
False
Let u be (-2169)/(-433) + -1 - 4. Let v = 7742/8557 + 6254517/29641448. Let b = v + u. Which is smaller: 0 or b?
0
Let f = 39 - 5. Suppose 4*m + 4*d - 32 = -0*d, 5*m = -3*d + f. Let h be -5*((-13)/m + 2). Is 2 < h?
True
Let h(z) = z**3 - 4*z**2 - 6*z + 5. Let n be h(5). Suppose 32 + n = -8*g. Which is bigger: -19/6 or g?
-19/6
Let i = -5.833 + 5.8. Let o = i + 2.833. Which is bigger: o or 1?
o
Let b be (-139)/(-4) - (-2)/8. Let l = -8499/2 + 4285. Which is bigger: l or b?
l
Let s = 0.249 - -0.151. Is s at most as big as -2.5?
False
Let b = 61.5 - 42. Let z = b + -13.7. Is 2 greater than z?
False
Let j(m) = 31*m - 218. Let u be j(7). Which is bigger: 6 or u?
6
Let d = 0.0483 + -85.9483. Let o = -86 - d. Which is bigger: 102 or o?
102
Let t be -12 + 14 - (113 + 1). Let h be (-6)/14 + (-48)/t. Suppose 3*p + x = -4, 4*x - 22 = p + 1. Do h and p have the same value?
False
Let u be 3544/(-24) + (-6)/(-9). Let g = -29 + u. Let c be g/(-480) - 4/(-30). Which is bigger: 0 or c?
c
Let h be (-2)/(-20)*16*5. Let k(b) = -b - 7. Let x be k(h). Which is smaller: x or 1/4?
x
Let a be (-12)/(-3)*4*7/(-112). Which is greater: a or 1/307?
1/307
Let a = -0.03 - -17.03. Let l = 16 - a. Let s = 3.31 - -0.69. Which is smaller: s or l?
l
Suppose 3*w - 5 = -2*r, 2*w + 4*r = 4*w + 18. Let s be ((-40)/1190)/(4/4414). Let d = s + 258/7. Which is smaller: w or d?
w
Let u = -5 - -6. Let g(p) = 14*p + 7. Let z be g(7). Let k be (-7)/z*5/2. Which is smaller: k or u?
k
Let x be (-38)/(-114)*-3*(0 + -1). Suppose 0 = 4*t + 5*d + x, t - 2*t - 4*d + 8 = 0. Let s = -1 - 2. Which is bigger: t or s?
s
Let i = -406 + 361. Which is bigger: -44 or i?
-44
Suppose x = 8*x - 28. Let s(y) = y**3 - 9*y**2 + y. Let l be s(9). Which is greater: x or l?
l
Let v be (-1)/(-2) - 2/(-4). Let u be -4*(2 + -3) + (-130)/36. Which is greater: v or u?
v
Suppose 3*h - 2*f + 19 = 3*f, f = -4*h + 13. Let d be -3*(8 + -4) + h. Are -9 and d equal?
False
Let h = 24 + 8.2. Let a = 31 - h. Is 0.1 less than a?
False
Let w(p) = p. Let s(f) = 2*f**3 + 21*f**2 - 18*f - 19. Let b(c) = -s(c) - 5*w(c). Let i be b(-11). Is 1 != i?
True
Let r = 2 + 1. Suppose -2*x + 3*q + 17 + 4 = 0, -2*q = -3*x + 19. Suppose 0 = 5*y - 2*o - 1 + 2, -2*o + 3 = -x*y. Which is smaller: y or r?
y
Let k = -1794.347 + 1759.4. Let a = k + -0.053. Let z = -22 - a. Which is greater: 2 or z?
z
Let b(l) = 31*l**2 + 247*l - 11. Let m be b(-8). Which is smaller: m or -47/12?
-47/12
Let u be ((-1665)/162 - -10) + 1/2. Which is smaller: u or -13?
-13
Let w = -2472 + 2471.9678. Which is smaller: 0 or w?
w
Let v be 4*(-1)/9*-12. Suppose 0 = 9*p + 4*p - 65. Which is smaller: v or p?
p
Let t = -0.21 + -0.79. Let a = -1.74 - -1.3. Let f = a - 20.56. Which is smaller: t or f?
f
Let l = 15383/2460 - 2/615. Suppose -2*q + 3*u = -6, -3*q + 12 = 4*u - 14. Let r = l - q. Is r at most -1?
False
Let m be 100/(-55) - (-2)/(-11). Let c be (-60)/3*1*m. Let h be 30/c*(-16)/(-30). Is -1/3 greater than h?
False
Let g = -1.814 - -1.734. Which is smaller: g or 3/13?
g
Suppose 0 = z + 4*h + 7, -h + 1 = -2*z + 5. Let k be (-22)/(-1) + (-15)/5. Let j = k - 10. Is z greater than or equal to j?
False
Let q = 119 + -116. Suppose -f + 2*d = -7, -3*d + d - 6 = 0. Is q at least f?
True
Let g = 95 - 31. Suppose 5*f = -2*y - 564, -2*f - 155 = 3*y + g. Let p be f/(-42) + (-2)/(-7). Is -4/7 less than or equal to p?
True
Let g = -2891 + 2802. Which is smaller: g or 7?
g
Suppose x + 15 = -7. Let c be 20/x + -33 + 33. Suppose 4*r - s + 10 = 0, -s - 3 + 9 = -2*r. Do c and r have the same value?
False
Let v(q) be the first derivative of -2*q**3/3 + 3*q**2/2 - 5*q - 7. Let t be v(4). Let i be 5/(t/(-10)) + -3. Is i at most as big as -2?
False
Let k be (-99)/5 - 2/10. Let x(u) = -u**3 - u - 20. Let v = -28 + 28. Let c be x(v). Is k bigger than c?
False
Let d = 21/284 + 2/213. Let w be 1/(-4) + -4*2/(-32). Which is smaller: d or w?
w
Let m = 1.66 + 7.34. Let b be (2/(-9)*-1)/(-1). Is b > m?
False
Let f = 25 - 20. Let q be f/2*(-16)/(-40). Let w be -1 - -4*q/2. Which is greater: 3 or w?
3
Let g = -13 - -13. Suppose -2*b - 4*k - 8 - 4 = g, -15 = 5*b + 5*k. Suppose 4*z - z + 5*n - 7 = b, -4*z = -3*n - 19. Is 4 equal to z?
True
Suppose 14*k + 60 = 19*k. Suppose 4*v + 22 - 78 = 0. Is v at least k?
True
Let z(f) = 2*f**3 + 3*f**2 + 2*f + 2. Let d be z(-2). Suppose -31*o = -26*o + 35. Which is greater: d or o?
d
Let p = 595 - 598. Which is smaller: p or 45?
p
Let i = 461/39 + -35/3. Let g be 1 - 2 - -1 - 1. Let p be (g - -3)*10/(-50). Is p greater than or equal to i?
False
Suppose 38*z + 11 = 49. Which is greater: -1/230 or z?
z
Suppose 0 = 9*g - 8 - 10. Let o be (4 - g)/4*6. Is o > 13/4?
False
Let d = 2.213 + -2.113. Let g = 0.21 - 1.11. Is d equal to g?
False
Let q be (-150)/(-31) + 41 + -46. Is -1 at most as big as q?
True
Let s = -0.544 - -1.544. Which is bigger: s or 26/5?
26/5
Let l = -21.3 - -21.172. Is l greater than -1?
True
Let k be (3/15 + 1)/((-117)/3330). Which is bigger: k or -34?
-34
Let q(g) = 4*g - 171. Let u be q(65). Does u = 97?
False
Suppose 3*a = 3 + 9. Suppose 0*b + 4 = a*b. Is -3/14 equal to b?
False
Let z = -17.7 - -0.7. Let s = z - 6. Let j = s + 22. Is 2/5 > j?
True
Suppose -b - 5*t + 21 = 0, -b = -0*b + 4*t - 17. Let g be (-26)/52 + (0 - (-26)/116). Let p = -167/290 - g. Which is smaller: b or p?
p
Let v(y) = -y**3 - 3*y**2 + y - 1. Let n be v(-3). Let s be ((-1)/n)/((-1)/(-14)). Suppose -113 + 119 = 2*c. Which is smaller: s or c?
c
Let c(p) = 34*p - 147. Let l be c(7). Which is bigger: l or 93?
93
Let k be -13 + 6730/374 - (5 - 0). Is k at most -1?
False
Let i(r) = r + 8. Let s be i(-7). Suppose h + 7 = 4*t, -2*h - 7 + 3 = 2*t. Let b = s - t. Which is smaller: 1/5 or b?
b
Let d be (0/(-4))/(2/1). Let z be 252/(-49) + (-2)/(-14). Let l be -2 - (16/z + 1). Which is smaller: l or d?
d