9 + 709. Is n at most as big as l?
False
Let x be 0/(15/(-30) + (-6)/4). Is x bigger than 0.045?
False
Let u be 12/10*20/6. Suppose 0 = 5*q + u*a - 5745, 3*a + 4632 = 4*q - a. Let b = q - 33441/29. Which is smaller: -1 or b?
-1
Let a = -14 - -21. Let v = a - -16. Is 23 at least as big as v?
True
Let c = 121.1 + -142. Let u = 21 + c. Which is smaller: -29 or u?
-29
Let n be (2 + 1)/(6/10). Suppose 0 = -n*r - 0*g - 4*g + 4, -4*g - 8 = 2*r. Let l = -5 + r. Is l smaller than 2/15?
True
Let z be 1 - (23 + -3)/(-4). Let s = -6 + z. Is s at least as big as -2?
True
Let z be 43/(-430) - (-14)/20. Which is smaller: z or -0.24?
-0.24
Let p(d) = 3*d + 89. Let t be p(-30). Which is smaller: -1/658 or t?
t
Suppose s = -4*s + 10. Suppose 4*g = 3*c - 23, -s*g - c - 4 = -g. Let z = -302 + 895/3. Which is smaller: z or g?
g
Let c be 3/12*(-156)/1742. Is 1 greater than c?
True
Let i = 0.1 - 0.1. Let c = -1.7803 - -0.6803. Is c smaller than i?
True
Let j = -933 + 364. Which is smaller: -570 or j?
-570
Suppose 0*f = 5*r - 2*f + 370, 3*r + 222 = 3*f. Which is bigger: -75 or r?
r
Suppose -7*a + 160 + 106 = 0. Suppose -a*x + 42*x = -4. Let s = 123 - 617/5. Is x greater than s?
False
Suppose -2*z - 7 = -17. Suppose r + 0*r - 4 = -2*l, 0 = z*r + 10. Which is greater: l or 4?
4
Let d = -280 + 280.072. Which is bigger: d or 2/11?
2/11
Let s = -36.66 + 0.66. Let d = -87 - s. Which is smaller: d or -0.1?
d
Let y = 72295245/334883 - -5/19699. Let w = 216 - y. Suppose 5*j = 2*j. Is w smaller than j?
False
Let c be (-2 - -42)/((-207)/18) - -4. Is c greater than 1?
False
Let b be (-6 + 6)*10/(-20). Let u be 2/3 - 34/24. Which is greater: b or u?
b
Let l(j) = j + 4. Let f be l(-4). Suppose 5*p - 4*m - 7 + 28 = 0, -4*p - 2*m + 4 = f. Which is smaller: p or -2/7?
p
Let m = -38 + 25. Let o = 12 + m. Which is smaller: o or 28/11?
o
Let x(y) = y**2 - y - 7. Let r(k) = k**2 - k - 7. Let i(g) = -6*r(g) + 7*x(g). Let s be i(-4). Suppose 0 = 3*d - 14 - s. Which is bigger: d or 7?
d
Let l = -478.7 - -479. Is l < -0.7?
False
Let s = -2/851 + 4397/60421. Which is bigger: s or 0?
s
Let q = -3227 - -3226. Let g = -53/9 + 4205/711. Is q less than or equal to g?
True
Suppose 3*g = 4*s - 695, g + 4*g = -4*s + 655. Is s smaller than 173?
True
Let q(t) = 5*t**2 + 11*t - 3. Let y be q(-5). Let g = y + -61. Which is smaller: g or 5?
5
Suppose -1877 = -4*c - n, c + 4*n + 916 = 3*c. Which is bigger: c or 470?
470
Let n = 589 - 539. Which is smaller: 47 or n?
47
Let z = 1.26 + -1.36. Which is smaller: 3/5 or z?
z
Let p = -0.9 + 0.79. Let a = p + 0.09. Let u = -0.08 + a. Which is smaller: 3 or u?
u
Let d be 192 + 30/(-10) + -1. Which is greater: d or 187?
d
Let m(n) = -2*n + 27. Let f be m(12). Suppose 0 = 3*k - 2*k - 2. Suppose -f = -z - k. Which is greater: z or 1/8?
z
Let z be 4 - (-1 + (-2 - -4)). Suppose 5*r + 126 + 2054 = 5*g, -z*r + 2*g = 1312. Let f be r/(-1350) + 4/(-10). Which is bigger: f or 0?
0
Suppose 0*l + 2*l + 32 = 0. Let b = 17 + l. Is -1/12 at least as big as b?
False
Let z(n) = -n**3 - 5*n**2 + 6*n. Suppose 0 = -4*j - 3*t - 27, 0 = -3*j + 6*j + 3*t + 21. Let w be z(j). Suppose -7*o + 8*o + 1 = w. Is -1 smaller than o?
False
Let r(m) = 2*m**2 + 3*m - 4. Let p be r(-3). Suppose -2*i = -2, 2*d + 3*i = p*d + 48. Let z = d - -14. Which is smaller: z or 0?
z
Let g(t) = t**3 - 28*t**2 - 2*t + 53. Let b be g(28). Let h = -2 - -1. Which is bigger: b or h?
h
Let q = -0.23 + 0.43. Let h = q + 0.3. Is h >= 4/3?
False
Suppose -4*k + 5*c = -5, -c - 2*c - 3 = -2*k. Let x = 383 + -4223/11. Which is smaller: k or x?
x
Let n be 20/15*15/(-20). Which is greater: n or 1?
1
Let r = 53 + -35. Are -0.9 and r nonequal?
True
Suppose -4*y = -y. Let f = 140 + -139. Suppose -3*r + y*u + f = -5*u, 0 = -4*u - 8. Which is bigger: -4 or r?
r
Let d be 374/(-570) - 2/(-3). Suppose 12*o - 167 - 169 + 348 = 0. Which is bigger: o or d?
d
Let t(b) = b**3 - 10*b**2 + 11*b - 10. Let k be t(9). Let d be 52*((-2)/k + 10/20). Which is greater: 25/2 or d?
d
Suppose 12*g - 9*g = 12. Suppose 0*t - g*t - 144 = 0. Let q be 24/t*(-3)/(-7). Which is bigger: 1 or q?
1
Let g = -2.6 + 4.6. Is -96 > g?
False
Suppose 4*t - 8 = -w - 2, 12 = 2*t - 4*w. Let x be 226/4*(-1 - 1). Let n = x - -343/3. Which is smaller: n or t?
n
Let c = -20.6 - -18. Let l = c - -2.5. Are l and -0.06 non-equal?
True
Suppose 3*m + d = 0, 3*m + 16 = 2*m + 5*d. Let s = 6/337 + -3484/6403. Let o = 71/171 + s. Which is greater: m or o?
o
Let x = -1049 + 1048. Which is smaller: -1/28 or x?
x
Let t = 9.95 + -10. Let p = -7.05 - t. Let d = 9 + p. Are d and 3 nonequal?
True
Let z = 487 - 54545/112. Let i = 477/112 + z. Let o(q) = 3*q**3 + 3*q**2 - 3*q. Let v be o(1). Is i > v?
True
Let a(o) = -o**3 - 8*o**2 + 11*o + 7. Let v be a(-9). Suppose -10*i + 7*i + 33 = 0. Let s = i + v. Which is smaller: s or 1?
s
Let d be (-12)/4 + (0 - 132/(-54)). Which is bigger: d or 0?
0
Let x = -1467/14282 + 12/193. Is x equal to 1?
False
Suppose -5*z + 17 = 2*q, 9*z - 4*z - 2*q - 13 = 0. Suppose 0*o = -z*o. Is 5/7 at most as big as o?
False
Let l be (-1 - (1 - 5)) + (1 - 1). Suppose -3*b - l*b = 414. Are -68 and b non-equal?
True
Let b be (-1)/(-7)*(-2)/1. Let d be -1*30/(-4)*(-4)/(-10). Which is greater: b or d?
d
Let x be 1/950*1876/(-18). Let a = 366 - 82349/225. Let r = x + a. Which is smaller: r or 1?
r
Suppose 5*r = 2*j + 57, j - 12 = -2*j. Let s be (0 + 1)/((-2)/(-22)). Which is smaller: s or r?
s
Suppose 0 = u - 3*u - 3*z - 14, 4*u = 4*z + 12. Is u smaller than 6/217?
True
Let b = -0.45 - -0.45. Let v = -3.2 - -4.5. Which is smaller: b or v?
b
Let u = 22615/3348 + -4/837. Let f = 87/20 - u. Let n = f + 1/15. Do -3 and n have different values?
True
Let z = 59 - 55. Suppose -z*c = -2*j + 2, -j + 3*c = 6*c + 4. Which is smaller: j or -14/9?
-14/9
Suppose q = 5*w - 12 - 749, 2*w = 4*q + 290. Let m be -1 - 3/(w/(-57)). Which is smaller: m or -0.1?
-0.1
Let n = -6229/264 - -260/11. Suppose 4 = -5*o - 0*u - u, -3*u + 3 = 0. Is n smaller than o?
False
Let r be 1*(-3)/6 - (-12)/(-8). Is r < -2/19?
True
Let f = -766/13 - -8946/143. Which is smaller: 2/11 or f?
2/11
Let u be 1/(-2 - (-2)/2). Suppose 0 = -24*m + 19*m + 5. Let g be (m/(-6))/(-4 - (-9)/2). Which is bigger: u or g?
g
Let o be (170/(-66) + 2)/(2/30). Are o and -8 equal?
False
Let k = -1.954 + 0.074. Let b = 2 + k. Let y = -1.12 + b. Which is smaller: y or -0.05?
y
Let p be 3 - (3 - (-6)/177). Let g be (-40)/(-10) + -2 + -1. Which is smaller: p or g?
p
Let m be 4/10 + 54/210. Let y = m + 1/5. Is y > 2?
False
Suppose -29*u + 34*u = -14*w, 2*u + 5*w = 0. Let p be 0 + (-2)/2 + 7. Is u greater than p?
False
Let x be (-8 - -10) + (162/(-39) - -2). Which is bigger: x or 1?
1
Let v = -15 + 15. Suppose v = -5*q + 4*q. Let r = -0.65 + 0.6. Is r less than q?
True
Let w(b) = b - 32. Let h be w(33). Which is smaller: 48/35 or h?
h
Let g be 2 + 12/(-4) + 0 - 24. Which is smaller: -26 or g?
-26
Let v(p) = p**2 + 19*p - 6. Let j be v(-20). Which is smaller: j or 15?
j
Let f = -0.066 - 0.004. Is f greater than -2/33?
False
Let y(n) = 22*n + 130. Let o be y(-6). Let c = -9 - -6. Let m be (1/(-2))/(c/(-6)). Is m at least as big as o?
True
Suppose 5*v - 12 = 4*v + 2*s, -4*v = -5*s - 36. Suppose 3*h = 5*u + 75, u - 34 = -v*h + 43. Which is smaller: h or 21?
h
Let w(i) = i + 3. Let g be w(0). Let o be (4 - 7)*1/g. Let s be (-12)/(-18) - o/3. Which is bigger: 2/13 or s?
s
Suppose 5*j + 2*o = -519, -5*j + 2*o - 540 = -3*o. Which is bigger: -103 or j?
-103
Suppose 7*h + 90 = 12*h. Suppose 13*f - h*f = 10. Is -5/8 bigger than f?
True
Suppose 5*f = 6*f. Suppose 0 = -4*b + 2*l + l, f = 4*b - 4*l. Which is greater: 4.1 or b?
4.1
Let b(l) = l**3 - 13*l**2 - 4*l - 29. Let a be b(13). Is -81 smaller than a?
False
Suppose -4*y + 23 = 3*p, -3*p + 16 + 9 = 5*y. Suppose -2*r = -p*g - r + 102, 5*r = 2*g - 27. Let l be 57/g + (0 - 3). Which is smaller: l or 6?
l
Let m(f) = -3*f - 20. Let u be m(-10). Suppose 8*q + 12 = u*q. Suppose 0 = -i + 5*r + 1, -4*r + 3*r + 13 = 2*i. Are i and q unequal?
False
Suppose -2*j - 18 - 54 = 0. Is j at least -34?
False
Let p = -1032 + 836. Is -196 less than p?
False
Suppose 16*u - 7*u + 54 = 0. Suppose s - 3*s = 8. Let l be (-138)/126 + s/u. Which is bigger: l or -2/7?
-2/7
Let m = -4.675 + 4.74. Which is smaller: m or -2?
-2
Le