 q be (-4)/(3232/42412) - (4 - 2). Let t = q + 109/2. Is t <= 0.1?
True
Let i be (-45)/(-20) + 1663/4. Is 417 smaller than i?
True
Let l(o) = -19*o + 736. Let d be l(39). Which is smaller: d or -12?
-12
Let o be ((-19)/(-10))/(-19)*66 + (-8 - -15). Are o and 11.38 non-equal?
True
Let d be ((-206)/309)/(6/(-2295)). Is 242 less than d?
True
Suppose 3*i - 9 = 3*m, -3*i = -6*m - 83 + 68. Is 2/27611 equal to i?
False
Let d = -57.18 + 56.452. Is 1 >= d?
True
Let n be (-15)/55*(8 + 4/(-1)). Let x be ((-5)/4)/(2/(-8)). Let d = x + -6. Does n = d?
False
Let g = -216.4 + 216.6. Is 849 < g?
False
Let a = 5 - 5.03. Suppose -u - 6 - 4 = 2*j, 3*j = 4*u + 95. Let z(g) = -g**3 - 20*g**2 - 2*g - 38. Let f be z(u). Which is greater: a or f?
f
Suppose p - 362 = 4*n, -5*p - 2*n = -0*n - 1744. Let a be (-70)/p + -5*4/(-98). Do a and -1 have different values?
True
Let c = 0.04969 - 0.44969. Which is smaller: -52 or c?
-52
Let b be 4/9*(195/(-10))/13. Which is smaller: b or 191?
b
Suppose 7*n = -9964 + 49780. Let v = 5989465/1053 - n. Which is smaller: 1 or v?
v
Let s be -24 + (896/(-4528) - -24). Are s and 1 non-equal?
True
Let i = 0.732 + -390.732. Let h = 412 + i. Which is greater: -0.4 or h?
h
Let q = 55724/77 - 7728/11. Is q <= 21?
False
Suppose 3*t = -15, -11*f + 12*f + 4*t + 84 = 0. Let w = 170 + -100. Let q = w + f. Which is greater: q or 1/5?
q
Let o = -3 - 1. Let w = o - -4.56. Let a = w - 0.58. Is -2/15 greater than or equal to a?
False
Let i(o) = o**2 + 34*o + 210. Let g be i(-8). Which is bigger: 46.4 or g?
46.4
Let s(g) = 90*g - 158. Let r be s(2). Let d(m) = 10*m + 1. Let k be d(2). Is k less than r?
True
Let r = -35983/516 - -888/43. Suppose -343 = -4*y - 3*y. Let t = r + y. Is t at most as big as 0?
True
Suppose -5*a - 3*b + 17 = -2, 3*a = 3*b - 3. Suppose a = -3*t + 2*t. Suppose 2*k = -5*n - 24, 5*n - 14 = 10*n - 3*k. Is n bigger than t?
False
Let m be 4 - (0 - (1 - -11)). Suppose m*r = 12*r + 12. Suppose -r*c = y - 14, 4*c + 0*c = 3*y - 3. Which is greater: y or -2?
y
Let z = -1175 + 1193. Are 140 and z non-equal?
True
Let t = 11363.1 + -11363. Which is smaller: -2138 or t?
-2138
Suppose 7*u - 11*u + 60 = -4*s, 0 = -3*u + 4*s + 50. Suppose -3*t = -5*m - 20 + 8, -5*m = -5*t + u. Let b = 949 + -8563/9. Do b and m have different values?
True
Let d = 5 + -60. Let b = 55.48 + d. Let j = b - -0.12. Is 1/5 greater than j?
False
Let h be 147/35035*(-289)/26. Let t = h + 1/845. Is t != 0?
True
Let u be 156/(-38) + (-124)/(-1178). Let r(c) = -c**3 - 13*c**2 - 35*c + 7. Let n be r(u). Which is greater: n or 31/7?
31/7
Let o be 1306/8 + 2 - (-27)/36. Let d = o - 182. Is d bigger than -20?
True
Let y(d) = d**2 + 10*d - 27. Let g be y(-12). Let k be g/63*3*1999. Let j = k - -286. Which is smaller: 1 or j?
j
Suppose 4*f + 27 = 99. Suppose 23*m - 50 = f*m. Let p be (-461)/1165 + m/25. Which is greater: -1 or p?
p
Suppose 0 = 39*a - 17*a + 35332. Is a less than -1606?
False
Suppose -347*g + 167*g = -250*g. Is g < -50/357?
False
Let f(c) = c**3 + 30*c**2 - 28*c + 29. Let b(j) = -9*j**2 + 9*j - 13. Let u be b(2). Let s be f(u). Which is greater: s or -63?
-63
Let b be -8*4*1/(-2). Let p = 15 - b. Let n be (556/112 - 5)/((-1)/3). Is n at most p?
False
Suppose -4*l = -3*b - 3253, 10*l - 7*l - 2427 = -2*b. Is 809 at most l?
True
Let q = 237.39 - 237. Let f = 18.61 + q. Which is smaller: -7 or f?
-7
Suppose 2*q - 22 = -4*h, -q + 2*q - 3*h = 36. Suppose 0 = -q*a + 347 - 53. Let g be ((-18)/4)/((-18)/48). Is g < a?
True
Let z = -1517 + 1470.02. Let v = -0.5931 + -46.4069. Let h = v - z. Which is smaller: h or -2/7?
-2/7
Let p = 0.024 + -0.063. Let k = p - 20.961. Let g = 31/4 - 15/2. Is k < g?
True
Let d be (-3)/12 - 212/(-16). Let t(h) = h**3 + 17*h**2 + 30*h. Let u be t(-15). Suppose u = -4*x - d + 17. Is -2/51 at most x?
True
Let h be 12/36*-21 - -265. Is h equal to 267?
False
Let b = -0.3 + -0.2. Let l be (2/(-3))/(38/(-6) - -7). Which is greater: l or b?
b
Let v = -182 - -189. Let x be -46 - (-6 - (v - 22)). Is -58 != x?
True
Let l = -396 - -410. Suppose 17*p + l = 3*p. Are p and -231 unequal?
True
Let h(t) = t**2 + 7*t - 8. Let i be h(-9). Let z be (56/10)/((-3)/((-90)/4)). Let d = z + -34. Which is smaller: i or d?
d
Let x be (-24 - 5)*(3 - 2). Let b = 7520/7 - 61735/56. Which is greater: b or x?
b
Let i = -7155905/149 + 48026. Is i at least as big as 0?
False
Let y(v) be the second derivative of -v**4/12 + v**3/2 - 7*v**2/2 - 200*v. Let r be y(11). Which is greater: -0.2 or r?
-0.2
Let n = 363/14260 + -2/115. Suppose 0 = -2*t + 4*y, 0 = -2*t - 0*t + y. Do n and t have different values?
True
Let h = -30850 - -28527. Which is bigger: h or 1/7?
1/7
Let u(i) = i**3 + 20*i**2 + 39*i - 18. Let x be u(-18). Suppose 3*g - 5*b = -56 - 161, -5*b - 128 = 2*g. Is x > g?
False
Let j be (7 - 1128/162)/(6/72 - 4). Is -1 greater than j?
False
Let h(r) be the first derivative of -r**2/2 + 15*r + 20. Let x be h(15). Suppose -f - f + 4 = x. Which is smaller: 8/9 or f?
8/9
Let j(s) = -49*s - 141. Let n be j(-3). Let y be (9 - 6501/748)*(-1)/n. Are -1 and y equal?
False
Let i = 47 - 45. Suppose -4*s = 2*p - 2, p + 2*s + 1 = i*p. Let t be ((-8)/98)/((-6)/7). Is p bigger than t?
True
Let b = 441/3228752 - 1162318533469/739384208. Let h = 1572 + b. Which is greater: -1 or h?
h
Let z(s) = -11*s - 194. Let j be z(-6). Which is smaller: -133 or j?
-133
Suppose 5*q = 2*f - 260, 11*q - 10*q + 2*f + 52 = 0. Is -48 <= q?
False
Let w be (4 - 7)/(9/15) - (-15)/3. Is 2/647 at least as big as w?
True
Let d be 748/(-2556) + (-6)/(-27). Let c(h) = 7*h + 42. Let b be c(-6). Which is bigger: b or d?
b
Suppose -55*k - 244*k + 27508 = 0. Which is smaller: 5 or k?
5
Let w = 27/16070 - 283191/10734760. Do w and -1 have the same value?
False
Suppose -5*j = -24*y + 20*y + 2900, 2*y = -2*j - 1160. Let h = j - -477. Is h less than or equal to -103?
True
Let k = -0.047 - 6.513. Let s = -0.04 + k. Let v = -9 - s. Is 1 smaller than v?
False
Let g(p) = 2*p**3 + 107*p**2 - 279*p + 55. Let h be g(-56). Which is bigger: h or -4/3195?
-4/3195
Let f = -3163 - -3244. Let l = -4405.12 + 4324. Let n = f + l. Which is smaller: n or 0?
n
Let k = 0.07 + 1.13. Suppose -h + 7 = l, 7*h - 18 = -2*l + 3*h. Let n be 2/l + 0 + 16/(-15). Which is bigger: k or n?
k
Let c = 145 + -143.51. Let h = c - 1.56. Which is smaller: -7 or h?
-7
Let m = 934.5 + 3.5. Let j = -1007 + m. Which is smaller: j or 2?
j
Suppose 3 = -t + 2*g, g - 108 = t - 106. Is 0.179 at most t?
False
Let w(m) = m**2 - 14*m - 5. Let d be w(17). Suppose 4*f - d = -54. Let h be 5 - (1 - f) - (-4 + 14). Are -9 and h equal?
False
Let d = -65 + 84. Suppose -d = -6*w - 109. Let s be 4 - (w/(-10) - -3). Which is bigger: s or 0?
0
Let k = 76 - -183. Suppose -k + 835 = 16*p. Is 36 at most as big as p?
True
Let u(o) = o**3 - 12*o**2 + 8*o + 12. Let n be u(7). Let d = n + 181. Is d at least 58/13?
False
Suppose 93 = -55*s + 148*s. Is s equal to 2/14405?
False
Suppose 17*l + 115 = 132. Which is greater: l or -21/101?
l
Let f = -1026 - -1186. Is f bigger than 160?
False
Let b be (-42)/35*40/6. Let q = -911 + 547. Let i be q/65 - 4/10. Which is greater: i or b?
i
Let v = -489.571 - -1.571. Which is smaller: v or -12/11?
v
Let v be ((-1)/9)/((-13)/15). Let y = 13960 + -13960. Is v <= y?
False
Suppose -k + 9254 - 9128 = 0. Which is greater: 115 or k?
k
Let j = -640/17 - -38. Suppose -4*c = -4*g, 3*c + 5*g = -0*g - 16. Is c > j?
False
Let c be -15 + 2 + (1 - -1). Let j(x) be the first derivative of x**3/3 + 5*x**2 - 8*x + 138. Let h be j(c). Is 15/7 at most h?
True
Suppose 0 = 5*k - y - 993, 2*k + y - 506 = -106. Let n = 53690 - 53490. Which is bigger: n or k?
n
Let s = 46.89286 - -0.10714. Is 8/11 <= s?
True
Let i(y) = y**2 - 19*y - 18. Let b be i(14). Let o be (b/(-16))/(111/(-12)). Is -1 at most as big as o?
True
Let b = -140583 + 1178226127/8381. Which is greater: -1 or b?
b
Let w = -5/8748 + -19787951/43740. Let u = w + 389069/860. Which is greater: u or 0?
u
Suppose 2*c + 3*j = 8565 - 2444, 0 = -2*c - 4*j + 6124. Which is smaller: c or 3055?
3055
Let d be (21/(-6) - -6)*16/10. Suppose 14*b + d*b + 414 = 0. Which is smaller: b or -119/5?
-119/5
Suppose -19*o - 90 = 81. Let m be (-3)/o - 4/3. Which is bigger: m or 69?
69
Let w = 305.5942 - 1.6042. Let o = w + -304. Let d = -5