 k = -9. Which is smaller: l or 10/23?
10/23
Let k(o) = -3*o - 53. Let i(a) = -a. Let h be i(9). Let v be (-21 - (5 + h)) + -1. Let x be k(v). Does 2/15 = x?
False
Let h = -10756/3 - -3585. Let j(z) = -58*z**2 - 3*z + 3. Let d be j(3). Let q = 12146/23 + d. Is h at least as big as q?
False
Let c(z) = 19*z**3 + 4*z**2 - 12*z + 1. Let a be c(-8). Are -9373 and a nonequal?
True
Let d = 881 - 881. Which is greater: d or -5/41?
d
Let t be (-13640)/(-480) + -3 + -11. Which is greater: t or 15?
15
Let n(l) = l**2 - 4*l + 3. Let f be n(4). Suppose 3*q + 69 = 4*q + i, -f*q + 183 = -5*i. Suppose 8*k + q = 2*k. Are -8 and k nonequal?
True
Let f = -6 - -4. Let h be (8/((-12)/3))/(f/30). Let d = -29 + h. Is d equal to -14?
False
Suppose 5*m - 3371 - 3129 = 0. Suppose 7*f + m = -6*f. Let l be (-2)/(1/(-101)*-2). Which is bigger: f or l?
f
Let f be ((-111)/6)/(-8 + 162386/20300). Is 26826 greater than or equal to f?
True
Let n(h) = -h**2 - 10*h + 6. Let s be n(-10). Suppose g - 7*g + s = 0. Which is bigger: g or 2/1091?
g
Let f = -3/70184 + -3648965/14106984. Is f >= -1?
True
Let s = -1369 - -957. Let p = s - -418. Which is smaller: -4/7 or p?
-4/7
Let c(w) = w**3 - 29*w**2 + 53*w + 24. Let r be c(27). Let s be ((-9)/((-810)/(-24)))/((-2)/r). Which is bigger: 0.15 or s?
0.15
Let a = 15377 + -15354.5. Is a bigger than -16?
True
Let p be (-86)/(-14) + 17/(-119) - -4. Suppose -14 + p = -2*a. Is a smaller than 21/16?
False
Suppose 3*c + 216 - 204 = 0. Let k be -4 - -2 - (-14 + c)/6. Is -2/757 at most as big as k?
True
Suppose 84*v = -81*v + 185*v - 260. Which is smaller: -0.003 or v?
-0.003
Suppose -18*t = -15*t + 189. Suppose -134 = 2*q + 2*n, 4*q + 31 = n - 222. Which is greater: q or t?
t
Let j be ((-190)/(-140)*2*4)/(-2). Let s be (-20)/12 + 2/1. Which is bigger: j or s?
s
Let p be (-5967)/117 - (1 + -2 + 3). Which is greater: -484/9 or p?
p
Let c(z) = 14*z**3 - 11*z**2 + 8*z + 1. Let a be c(1). Suppose 2114 = a*o + 710. Is 117 at most o?
True
Let r = -146.805 - 0.195. Let o = r - -104. Let l = 0.19 + -1.19. Is l < o?
False
Suppose -3*x + 37 - 1 = 0. Let r = 8 + -8. Suppose 2*n - x - 22 = r. Which is bigger: n or 21?
21
Let k be 30360/(-1 - 21) - 4*1. Which is bigger: k or -1387?
k
Suppose 30*u - 62*u + 24 = -38*u. Suppose 3*m = -s - 19, -3*s - 3*m = -4*m + 27. Is u <= s?
False
Let q = 8/18235 + -134014/222339355. Let d = 48642/792545 - q. Which is bigger: d or 1?
1
Suppose 3*l = 2*o + 1218, -1822 = -6*o + 9*o - 2*l. Is o < -606?
False
Let j = -47822/15 + 3188. Which is smaller: 136 or j?
j
Let h = -3657 + 5439. Let w be 8/(-18) + 1764/h. Is w equal to -2?
False
Let t(p) = -17*p + 30. Let a be t(6). Let x be (-22 + a/12)*-1*1. Is x less than 28?
False
Let t = 76775 + -76857. Let w(u) = -22*u + 6. Let a be w(4). Does a = t?
True
Let p be (-2530)/(-92) + 2/4. Suppose -l + 2*z + 12 = -7, p = 4*l + 4*z. Is l != 6?
True
Let l(k) = k - 124. Let q be l(45). Suppose -7*y + 4*y = 3*z + 9, 0 = -5*z - 4*y - 11. Are z and q equal?
False
Suppose -93*z - 165 = 35*z + 3035. Suppose -5*q + 5*b - 104 = 36, q + 4*b + 13 = 0. Is q at least as big as z?
True
Let j(b) = 11*b**3 + 261*b**2 - 75*b - 16. Let i be j(-24). Is -2.2 greater than i?
False
Let d(z) = -201*z + 195. Let k be d(-10). Let f = -149937/68 + k. Is f less than or equal to -1?
False
Suppose -4*s + 3*y + 8 = -25, 4*y + 42 = 5*s. Let c = -10.0584 - -0.0584. Which is greater: s or c?
s
Let v = -34.93 + 35.3. Let r = v - 0.57. Let m = -21.09 - -21. Is r greater than m?
False
Let b = 145 + -144. Suppose 4 = 4*a - 3*s - 3, -b = s. Which is greater: a or 0?
a
Suppose 0 = 15*n - n - 28. Let d = -4 + n. Do -1/7 and d have the same value?
False
Suppose -5*q = 3*x + 24, -3*x - 3 = -q - x. Let a be (q + -2)/(9/(-18)). Let g be 20/(-21) + 4/14. Is a at most g?
False
Let f = -17 + 10. Let d(b) = -b**2 - 6*b - 8. Let o be d(f). Let n be (65/o - -4)*-3. Is n != -5?
True
Suppose -2*g + 10*g = 8. Let d be 63*g - 16/(-20)*-5. Which is greater: d or 60?
60
Let q = 116 - 23. Let z = -92 + q. Which is bigger: 0.128 or z?
z
Let c be (385/399 - -1) + -2. Is c bigger than 2/149?
False
Suppose -2*b - 130 = -78. Let t be (-4)/26 - (-4386)/(-221). Which is smaller: t or b?
b
Let x = -10196 - -10202. Suppose m - 1 = -5*j, 4*j = -0*j + 4*m - 4. Suppose 3*b + x*b + 63 = j. Is -9 at least b?
False
Let y be (-9 - (-38)/4)/((-9)/18). Is -41/32 < y?
True
Let o = -0.192 + -0.028. Let j = 0 + -0.28. Let y = j + o. Which is smaller: 2/11 or y?
y
Let c = -500 - -481.4. Let g = -9.6 - c. Which is greater: 16 or g?
16
Let y = 4365 - 5612. Which is bigger: 2 or y?
2
Suppose -1692 = -22*h + 2070. Suppose -3*z - 4*m = z - 316, -173 = -2*z + 3*m. Let g = z - h. Is -90 smaller than g?
True
Let r(l) = -l**3 + 7*l**2 - 5*l - 7. Let o be r(6). Let q = -1830041/28182 + 16/2013. Let y = 65 + q. Which is smaller: y or o?
o
Suppose -4*p - 405 = -433, 6*d + p + 1817 = 0. Is d < -306?
False
Let k(j) = -104*j - 4. Let v be k(-3). Suppose -14*u + v = -0*u. Let a be u/(-5) - (-16)/40. Which is bigger: a or 0?
0
Let v(m) = -2*m + 30. Let k be v(13). Suppose 3*f - k*z + 28 = 0, f + 2*f = -z - 8. Let c(g) = -g**3 - 5*g**2 - 4*g + 4. Let n be c(f). Are n and 7/2 equal?
False
Let u = 21.67 + -22.09. Which is greater: u or 11?
11
Let a = -28066 - -38071. Which is smaller: a or 10007?
a
Suppose 36 = 5*i + 11. Suppose i*k - 70 = -c - 4*c, -k - 28 = -2*c. Let b be 16/c + (-10)/(-10). Which is greater: 3 or b?
3
Suppose -44 = -2*y - 2*p, -2*y + 19 = -2*p - 45. Suppose -2*i = 6, -3*r - r = -5*i - y. Suppose -j = -4*j + 15. Which is smaller: r or j?
r
Let b(p) = p**2 + 5*p + 3. Let k(o) = o**2 + 13*o + 17. Let y be k(-11). Let t be b(y). Suppose t*s = -s - 68. Which is smaller: -18 or s?
-18
Let b be 34/138 + -1 - 46/(-69). Does 11/3 = b?
False
Let a = -517 + -115. Let s = 632 + a. Is s bigger than 6/35?
False
Let v = -216.14 - -3.14. Let k = -212.35 - v. Which is smaller: k or 0.2?
0.2
Let g = -3450 + 3179. Which is greater: -1353/5 or g?
-1353/5
Suppose 5*t + 7*t = 11*t + 6, 3*t = -2*q + 8. Let i = -87/44 - 3279/1012. Which is bigger: i or q?
q
Suppose 10*a - 8*a = 2*s + 4432, 3*a - 11*s = 6640. Which is greater: a or 2219?
2219
Let z be ((-220)/13090*-51)/(6/(-434)). Let k = -7227 - -28665/4. Which is greater: z or k?
k
Suppose -20*x - 132 = 2*x. Let p be ((-2366)/49 + 8)*4/x. Which is smaller: 28 or p?
p
Let k be -6 + -8 + 65 + 7. Is k less than or equal to 0.01?
False
Let d = -158 - -77. Let y be d/3 - (-42)/21. Is y less than or equal to 0.9?
True
Let x be ((10/(-8))/(-5))/(34/(-136)). Let c be (-88)/33*1/36. Which is smaller: x or c?
x
Suppose 6*j - 9*j = m + 17, 3*m = -j - 51. Let n(w) = -w**2 - 18*w - 29. Let k be n(m). Let u = 8156/5 - 1642. Are u and k unequal?
True
Let h = -459/4663 + -53888361/256465. Let m = h + 1122/5. Is m greater than 15?
False
Let z = 2265 + -2115. Is 142 bigger than z?
False
Let z be (-4)/(-34) + 2*5/(-510)*-10551. Is z > 193?
True
Let y = -160 + 493/3. Are -0.06 and y unequal?
True
Suppose 66*h + 6264 = 28*h + 30*h. Which is greater: h or -8610/11?
-8610/11
Let j = -13.017 - -0.017. Let v = -11 - j. Let a be (6/(-10))/((-4)/10). Which is bigger: v or a?
v
Let c(h) = -h**3 + 7*h**2 + 42*h + 26. Let r be c(12). Let d = r - -180. Which is smaller: -3 or d?
d
Let d = -0.518 + 0.359. Let p = 1.159 + d. Which is smaller: 38 or p?
p
Let j = 44.97 - -3.83. Let a = 48.776 - j. Which is smaller: -2 or a?
-2
Let v = 345 + -341. Suppose -4*z + 2*z + 4*i = 348, 3*z = -v*i - 532. Which is greater: -175 or z?
-175
Let v = 40 - 47. Let d = v - -15. Let h be (-5)/d*4/20. Which is smaller: h or -1?
-1
Let r = -7633.89 - -7599. Let m = r + -0.11. Is 2/7 at most m?
False
Suppose 7441 - 10511 = -2*u + 2*f, -4*f = 2*u - 3028. Which is smaller: 1531 or u?
u
Let y = 25 + 11. Let t = 32 - -51. Let s = t + -45. Which is smaller: s or y?
y
Let q = -28 - -311. Let l = 106.1 + -106. Which is bigger: q or l?
q
Let z = 7.9 - -5.6. Let y = 15 - z. Let b = 1.4 - y. Which is smaller: b or -1/7?
-1/7
Suppose 4*n - 36 = -5*z, z + 12 = 4*n - 0*z. Suppose -2*g - 6 = -2*p + n, -2*p + 18 = 2*g. Suppose -2*t = 13 + p. Is t less than or equal to -10?
True
Let l = -10.99 + 3.99. Is 13/4 equal to l?
False
Let t = 304 - 303.877. Let l = -1.677 - t. Let y be ((1 - 0)/(-3))/1. Which is 