225 - -364. Is t greater than v?
True
Let v(c) = c**3 + 33*c**2 - 43*c - 392. Let a be v(-34). Is a < -10/9?
True
Suppose 0 = -39*m + 34*m + 280. Suppose 4*j - m + 40 = 0. Suppose 5*q = -4*t + 17, 0 = j*q - 4*t - 0*t + 8. Which is smaller: 1/122 or q?
1/122
Suppose 2240 = 5*m + 2255. Let f(v) = v**3 - 10*v**2 + 11*v - 8. Let j be f(9). Let k be 4/j*40/(-6). Is m bigger than k?
False
Suppose -238*v + 233*v - 3054 = -4*g, -2*v = 5*g - 3801. Which is smaller: g or 5322/7?
5322/7
Let c = -3.338 - 0.282. Let y = 40.62 + c. Is -0.1 <= y?
True
Let t(s) = s**2 + 36*s + 129. Let h be t(-24). Are h and -168 unequal?
True
Let z be -3 + 7 - (1687/21)/((-408)/(-48)). Which is smaller: -4 or z?
z
Let n = -206565 - -24580863/119. Let y = n + 477/85. Let t = y + -2/35. Are 2 and t unequal?
True
Let g = -84447884/2493 + 33874. Is -0.06 < g?
True
Let t(w) = 2*w**2 + 2. Let b(k) = k**2 + 1. Let c(h) = 2*b(h) - 3*t(h). Let y be c(2). Which is smaller: -106/5 or y?
-106/5
Let w = 25.49 - -8.46. Let g = w + -35. Let y = 1.35 + g. Is y not equal to -1/14?
True
Suppose -t = -2*f - 13, -17 = 17*t - 19*t - 5*f. Suppose 4*p + 9 = -m - t, -2*m = -5*p - 38. Which is smaller: p or -22/3?
-22/3
Let h = 22 + -21.996. Let l = h + 33.996. Let n = 33 - l. Are -0.3 and n equal?
False
Let o = -0.16683 + 0.28683. Let u be -1*1/(-6)*2. Which is greater: u or o?
u
Let f(a) = a - 20. Let n be f(26). Let y(z) = -2*z**3 + 11*z**2 + 5*z + 7. Let d be y(n). Is d not equal to -2/151?
True
Let d = -138.6 - -138.7. Is d at most as big as 336?
True
Let v be (-2)/3 + -7 + -1. Let l(u) = 8*u - 144. Let z(m) = 11*m - 287. Let g(n) = 9*l(n) - 4*z(n). Let d be g(5). Is d > v?
True
Suppose -173876 = -9*r + 195826. Suppose -3*c = -50*c - r. Is -874 greater than or equal to c?
True
Suppose -6*q - 34887376 = -4*q. Let g = -784911598/45 - q. Let r = 1208 - g. Which is smaller: r or 0?
r
Suppose -4*f = -6*f + 324. Suppose -f = -2*c - w + 5*w, 2*c + 3*w - 169 = 0. Is 84 bigger than c?
True
Let a be (270/(-450))/(27/10). Let k be (162/12)/((-1)/2). Let p be (-2)/9 - 33/k. Which is smaller: p or a?
a
Suppose -131*b - 8510 = -108*b. Are b and 10 equal?
False
Let y = 156792 + -614781422/3921. Is y at most as big as -1?
False
Suppose -110*x + 2*o = -109*x - 45, 3*x - 131 = 2*o. Do x and 55 have the same value?
False
Let x be 8*(-1 - (-693)/(-14)). Let t = x - -403. Which is greater: t or 1/144?
1/144
Suppose -33*c + 88 = 11*c. Which is smaller: 264 or c?
c
Let h = 8.8 - -56. Let c = -3.8 + h. Let w = 36 - 145/4. Is w <= c?
True
Let d be 5/(-4*3/(-312)). Let n = 126 - d. Is n at least as big as -19/7?
False
Let u be (-8)/(-184)*(-2654)/58 - -2. Let c = u + 2/2001. Is c less than or equal to -1?
False
Let f = -3737.037 + 3731. Let c = -0.037 - f. Let a = c + -7. Which is bigger: a or -40?
a
Let c = -0.28 + 12.78. Let d = 2.5 + c. Let t = 1167 - 1168. Which is smaller: d or t?
t
Let j = 123.77 + -6.77. Let n = -112 + j. Let f = -4.92 + 5. Is f <= n?
True
Suppose 5*w - 652 = -3*t, -6*t + 4*t = -3*w + 395. Suppose -2*s = 103 - w. Are s and 0.2 nonequal?
True
Suppose 0 = 7*h - 25*v + 29*v + 18, 19 = 2*h + 3*v. Let z be (-1)/(-1)*-13 + 1. Do h and z have different values?
True
Let s be 87/609 - -1185*(-64)/14. Which is smaller: s or -5418?
-5418
Let n(f) be the second derivative of -f**3/6 - 5*f**2/2 + 178*f. Let z be n(6). Is -16 at least as big as z?
False
Let o be (54 - (8 - 4))/((-38)/6080). Is -1 bigger than o?
True
Let g be ((-549)/(-366))/(747/(-120)). Which is smaller: -1 or g?
-1
Let p(x) = 154*x - 965. Let c be p(8). Let j = -264 + 532. Is c greater than or equal to j?
False
Let p = -3469 - -3186. Which is bigger: -4 or p?
-4
Let z = -3419 - -3419.2. Which is greater: 2/3 or z?
2/3
Let h(o) = o**3 + 12*o**2 + 12*o + 13. Let q(n) = n**2. Let w(x) = h(x) - 2*q(x). Let t be w(-9). Let b be (-14)/(15/(-4 + 19)). Are b and t non-equal?
False
Let f = -647 + 645. Let r be (17/(-3196))/(f/32). Suppose 5*c = 2*c. Which is greater: r or c?
r
Let j be (3 + 36)*((-25)/15)/(25/(-130)). Which is bigger: -23 or j?
j
Let k be -3 - -3*((-12)/(-9) - -1). Suppose -z + 840 = k*z + 5*g, 0 = -5*g - 25. Suppose l - 5*a - z = -3*l, -2*a - 10 = 0. Which is greater: 38 or l?
38
Let o = 187 + -194. Let l(r) = 16*r + 68. Let i be l(o). Which is bigger: -48 or i?
i
Let u = -1615 + 956. Let c = 663 + u. Is c at most as big as -2/31?
False
Suppose 0 = 5*p + 4*q - 29, 7*q = -p + 6*q + 6. Suppose -3*m - 3*a = 3, 2 = 2*m - p*a - 10. Are 5 and m unequal?
True
Suppose 0 = -10*f + 23*f - 2678. Let r = -176 + f. Do 28 and r have different values?
True
Let v = 177 - 171. Let n(r) = -5*r + 13. Let t be n(v). Let w(o) = -2*o**2 + 2*o - 3. Let p be w(3). Which is bigger: p or t?
p
Let o = 14.1 + 6. Let c = 20.17 - o. Are -0.2 and c non-equal?
True
Let s(c) = 92 - 74*c + c**2 - 3 + 44 + 41*c. Let p be s(28). Which is bigger: 7 or p?
7
Let c = 33488/3 + -10877. Which is greater: -2/5 or c?
c
Suppose 0 = 37*i - 39*i - 1224. Is i at most as big as -612?
True
Suppose -3*g + 4*c = 15715, 5*g - 940*c = -944*c - 26117. Is g < -5227?
True
Let h be ((-4)/(-5))/((-67)/20435). Let w = h - -13907/57. Is w at most as big as -2/9?
False
Let m be ((-3)/2)/(81/(-540)). Let v be 0/2 - ((-81)/(-9) - m). Is v < 11/51?
False
Let j(b) = -6*b**2 + 2*b - 4. Let p be j(-3). Let k = p + 26. Let g = -39 - k. Which is bigger: g or 2/53?
2/53
Suppose -15*j + 10*j + 684 = -3*c, c - 692 = -5*j. Which is smaller: j or 418/3?
j
Let p = 1008.2 + -1008.4. Let k = -1110 + 76592/69. Is k <= p?
False
Let n = -268 - 100. Let o = -364 - n. Is -9/11 greater than o?
False
Let h = -191 - -198. Suppose 54*y + h = 61*y. Is y > -7/22?
True
Suppose -3*x = -0*x - 162. Let n be (-15)/(-20) + x/(-8). Let h be (-3 + (-140)/(-42))*(-18 + -1). Which is smaller: n or h?
h
Let n be (-7*(-4)/56)/(2/(-8)). Let w be -60 + ((-1)/(3 + n))/(-1). Let y = w - -57. Does -3/5 = y?
False
Let h = -1913 - -1887. Let a(i) = -2*i - 36. Let l be a(-5). Is h <= l?
True
Let k = -19069 - -19061. Are -8/29 and k equal?
False
Let y(o) = 3*o - 1. Let g(u) = 10*u - 4. Let q(f) = 2*g(f) - 7*y(f). Let w be q(-5). Suppose -2*z + 16 = 4*c, -z + 5*z = -w*c + 40. Which is smaller: z or 13?
z
Let x = -594 + 594. Suppose 0*s = 2*s - 14. Suppose x = s*q - 10*q - 3. Which is greater: -11 or q?
q
Let c = -192 - -86. Let t = c - -160. Let y = -46 + t. Which is bigger: 5 or y?
y
Let j = 791.7 - 749. Let b = j - 42.6. Let g = -53 - -108. Which is bigger: g or b?
g
Let y be 6 + -6 + (2 - 153). Suppose 6*m - m + 770 = -5*x, -4*m = 16. Is x at most as big as y?
False
Suppose -3*v - 2*b + 6 = 2, 44 = 5*v - 2*b. Which is bigger: v or 240/37?
240/37
Let x = 2152.1734 - 0.1734. Which is greater: 1 or x?
x
Let m(z) = -3*z**2 + 83*z - 511. Let d be m(19). Is -31 bigger than d?
False
Let d = 48700.78 + -48286. Let q = d + -411. Let a = q - -0.22. Is a less than -3?
False
Let f = -33 - 58. Let z = f + 38. Let r = 485 - 539. Which is greater: r or z?
z
Suppose -2*j = -6*j + 5*v + 15, 2*j = -5*v - 15. Let b = -3/767 + 3868/8437. Is b at most j?
False
Let o(t) = 15*t**2 - 1. Let c be o(-1). Suppose 85*j - 84*j = -3*u + 30, -j - 50 = -5*u. Is u less than or equal to c?
True
Let v be ((-31)/(-53) + -1)*(-16)/((-704)/(-110)). Is 2 less than or equal to v?
False
Suppose -5*d - p = 2673 - 2174, 3*d = 2*p - 276. Suppose -4*m = m. Suppose 2*k = -m*k - 194. Is d at most k?
True
Let a = -6437/2240 + -873/64. Is -18 < a?
True
Let k be (649/129 + -5)/18. Which is smaller: 0 or k?
0
Let z(l) = -l**2 - 18*l - 15. Let o be z(-17). Suppose -2*b + 2 - 7 = -3*q, -o*q - 5*b = 3. Let g be -2*q/132*1. Is g at most as big as 1?
True
Let s = 922 - 1011.7. Let l = s - -2.7. Let w = l + 71. Which is greater: w or 2?
2
Let f(g) = -200*g + 3792. Let q be f(19). Which is bigger: q or 104?
104
Let i(b) = 13*b**2 - 7*b - 1. Let g be i(3). Let a = 98 - g. Let q be 0 - a - 10/(-5). Is 77 greater than q?
True
Let v be (-5)/15 - (-57)/9. Suppose v*j - 11*j + 285 = 0. Which is bigger: 55 or j?
j
Let b = 0.0534 + 0.0466. Let m(d) = d**3 - d**2 - 5*d + 6. Let o be m(5). Let x be 4/(-22) + o/264. Is x greater than or equal to b?
True
Let r = -1085.07 + 1085. Let a = -612.3 + 612. Which is bigger: a or r?
r
Suppose 5*f - 15 = 0, -4*f = -s + f - 11. Suppose -s*a - 14 = -0*a + 2*i, -4