 12*d**2 + d - 8. Let a be k(12). Let f be c(a). Let t be 11 + f + (-5)/(-2). Which is bigger: 30 or t?
30
Suppose 428 + 804 = 11*q. Suppose 54*z = 52*z + q. Which is smaller: 58 or z?
z
Suppose 0 = -3*k + 2*m + 57, 3*k - 40*m = -37*m + 54. Which is smaller: k or 480/23?
480/23
Let f = -1936 - -3700. Let m be 1 - 1 - (-288)/f. Is m at least 1?
False
Let b = -12834 + 12980. Which is smaller: 124 or b?
124
Let v(n) = -9*n**3 + n**2 + n + 1. Let j be v(-1). Suppose -j*y = -9*y. Let x be -7 + 1140/175 - (-10)/35. Which is greater: x or y?
y
Suppose 2*m + 2*y = 6*y + 22, -2*y - 16 = 4*m. Which is smaller: 12/3457 or m?
m
Let y be (12/(-9)*-1963)/(2079/81). Let q = -102 + y. Is 1 less than q?
False
Let y = -82/203 - -2913/7714. Is -0.1 at most y?
True
Suppose 17 = 17*r - 51. Suppose r = -5*g - 1. Which is smaller: 7/16 or g?
g
Suppose -5*j + 2*x = 28188, -108*j - x + 16913 = -111*j. Which is smaller: j or -5639?
-5639
Let a = -0.099 - 0.301. Let n = -63.6 + a. Let g = -22 - n. Is -0.1 < g?
True
Let k(v) = 2*v**3 + 7*v**2 - 19*v - 113. Let n be k(-6). Which is bigger: n or -183?
n
Let o = 36 - 30. Let l(d) = -d**3 - d**2 + 1. Let q(c) = -7*c**3 + 2*c**2 - 13*c + 11. Let z(s) = -6*l(s) + q(s). Let u be z(o). Is -5/11 > u?
True
Suppose 4*z - 7*z - 3 = 0. Let p = 75 + -31. Let y be (-1)/(((-14)/p)/7). Which is bigger: z or y?
y
Let a(j) = 8*j**2 + 11*j - 427. Let y be a(18). Is y < 2362?
False
Let q(x) = 27*x**2 - 11*x + 3. Let z be q(-4). Let u = z + -599. Does -120 = u?
True
Let z be (2/(-2) + 180835/180845)/((-11)/77). Which is bigger: 1 or z?
1
Let d = 133/44 + -20173/6732. Suppose 2 = -67*o - 7 + 9. Do o and d have different values?
True
Let b = -5469098/19335615 + 324/1145. Is -1 less than or equal to b?
True
Let i be 5/(26/325 + ((-196)/(-50) - -1)). Which is greater: i or 14/191?
i
Let d = -12 + 421/35. Let p = -0.539 + 0.639. Which is smaller: d or p?
d
Let b be ((-105)/(-42) - 13/6)*3. Suppose 5*a + 18 = p - 13, 5*p + b = -a. Is -0.7 bigger than a?
True
Let w = 30529 + -30528.9. Which is smaller: -2.12 or w?
-2.12
Let r(i) = 563*i**3 + 16*i**2 + 29*i - 52. Let l be r(-3). Is -15197 greater than l?
False
Suppose 4*m - 82 = -27*d, -7*d + 9*d - 2*m = -10. Let k = 66.027 + -66. Do k and d have different values?
True
Let t = 173.69 + -173. Let v = 2.17 + 105.83. Let z = -109 + v. Which is greater: z or t?
t
Let y be (3/(-9))/((2/120)/(6/(-5))). Let n be (49 - 2)/(2 - 0). Does n = y?
False
Let c be 2/8 + (-154)/184. Let n = 508050 - 508052. Which is greater: n or c?
c
Let x be -9 - -4 - (-276)/65. Let q = 2/13 + x. Let n = -1 + 1.2. Is n greater than q?
True
Let s be ((-2)/(-10))/((-8)/(-230)). Let j = -51056 - -51061. Is j at least s?
False
Let y = -48.11 + 15.11. Let u = 15 - 16. Which is greater: u or y?
u
Let j = 274 - 274.1. Which is bigger: -2/55 or j?
-2/55
Suppose 2*c = -2*s + 198, -285 = -64*c + 61*c + s. Is c at most 93?
False
Let y be (-28)/98 + (-3)/((-42)/(-52)). Let a be (-2)/y + 76/8. Which is bigger: a or 16?
16
Let n = -121.4 - -123. Let l = -77/213 + 2/71. Is l > n?
False
Let m be (18 - 19)/(1/(-4)). Let f(k) = -k**3 + k**2 + 12*k - 25. Let s be f(m). Is -25 <= s?
True
Let a = -2.5404 - 239.5196. Let r = a + 242. Let k = -1991/7 + 284. Which is bigger: r or k?
r
Suppose 2 + 13 = -5*b. Let j be (0 + 0)*(b - -2). Is 1/20 > j?
True
Let n(g) = 3*g**2 + 19*g - 86. Let r be n(-11). Suppose -j = -0 - 2. Suppose j = -6*f + r. Is f >= 11?
True
Let v be (-4)/(3 - -1)*-10. Suppose v*p - 14*p = 188. Suppose 0 = 3*x - 2*x + 5*l + 71, 2*x - 4*l + 72 = 0. Are p and x nonequal?
True
Suppose -18*t = -10*t - 376. Let v be -4 - (-3 + t/(-32)). Let b = 187/160 - v. Is b >= 1?
False
Let s be (96/20)/(4/(160/12)). Suppose -22*r - 30 = -s*r. Let j be (-6)/(6/5) - r. Is j < -4/99?
False
Suppose -3*i - 3*p + 231 = 0, p + 189 = 2*i + 32. Let r be (i/15)/(3/(-30)). Let a = 1808 + -1861. Is a greater than or equal to r?
False
Let s be ((156/(-8))/13)/((-207)/138). Let j = 508/7 + -16715/231. Let z = 212/1155 - j. Which is smaller: z or s?
z
Let h = -5035 + 5101. Let t = 105 - 36. Do h and t have different values?
True
Let n(i) = -2*i**3 + 14*i**2 + 7*i - 15. Let x be n(7). Which is greater: 33 or x?
x
Suppose -5*b - 2*h + 2 = 8, 0 = b + h + 3. Suppose b = 23*d + 72 + 66. Which is greater: -23 or d?
d
Let s = -5382 - -37675/7. Is s equal to 112?
False
Suppose 9984 = 18*y - 30*y. Is -830 bigger than y?
True
Let n(s) = 2*s - 15. Let b be n(-5). Suppose -3*r - 141 = -54. Let j = r - b. Is -2 greater than or equal to j?
True
Let d be -3*1/12*-158. Let l = 39 - d. Let y = 33 - 33.23. Which is smaller: l or y?
l
Let f be ((-30)/(-301565))/(26/143). Is f not equal to 0?
True
Let d(v) = -19*v + 41. Let c be d(3). Let g be c/(-2) + (-56640)/7088. Which is smaller: -1 or g?
-1
Let u = 0.0049 - -0.0851. Is u >= 74/3?
False
Let k(h) = h**2 + 11*h - 57. Let j be k(4). Suppose l = -j*g - 116, -3*l + 3*g - 670 = 2*l. Do -1 and l have the same value?
False
Let y(g) = 7*g**3 - g**2 + g - 1. Let q be y(2). Let p(o) = o**3 - 41*o**2 - 8*o + 358. Let f be p(41). Let z be -78*(220/f)/(-11). Which is smaller: z or q?
z
Let o = -146 + 80. Let b = 11518.91 + -11585. Let v = o - b. Which is greater: 2 or v?
2
Suppose 0 = 468*v + 109 - 577. Are 2/145 and v unequal?
True
Let l = 15393 - 15152. Which is bigger: 263 or l?
263
Let b(j) = 3*j**2 - 78*j + 5. Let m be b(26). Suppose -m*f = 8*f + 26. Are -18/25 and f equal?
False
Let s be 5/15*-12 + (-8662758)/(-341). Let q = s - 25400. Are q and -1 unequal?
True
Suppose 0 = -2*a + v - 6, 4*v + v = 2*a + 22. Let x = -16225/203184 - -17/11952. Which is smaller: x or a?
a
Let m = -532 + 56393/106. Let y = m - -177/3710. Which is greater: y or -1/7?
y
Let h be 8/(-4)*(-19)/2. Suppose -h = 5*f + 191. Let o = f - -42. Which is bigger: 15/11 or o?
15/11
Let h = -1 + 5. Let x = h - 4. Let i = -2/2499 - -853/24990. Which is smaller: x or i?
x
Let m be 1 + (-3728)/(-14) + 20 + (-1278)/63. Suppose 3*b = 609 + 195. Which is bigger: b or m?
b
Let i = 2 + 3. Let x(c) = 2*c**3 + 6*c**2 - 22*c - 6. Let g be x(-5). Suppose i*b + 29 = 4*l - 0, g*b - 2*l = -28. Which is bigger: b or -10?
b
Let v = 0 + 4. Suppose v*s = -0*s. Let c = 8403/5 - 1680. Which is smaller: s or c?
s
Suppose -261 = -30*m + 639. Let q = 139 - 111. Does m = q?
False
Let a = -91 - -20. Let s(y) = -7015*y + 35006. Let f be s(5). Is f != a?
True
Let k = 19/27 + -377/459. Suppose -5*b - 12 = -4*y + 11, -2*b = 5*y - 37. Which is bigger: k or b?
b
Suppose -2*s = 3*s - h + 19, 3*s + 3*h = 3. Let g = 1890 + -1903. Let z = g + s. Is z equal to -15?
False
Let a = 10.6 + -9. Let l = -0.082 + 4.182. Let q = l - a. Which is smaller: 0 or q?
0
Let m(d) = 9*d - 75. Let s = -384 - -407. Let y be m(s). Which is bigger: 130 or y?
y
Let p(t) = 24*t - 1920. Let u be p(80). Is 1/13871 <= u?
False
Let i = 2532 + -2531.91. Which is greater: 9 or i?
9
Let n(s) = -s**3 - 13*s**2 - 11*s + 7. Let m be n(-12). Let u(k) = k**2 + 5*k - 4. Let z be u(m). Which is greater: z or 0.3?
0.3
Let c be (2/20*(-45 + 55))/(2/694). Which is smaller: 352 or c?
c
Suppose 4*j + 6 = 2*f - 88, 5*j = 3*f - 117. Let b(l) = -2*l - 14. Let n be b(-11). Let d be ((-4)/n)/(4/j). Which is bigger: 1/4 or d?
d
Suppose 2*x = -5*h - 16, 2*x + 4*h + 24 = 6*x. Let r(o) = 104 + o**x + 5*o + o - 92. Let s be r(-5). Are s and 7 equal?
True
Suppose 0 = 2*k + 5*i + 14820, -3*k + i - 6700 = 15496. Is k at least as big as -7401?
True
Let w be 2/(-11) - 7*(-234)/1386. Which is greater: w or 59/46?
59/46
Let s = -306.29 - -319.19. Let w be (-3)/(-4) - 3/4. Which is smaller: s or w?
w
Suppose 0 = -3*z - 2*z - a - 7, 4*z + 3*a = 1. Let h = 14 + -12. Is z < h?
True
Let r = 0.102 + -92.202. Let y = r - -92. Are 8 and y equal?
False
Let x = -177/11 + 16. Let m = 0.072 - 7.072. Let s = -8 - m. Is s less than x?
True
Let u(v) = -5*v**3 - 7*v**2 + 21*v + 52. Let c(k) = -6*k**3 - 6*k**2 + 22*k + 50. Let s(j) = -4*c(j) + 5*u(j). Let g be s(-12). Is 2/307 >= g?
True
Let o = -4278926/1599 - -2676. Is o less than or equal to 0.1?
True
Let k = -11 - -20. Let i = 138 - 142.4. Let n = i - -4.5. Is n at least k?
False
Let w = -4517 + 5452. Is w greater than 935?
False
Suppose -30218 = -22*l + 60730. Let v be (-8)/(-10) - (l/(-70) + -1). Which is greater: v or 62?
62
Su