Let a(p) = 37*p - 43. Let u be a(8). Let s = -271 + u. Is s at least as big as -17?
False
Let n(q) = 8*q**2 - 2. Let r be n(-3). Let y be (-558)/((-24 - 32)/7). Which is bigger: r or y?
r
Suppose 2*t - 18*p + 15*p = -62, 334 = -14*t - 4*p. Which is smaller: t or -26?
-26
Suppose -19*j + 2*j - 30974 = 0. Is j at most -1822?
True
Let v(m) be the second derivative of -7*m**3/6 + 31*m**2 - m - 21. Let k be v(15). Do -42 and k have different values?
True
Let h = -166 - -314. Let x = -147.674 + h. Let i = 0.026 - x. Is -6 >= i?
False
Let k be 46/50 - 16/(-200). Is k bigger than 1/365?
True
Let l = -101817/5 - -20363. Which is smaller: l or 803/7?
l
Let z(i) = i**3 + 11*i**2 - 42*i + 12. Let m be z(-14). Suppose -4*g - 2*t - 17 = -5, -m = 4*g + 5*t. Is g > 12?
False
Let m(o) = 3*o + 54. Let t be m(6). Let k = t + -67. Suppose -12 = -4*i + 8. Do k and i have the same value?
True
Let n(i) = 5*i**3 - 25*i**2 + i - 10. Let d be n(4). Which is smaller: 3.9 or d?
d
Let h = -40 - 0.9. Let x = h + -177.1. Is 0 greater than x?
True
Let v(i) = 2*i**2 - 21*i + 12. Let y be v(10). Suppose -3*h - 5*p - 40 = 0, 4*h - 5*p - 3 = y. Which is greater: h or -19/4?
-19/4
Let n(k) = -k**3 - 32*k**2 - 59*k + 65. Let f be n(-30). Let v(q) = q**2 - 35*q - 22. Let u be v(f). Which is smaller: u or -65/3?
u
Let c(q) = q**2 - 4*q - 36. Let p be c(8). Let z be ((-4)/10)/(2/(-120)*p). Let n = 0.2 + 0.1. Is z at most n?
True
Suppose 8*t = 128 + 144. Let q(i) = 0 - 9 - t*i**2 + 33*i**2 - i - 9*i. Let j be q(-4). Which is smaller: 13 or j?
13
Let i = -98063/9 - -14803859/1359. Is i at most -4?
False
Suppose -z = 4*t - 137, -4*t + 3*z = 5*z - 142. Let j(o) = 8*o + 104. Let s be j(-13). Suppose 4*v - 140 + 12 = s. Which is smaller: t or v?
v
Let l = 467023618/4305 - 108484. Is l != 0?
True
Let s be (-28)/(-8)*((-60)/35)/(-1). Let c be (3 - 6/10)*(-2 + s). Which is greater: 9 or c?
c
Let o(l) = -13*l - 1. Let h be o(2). Let z(m) = -m**3 + 15*m**2 - 52*m - 17. Let p be z(5). Do h and p have different values?
False
Suppose 30 = r - 59. Let a = r - 64. Suppose -16 = i - a. Which is smaller: 26/3 or i?
26/3
Let m be ((-18)/(-2) - -1)*(-798)/285. Let t be (-4 + 2)*(-2282)/m. Is t at least 0?
False
Let n be ((-6)/(-9))/((-10)/45). Let v(a) = 12*a + 39. Let h be v(n). Is 4 less than or equal to h?
False
Let x = -2809375/1042668 + -1/28963. Let a = x - -22/9. Does -421/2 = a?
False
Let o = 39 + -40.92. Let n = -36.88 + o. Let r = 39 + n. Which is greater: 3/5 or r?
3/5
Let q = -913/93 - 574/31. Suppose 4*d + 89 + 27 = 0. Are d and q non-equal?
True
Let d(z) = -6*z**2 + 44*z - 24. Let g be d(18). Is g greater than or equal to 3?
False
Let n be -1 + 12 + (-42)/3. Which is smaller: 52/3 or n?
n
Let m be (1/(-5) - (-232)/1060) + 0. Let i be (1 - 1)*(-7)/(-14). Suppose -5*j - 18 = -3*r, 0 = r + 2*j - i*j + 5. Do r and m have different values?
True
Suppose 14*f = 12*f + 2*s - 6, 0 = -5*f - 2*s - 36. Suppose -u + 1 = -n, -2*u + 2 = 2*n - 4. Let l be -638*n/(-428) - f/(-4). Is 1 smaller than l?
False
Let f(r) = 1055*r**2 + 1 - 554*r**2 - 487*r**2 - 3. Let o(l) = l**2 - 1. Let x be o(0). Let s be f(x). Is s at least as big as 11?
True
Suppose -r = 3*c - 14, -2*c - 3*c = 2*r - 24. Let u(g) = -g**2 + 5 - r*g + 3*g**2 + 8*g + 5*g. Let m be u(-5). Which is smaller: 10 or m?
m
Suppose 69393 = 688*v - 65728 + 38801. Let r = 81 + 59. Is v >= r?
True
Let c be ((-2)/(-80))/((-6)/(-9)*(-54)/36). Let m be ((-153)/480)/(2/8). Let s = m - c. Does -1 = s?
False
Suppose -41*r = 7*r + 4*r - 53612. Do 1034 and r have different values?
True
Let o be 42/3 + 79396/(-4370). Which is greater: -3 or o?
-3
Suppose 15 = -7*i + 2*i. Let v = -30647/183 + -500/61. Let g = -175 - v. Do i and g have different values?
True
Let a(i) = -116*i + 604. Let z be a(7). Which is bigger: -202 or z?
-202
Suppose 3*q - 391 = 5*d, 2*d + 126 = -8*q + 34. Is d != -56?
True
Suppose 21*c + 13834 = 14716. Which is smaller: 2/41 or c?
2/41
Let p = -0.2 - 7.8. Let r = -131 - -131.74. Let c = -0.84 + r. Which is greater: p or c?
c
Let z = 281 - 266. Suppose 0 = 5*a + z, -5*b - 6 = -8*b + a. Is b at most 2/793?
False
Let r be (0/(-10 + 23))/(-1 + 0). Let l be (-27)/(-99) - (-4)/(-14). Is l less than or equal to r?
True
Let x = -1116 + -2103. Which is greater: x or -3218?
-3218
Let q = 0.827 - -0.173. Let j be (15/80)/((-14)/92). Let h = 3/8 + j. Is q != h?
True
Let z = -15.1556 + 12.1556. Let g = -277 + 465. Is g >= z?
True
Let i be (-33 - (-15 - 15)) + 139/137*3. Is i smaller than 0?
False
Suppose 2*q - 6 = 0, 5*h + 146 = -q + 3*q. Suppose 0 = -7*s - 4*s + 682. Let x be 15/s - (-1 + (-35)/h). Which is bigger: x or 1?
1
Let w(n) = -75*n - 212. Let y = 736 - 739. Let q be w(y). Which is bigger: q or -1?
q
Suppose r + 5 = -4*b, 1046*r + 12 = -3*b + 1048*r. Let n be (-30)/4*(-7)/(-91). Which is smaller: b or n?
b
Suppose -3*r = -475*i + 471*i + 1983, 0 = i + 5*r - 467. Is 495 >= i?
True
Let n be ((-3)/(3 - 2))/(-9 + 24210/2740). Which is greater: 0.1 or n?
n
Let u = 0.848 + 0.162. Let q = -0.16 + u. Which is smaller: 1/2 or q?
1/2
Let c be 16/((-17)/72*-1). Which is smaller: 67 or c?
67
Let f(i) = -3*i**3 - 18*i**2 - 21*i + 19. Let k be f(-3). Which is bigger: 2/6803 or k?
k
Let r = 719 - 715. Let l = 1291/11 - 117. Which is smaller: r or l?
l
Let a be (3 + 35788/8)/((-310)/84). Let t = 1213 + a. Which is greater: 0 or t?
t
Let y = -8048 + 265561/33. Let l = -181/165 - y. Is l less than or equal to 2/265?
True
Let l = 14240.6 + -14245. Which is greater: 109 or l?
109
Let h(w) = 57*w**3 - w**2 - 4*w - 4. Let x be h(-1). Suppose 59*y + 233 = -3. Which is smaller: y or x?
x
Suppose 131*f - u + 4 = 132*f, -2*f = 4*u - 14. Which is smaller: -902 or f?
-902
Let b = 33 - 29.1. Let d = -4.01 + b. Let x = -0.21 - d. Is 0.11 at most x?
False
Let x(p) = p**3 - 7*p**2 - 8*p**2 + 14*p**2 - 3*p + 3 + 1. Let c be x(4). Which is smaller: 155/4 or c?
155/4
Let j be ((-6)/(-8))/3 - 2/8. Suppose j = o - 2 - 6. Let g(b) = -b**3 + 4*b**2 + 2*b. Let s be g(4). Do o and s have different values?
False
Suppose -5*x = -g + 4, 3*g - x - 2 + 4 = 0. Do g and -116.2 have the same value?
False
Let i = 42253/6 + -7042. Let r = 0.033 - 0.303. Which is bigger: i or r?
i
Let y(g) = 26*g**2 + 38*g - 74. Let i(b) = 20*b**2 + 37*b - 73. Let u(n) = -4*i(n) + 3*y(n). Let v be u(-19). Is v less than -4/11?
True
Suppose -3*m - 278 - 106 = 29*m. Which is bigger: 6/95 or m?
6/95
Let z(x) = -x + 13. Let l be z(9). Suppose 0 = 2*h - 5*t + 68 + 130, -4*h - 424 = l*t. Let j = 96 + h. Is j smaller than -11?
False
Let l = 59.33 - 59. Let z = 34.33 - l. Let k = z - 33. Which is bigger: -2/45 or k?
k
Let l = 554008/780735 + 2/25185. Let o be (-34160)/30225 - (-14)/91. Let q = l + o. Which is smaller: q or 0?
q
Suppose -35*w - 96 = -106*w - 25*w. Which is smaller: 6/2297 or w?
6/2297
Let w = 3764/5 - 2856911/3795. Which is smaller: w or -1?
-1
Let q = -109 + 69. Let p(h) = 12*h - 14. Let w be p(2). Let r be (w - 8)/(24/(-3)). Is r != q?
True
Suppose 1053 - 195 = -4*b + 3*v, -4*v = -4*b - 860. Do -1482/7 and b have different values?
True
Suppose -m - 4*n - 10 = -1, 0 = -2*n. Let b be (-2)/3 + (-132)/m. Let p be 4/((-14)/(-60) - 13/(-130)). Is b > p?
True
Let l(i) = 6514*i - 536. Let f be l(2). Which is bigger: -1 or f?
f
Let x(z) = -10*z**3 - 4*z**2 - 3*z + 4. Let n be x(-2). Suppose -13 - n = -3*c. Let q be (4/(-9))/((-4)/(-6)). Is c at least as big as q?
True
Let c be ((-4)/12)/(-1) + ((-116)/6 - -11). Is c < 51?
True
Let t = -0.3943 - -31.6043. Let f = t + 2.79. Is 0.2 bigger than f?
False
Let u be (-2)/(-3362)*(-17 - 3 - -18). Which is greater: u or -2/5?
u
Suppose 0 = 10*h + 3*h - 39. Let y be 84/(-5) - h/15. Is y > -15?
False
Let p(o) = 3*o**2 + 29*o - 1. Let y be p(-12). Suppose y + 19 = 2*l. Let z = 27 - l. Do z and -24 have the same value?
True
Let i = 72 - -33. Let a = 2280 - 2176. Is i >= a?
True
Suppose 859 = 4*q + 5*c, c - 1100 = -11*q + 6*q. Suppose 3*y - 2*s = q - 673, -4*y + 5*s - 605 = 0. Is -149 at most as big as y?
False
Let o(r) = 3*r**2 - 4*r + 71. Let k be o(20). Is k bigger than 1193?
False
Let p be ((-160)/(-26))/5 + -1. Let n be (-9)/(-6)*(-2)/3. Which is bigger: p or n?
p
Let y be 1 + (-32)/(-6)*84/(-8). Is y at least -64?
True
Let d = -23162066363/938987240980 + -5/37877662. L