-0.12 greater than or equal to r?
True
Let z be (63/9 - 7)/(-8). Is -4/65 > z?
False
Let c = 103 + -102. Let i be (2/(-1) - (-2 - 12))*c. Let p be (-22)/3 - (40/i)/5. Is -9 < p?
True
Suppose -1033*d + 1034*d - i + 1 = 0, -4*d = -i + 1. Let x be (4/(-20))/((-158)/(-6)). Is x at most as big as d?
True
Let r be (2412/(-14) - 8)/((-30)/14). Let t = r + -84. Which is bigger: t or 1?
1
Let g = -845/1642 + 12/821. Which is greater: -6.57 or g?
g
Let n = 28 - 16. Let w = n - 11. Let l = -56831/64 + 888. Are l and w non-equal?
True
Let b(t) = 70*t - 2800. Let n be b(40). Let u(a) = -a + 5. Let s be u(5). Suppose 0*m - 2*m - 6 = s. Which is smaller: n or m?
m
Let h = -43 + 46. Suppose 27 = h*m + 4*f, -3*f + 0 + 4 = m. Let b(r) = -4*r - 4. Let z be b(-4). Is m greater than or equal to z?
True
Suppose 2 = 3*t - 1. Let k = -66/137 + 4075/1918. Let p = 199/70 - k. Is t less than or equal to p?
True
Let n = -207 + 359. Let p = n - 54. Let j = 97.7 - p. Is j > 3?
False
Let c be (84/(-147))/(2/(-7)) + -26. Let q be -50*c/(-32)*4/(-6). Which is bigger: q or 76/3?
76/3
Let n(m) = -114*m - 188. Let d be n(7). Let o be (22/(-99) - d/(-18))/1. Are -52 and o equal?
False
Let j(r) = r + 2. Let p be (-1)/(-7) - (-440)/56. Suppose 4*c - p*c = -48. Let g be j(c). Which is bigger: -1/4 or g?
g
Suppose 5*o - 49 - 31 = p, 0 = -2*p - 2*o - 136. Let z be (-5166)/(-123) + (-115 - -2). Is z > p?
False
Let u(z) = z**3 - 12*z**2 - 28*z - 24. Suppose -268 = -14*r - 72. Let w be u(r). Are w and -22 non-equal?
True
Let b = -152 - -215. Suppose -3*g + 183 = -4*t, g - b = -0*g + 2*t. Let m be (-6)/g - 1070/665. Which is smaller: m or -3?
-3
Let g = 26 - 23. Let a(o) = -6*o + 37. Let z be a(5). Suppose 144 = g*i - z*i. Is -37 != i?
True
Let q = 3 + 25. Let r be q + (0 - -1)*-2 + 3. Suppose -v = -5*n - 9 + r, 4*v - 5*n = -20. Which is smaller: 15/22 or v?
v
Suppose 19 + 56 = 25*w. Suppose -2*m + 16 = 3*x + 7, -3*x - 6 = -w*m. Is x smaller than 1?
False
Let a = -157 - -144. Let c(t) = -t**2 + 8*t + 21. Let d = 45 + -35. Let v be c(d). Is a > v?
False
Let z be 20/(-8)*-20*(-2 + 0). Let w = z - -108. Let l be w*(-7)/(-112)*1/(-2). Are 5 and l equal?
False
Suppose 216 = -231*q + 227*q. Let a be (5/(-15))/(6/q). Which is smaller: a or 5?
a
Let r(x) be the second derivative of x**5/60 + 11*x**4/24 - 5*x**3/3 + 2*x. Let c(o) be the second derivative of r(o). Let t be c(11). Is 32 bigger than t?
False
Let m = -16.6766 - 514.0964. Let j = m + 531. Let c = -0.027 + j. Which is greater: c or -1.6?
c
Let y be 574/392*6/12. Is y not equal to -2/5?
True
Let w = 0.05 + 13.95. Let b = w + -13.76. Let h be (-48)/88*(2 + (-28)/12). Which is smaller: h or b?
h
Let i = 1.8802 - 1.5802. Is i != 2928?
True
Let s = 8032 + -8033. Is -660 at most s?
True
Let u = -0.16 - 14.04. Let b = -71.2 - u. Let i = -53 - b. Which is greater: i or 1?
i
Let s = -0.3 - -25.1. Let y = -22.8 + s. Which is greater: y or -0.078?
y
Let b(i) = 2*i + 21. Let f be b(-12). Let z be 15/(90/(-4)) - 233/f. Is 77 greater than or equal to z?
True
Let v be 3/(-9) + 118/3. Let m(w) = w**3 - 4*w**2 + 8*w + 3. Let r be m(3). Suppose v = 3*d - r. Is d at least as big as -1?
True
Let k = -9899 - -9900. Suppose 6 + 12 = 2*d. Is d greater than k?
True
Let q = 14.93 + -15. Suppose -j + k + 309 = 0, k + 1557 = 2*j + 3*j. Suppose -j*h - 8 = -308*h. Does q = h?
False
Let l be 586/(-12) + (-350)/(-420). Is -95/2 smaller than l?
False
Let n be (0 + 351/(-144))*(-16)/(-60). Let x be 0/(7/(7/(-2))). Is x equal to n?
False
Let a(j) = -2*j**2 - 963*j + 2908. Let w be a(3). Let z = -7/985 + -1457/16745. Which is smaller: z or w?
z
Let w = -644/11 - -1954/33. Is w bigger than 4920?
False
Let d be (5 + 275/77)*(146 - -1). Let s = d - 21408/17. Which is smaller: s or 0?
0
Let i be 6/4*(590/3 + -4). Suppose 5*v = 449 - i. Let q = -0.2 - 0.8. Is q <= v?
True
Suppose 6*i - 60 - 102 = 0. Let v be (-12)/i + 118/144. Is v <= 2/7?
False
Let u = 1187137837969/463 + -2564015104. Let i = 2495 + u. Which is smaller: i or -1?
-1
Suppose -14*t + 8737 = 5531. Which is smaller: t or 234?
t
Let f = 339 + -240. Let x = 98 - f. Let m = 4.8 + -1.8. Is m smaller than x?
False
Let g(n) = -395*n**3 - n**2 + 4*n - 4. Let o be g(1). Let a = -399 - o. Is a at least -27/14?
False
Let t be (3/(-5))/(23/(-690)). Suppose -10 = -19*h + t*h. Suppose -h*n - 7 = 3*v - 8*n, 2*v + 2*n = -8. Is -65 <= v?
True
Let p be 35/21 - 2 - 8/(-6). Let g be p*-1 - (1 + -2)*53. Suppose 4*n - 20 - g = 0. Which is bigger: 16 or n?
n
Let t(z) = -44*z - 4647. Let l be t(-74). Which is greater: -1395 or l?
l
Let a be 3/(((-15)/(-4))/5). Suppose -k + a = k. Suppose -5*d - k*f + 10 = -27, d - 13 = f. Which is bigger: d or 10?
10
Let a(h) be the second derivative of h**4/12 - 19*h**3/6 - h**2/2 + 2*h. Let o be 177/9 - 6/9. Let n be a(o). Is -1/28 >= n?
True
Let p be 152/(-48) - (0 - (-2)/4). Which is bigger: 10 or p?
10
Let p be ((-8)/(-7))/(4/14). Let c be (-8654)/p*(2 - 0/(-7)). Let k = -705299/163 - c. Which is greater: -1 or k?
k
Suppose 10*b - 14 = 3*b. Suppose -b + 21 = -19*a. Is 3 greater than a?
True
Let m(q) = q**3 - 19*q**2 + q - 422. Let y be m(20). Is -35/3 > y?
False
Let j(z) = -5*z**3 - z**2 - z + 1. Let g = 100 + -99. Let x be j(g). Which is bigger: 0.06 or x?
0.06
Let b be -9 - (-16 + 8)*(-21)/24. Let r be (-1 + (-208)/(-12))*(13 + b). Let f = 47 + -94. Which is smaller: f or r?
r
Suppose 163*k + 2493 + 21398 = -2515. Which is smaller: -183 or k?
-183
Suppose 3*g + 5*x - 83 = -0*x, -59 = -3*g + x. Let d = 112 + -162. Let s = -29 - d. Is g at most s?
True
Let t = -4101/10 - -713/2. Let k = -8846 - -8792. Does t = k?
False
Let i = 122 - 117. Suppose -50 = -i*h - 550. Let q = h - -197/2. Is -3 bigger than q?
False
Let p be (-34)/38 - -1 - (-37006348)/(-53162). Is p <= -695?
True
Let o(a) = 2*a**3 + 121*a**2 - 62*a + 156. Let n be o(-61). Is n at least as big as 218?
False
Let f = -2045 + 264. Are -1782 and f equal?
False
Let j(p) = -p**3 - 23*p**2 - 17*p + 109. Let z be j(-22). Which is greater: -1/369 or z?
-1/369
Let v = 3.1 - -1.9. Are 23/3 and v equal?
False
Let q = 39260302/2647 - 14832. Let l = q - 942318/18529. Are -52 and l non-equal?
True
Let r(t) = -t**3 - 11*t**2 - 13*t - 14. Let v be r(-10). Let l be v/24*6/4. Let y be (-26)/(-169) - 7/(3003/144). Is l <= y?
False
Let x(i) be the second derivative of 17*i**4/12 + 2*i**3/3 + i**2 + 9*i. Let n be x(-2). Let b = 70 - n. Which is greater: b or 5?
b
Let w = -19.05 - -18.95. Is -1163 at most as big as w?
True
Suppose -5*a + 2*w - 41 = 47, 0 = 5*a + 4*w + 94. Let s(i) = -i - 1. Let b be s(a). Suppose -q = -g + b, 4*g = 6*g - 3*q - 39. Which is smaller: 11 or g?
11
Let r = -3404 - -3404.42. Is r > 4?
False
Suppose 35*u + 1089 = -1151. Let n = 29 + -96. Which is bigger: n or u?
u
Suppose 5*t + 3*c = -62415, 3*c - 44965 + 7492 = 3*t. Let v = t + 112594/9. Which is smaller: v or 23?
23
Let h(f) = -6*f**2 + 195*f - 3814. Let x be h(44). Which is greater: x or -6852?
x
Let k be -3 + 5 - 26*(-67)/(-5). Is k not equal to -347?
True
Let w(o) = 5*o**3 - 13*o**2 + 29*o + 5. Let y be w(4). Is 227 less than y?
True
Suppose -16*v = -27*v + 55. Let p be 4/(-14)*50/v. Is p smaller than -1?
True
Let t = 978/37 - -75305/148. Which is greater: 1 or t?
t
Let b = 6181 - 3331557/539. Which is bigger: 0 or b?
b
Let q be -152*(-735)/75411*(15/2 + 0). Let o be (2/3)/((-4)/6). Which is bigger: o or q?
q
Let z = -1500.6 + 1501. Let g = 2 + 60. Which is bigger: g or z?
g
Suppose -20 + 6 = -7*w. Let g be (-96)/(-48)*w/(8/58). Suppose -k = -2*c + 33, -k = -c - 2*c + g. Are k and -81/2 non-equal?
True
Suppose 6*l + 9000 = 21*l. Which is greater: l or 602?
602
Let d(v) = -2*v**3 - 3*v**2 + v. Let w be d(2). Let i = 69 + w. Which is smaller: i or 41?
41
Suppose 0 = 1563*p - 1564*p - 822. Is p bigger than -822?
False
Let r(m) = -m**3 + 14*m**2 - 6*m + 25. Let j be r(9). Let d = j - 13. Which is bigger: 362 or d?
d
Let n(k) = k**3 - 9*k**2 + 7. Let l be n(9). Let c(t) = 10*t - 18. Let a be c(l). Let p = -42 + a. Do p and 10 have the same value?
True
Suppose -4*v + 3*v - 2*r = 0, 4*v = 5*r. Let i = 29/7 - 281/105. Let t = i - 326/345. Is t smaller than v?
False
Let o = -77 + 76.905. Let z = o - 69.905. Let b = z + 67. Is b less than or equal to -3/4?
True
Let a = -75.814 + -0.1