e
Let w(d) = 6*d - 43. Let p be w(8). Suppose 5*t - p*z + 25 = 0, 3*z - 5 = -5*t + 3*t. Let r be (1 + (-14)/2 - 0) + t. Which is bigger: r or -7?
-7
Let f = 3607 + -3600. Which is smaller: 180 or f?
f
Let k = -3118339/128 + 24362. Is k at most -1?
False
Let k = -120 + 75. Let f = 67 + k. Suppose -4*i + 92 = -5*v, -2*i + f = -2*v + v. Is v bigger than -17?
True
Suppose h - 4*u = -7, -3*h - 4*u + 5 = -6*h. Suppose 5*l + 4*n = -404, -5 = -n - h. Let k be (8/l)/(2/(-3)). Which is smaller: k or 1?
k
Let a(p) = -4*p - 11. Let h be a(-4). Let d be (-1 + -1)/12 - 3/(-18). Suppose d = -3*i - 126 + 123. Which is bigger: i or h?
h
Let x = -2186 - -1948. Which is smaller: 0 or x?
x
Let h = -0.033 + -20.967. Let x = h - 44. Let k = -77 - x. Which is smaller: -0.4 or k?
k
Suppose 3*h = -18, 5*h = -3*u - 62 + 158. Suppose 0*v = 4*v - 168. Let q = v - u. Which is bigger: q or 4/17?
4/17
Let s be (990/264)/((-12087)/(-12084) - 1). Which is bigger: s or 1?
s
Suppose 16*t - 15*t + 5 = 0. Let w = 1.061 - -0.079. Let r = 0.94 - w. Which is smaller: r or t?
t
Let u = 64 + -62. Suppose -2*x = 2*y - 1 - 1, u*x + 16 = 4*y. Let s be -5 + y + (-4 - -1). Which is smaller: -12 or s?
-12
Let c = -89/370 - -3/74. Let w = 7250.8 - 7250. Which is greater: w or c?
w
Let m be -2 + (-40)/(-22) - (-40)/220. Let c be (-2)/(-2 - (-7)/(-12)). Is c < m?
False
Let t = -5851.71 - -5801. Let v = -0.71 - t. Let y = v - 48. Is -2/7 >= y?
False
Let j = 3527/14348 + 15/3587. Is -7/9 equal to j?
False
Suppose t - 13*g + 5 = -17*g, -t = -4*g + 5. Which is smaller: -225 or t?
-225
Let g be (-6657005)/(-1840) - 1/(-16). Are 3617 and g equal?
False
Let v = 306395/7 + -43771. Let r be (-26)/51 - 2/(-6). Is r <= v?
False
Let z be 130/(-13) - (5153 - -6)/7. Which is bigger: z or -752?
z
Suppose -3*s + o = -29, 0 = -o - 0*o + 4. Let x(h) = 2*h + 13. Let q be x(-3). Suppose 0 = 6*c - q - 41. Is s bigger than c?
True
Let b = 18996110/17 + -1118020. Which is smaller: b or -603?
-603
Let c = -278 - -15013/54. Let y(z) = 2*z**2 + 28*z + 97. Let p be y(-7). Which is smaller: p or c?
p
Let m = 3/2966 - 47507/50422. Is 0 smaller than m?
False
Let j(p) be the first derivative of p**3/3 + 7*p**2/2 - 11*p - 5. Let x = -38 - -33. Let o be j(x). Does -21 = o?
True
Suppose -2*i = -19 - 1. Let j be (104/(-65))/((30/25)/(-6)). Is i > j?
True
Let m(o) = 2*o**2 - 20*o + 19. Let s(h) = h**2 + h - 1. Let g(r) = m(r) - s(r). Let v be g(20). Let w = 1 - v. Which is smaller: 3 or w?
w
Let i(w) = 2*w**2 - 58*w - 312. Let j be i(34). Which is smaller: 194/7 or j?
194/7
Let n be (-3)/1 + 15/3 + -3. Let p be 2*n/(-6)*(-63)/(-42). Let y = 24 + -101/4. Which is greater: y or p?
p
Let x = 552 - 254. Suppose 3*g = -0*g + p + 20, -4*g - 2*p = -10. Suppose 4*q = 2*c + x, 0*q + 91 = q + g*c. Which is greater: q or 75?
q
Let q = -2.63 + 1.63. Which is smaller: q or 428?
q
Let d(q) = q**2 - 59*q + 740. Let o be d(18). Let a(r) = 9*r. Let v be a(1). Is o at most v?
True
Let b = -236 + 286. Let v be (-12)/(-5*6/b). Which is smaller: 18 or v?
18
Let z(j) be the first derivative of 10*j**3/3 - 9*j**2/2 + 39*j - 8. Let b be z(16). Let u = b + -414894/169. Is -1 != u?
True
Let o = 65 - 174. Let g = o - -108.98. Is g less than 7?
True
Let i = 122 + -117. Suppose i*y - 4*y = 4*y. Is y greater than 2/123?
False
Let b = 109 - 109. Which is smaller: 5/311 or b?
b
Let m be (6 + -7)/(-9 + 4). Let q = 60 - 59.6. Which is bigger: q or m?
q
Let j = 21 - 19.74. Let u = 432/5 - 1306/15. Is j less than u?
False
Let b(k) = -k**3 - k**2 + 2*k + 1. Let i be 3 + -2*(-15)/(-10). Let n be b(i). Which is smaller: n or 0.027?
0.027
Let i = 2 - 3.8. Let x = 5.1 + i. Let p = -273 - -545/2. Is x smaller than p?
False
Let u(k) = k**3 - 101*k**2 - 86*k + 2270. Let i be u(102). Do 3902 and i have the same value?
True
Suppose 1500*v + 77 = 1423*v. Let t be (1 + (-46)/44)/(-2). Which is greater: v or t?
t
Let g(z) = -62*z**3 - 2*z**2 + 50*z - 49. Let h be g(1). Is h at most -17?
True
Let z = 919 + -741. Let g = -18 + 17. Which is smaller: z or g?
g
Suppose -51*f - 181 = -21499. Let s = f - 417. Is 2 greater than s?
True
Let c be 5/(-20)*1*15/((-30)/1016). Which is smaller: c or 152?
c
Let q = -39 - -40. Suppose -4*h = -5*o + 13, 2*h - 7*h + 2*o + 5 = 0. Let u be 48/(-15) + (3 - (h - 3)). Which is smaller: u or q?
u
Let s(i) = 733*i - 1457. Let t be s(-3). Which is smaller: -3655 or t?
t
Let s = 31.6 + -27. Let r = -12 + s. Let h = -9 - r. Which is smaller: 1/4 or h?
h
Let c = -7534 + 7544. Is 159 bigger than c?
True
Let j be ((-4)/6)/((63 + -64)*(-2)/(-393)). Is 115 <= j?
True
Let r(t) = t**3 - 20*t**2 + 29*t - 44. Let y be r(18). Let n = y - -269. Let v be 498/5 + (-21)/35. Is n less than or equal to v?
True
Let x = 2452 + -2451. Let w be 2443/(-2457) + 1 + 0. Is x at most w?
False
Let z = -11 - 21. Let o be (-9)/(-3)*15/(-27)*-3. Suppose -2*q - r = -5*r + 86, -4*q - 157 = -o*r. Which is smaller: z or q?
q
Suppose 31*k - 24*k = -5103. Let n = -713 - k. Which is greater: n or -4/3?
n
Let c be (-169117)/57 + 824/(-23484). Do c and -2967 have different values?
False
Suppose -10 = -66*g + 68*g - 2*t, 4*g = 3*t - 16. Which is bigger: g or 2291?
2291
Suppose -5 + 25 = 4*w. Suppose 105 = w*i + 15. Let y be i/63*(-1 - -2). Which is bigger: y or -0.03?
y
Let u = -12 - -29. Suppose -g + 4*g = 2*l + u, 4*l - 2*g = -14. Let r be (l/((-2)/6))/((-1998)/36). Which is greater: 1 or r?
1
Let u = -13711701/761 - -18018. Which is greater: u or 0?
0
Let j(m) = -131*m - 1138. Let h be j(15). Is -3103 greater than or equal to h?
True
Suppose -2*n + 125 = x + 334, -3 = x. Let a = n - -55. Let l be (2/(-9))/((-332)/a - 7). Do 2 and l have the same value?
False
Let c = 157.5 - 136. Let d = c + -22.5. Which is smaller: 25 or d?
d
Let p be 3 + 6380/(-38) + (-374)/3553. Which is smaller: p or -18?
p
Let b(h) be the first derivative of -h**2/2 - h + 5. Let f be b(-2). Let r be (10 + (-510)/50)*6/33. Which is bigger: r or f?
f
Suppose -3*x + 36 = 6*x. Suppose 0 = -x*t + 5*m - 567, 2*t - 48 = 3*m - 331. Is t greater than or equal to -143?
True
Suppose i - 5*c + 4*c = -2, 5*c = -30. Which is smaller: -138 or i?
-138
Let x = 920857992 - 1289200833021/1400. Let s = -1779/7 + x. Are s and 1 unequal?
True
Let n = -6007 + -3885. Is n greater than or equal to -9893?
True
Let b = 5.2 + -108.2. Let i = b + 100. Which is bigger: i or -2/29?
-2/29
Let n = -10058/3 - -3267. Is -87 at most as big as n?
True
Let v = 0.4 + -0.33. Let j = -10288 - -10291. Is v >= j?
False
Let a(h) = -49*h + 148. Let w be a(3). Let s be ((-15)/(-10))/(2/4). Let d be (7/4)/(s/4). Which is bigger: w or d?
d
Let k = -53.713 + 5.823. Let x = k - -47.5. Is -4 > x?
False
Let s = 10204 + -234632/23. Suppose 3*z = 2*t, -4*z + 8 = -t + 3. Is s less than or equal to t?
True
Suppose -j = 2*h - 5*h + 20, 0 = 2*j + 10. Suppose 4 = -4*v - 3*b, -5 = h*v - 6*b + b. Let z be (6/(-20))/(v - (-20)/32). Do z and 0 have different values?
True
Let d = -1 - -6. Suppose -24 = h - d*h. Suppose 18 - h = -6*o. Are -4 and o non-equal?
True
Suppose -146*h + y + 4 = -143*h, h - 3*y = 12. Which is smaller: 4258 or h?
h
Let n be (16/20 + 0)/(180/50). Let x be (-274)/(2/(-3) - (-12)/(-9)). Which is smaller: n or x?
n
Let x(n) = n**3 + n**2 + n + 2. Let r be x(0). Suppose 0 = 5*y + 5*a, -y = -6*a + 5*a - r. Which is bigger: y or 10/11?
y
Let f = -2837 + 2838.97. Which is bigger: f or 0.6?
f
Suppose 5*m + 39 + 6 = 0. Let b(f) = f**2 - f. Let d(c) = 5*c**2 - 17*c + 32. Let x(s) = -4*b(s) + d(s). Let r be x(8). Which is smaller: m or r?
m
Let z = 114 + -66. Suppose -458 + z = 5*a. Let v = -202 + 120. Are v and a unequal?
False
Let j(w) be the third derivative of 13/3*w**3 - 23*w**2 + 0 - 1/24*w**4 + 0*w. Let k be j(25). Which is smaller: k or 2/103?
2/103
Let q(r) be the third derivative of -r**5/60 + 13*r**4/24 + 19*r**3/6 - 4*r**2. Let h be q(10). Let o = 47 - h. Is -4 smaller than o?
True
Let m = 734 + -766. Let o(x) = -16*x + 56. Let f be o(m). Which is smaller: 569 or f?
f
Let c be ((13 - 10) + -261)/(1 + 1). Let w(j) = -7*j**2 + 3*j - 5. Let r be w(-4). Is r at least c?
True
Let s = -1/67352 - -139985/355685912. Is s < 0?
False
Let n = -25692 - -25599.888. Let m = n - -0.112. Let x = -75 - m. Which is greater: x or -1/3?
x
Let t(m) be the third derivative o