-115/378 - -62939/196938. Is 0 smaller than c?
True
Let p = -4/7 - -89/21. Suppose -9 = 5*x + 4*y, -239*x + 235*x - 6 = 3*y. Which is smaller: x or p?
x
Let c(f) = f**3 + 21*f**2 + 2*f + 30. Let g be c(-21). Let x be -3 - (-7)/(21/g). Is -32/5 equal to x?
False
Suppose 3*c + 460 = -4*l + 4*c, 4*l + 472 = 4*c. Let j be (-2)/4 - l/(-12). Let h be (-2)/j*100/(-60). Is 2 greater than or equal to h?
True
Suppose -3206*g = -3207*g - 364. Is -3990/11 >= g?
True
Let g be (14 - 3) + (-18)/3. Suppose 4*n = 5*q + 115, 4*q - 253 = -g*n - 58. Is n at least 36?
False
Let u be 11/11 - -14 - (0 - -1). Let t = u + -4. Which is smaller: t or 5?
5
Let z be 320/(-32) + 57082*(-4)/(-32). Which is bigger: z or 7125?
z
Let x = -403 + 402.9. Let c = 14 + -14. Suppose 0 = -6*a - c*a. Do x and a have the same value?
False
Let r(i) = i**2 + 16*i - 1. Suppose -3*v - 2*a - 52 = 0, -a - 15 = v + 3. Let n be r(v). Let h be (-7)/(-14) - (-105)/(-66). Which is smaller: h or n?
h
Suppose -2*u + 1 = -9. Suppose -u*b = -4*s + 81, -4*s = 2*b + 3*b - 31. Let j(c) = -3*c - 113. Let i be j(-42). Is s < i?
False
Let o(z) = 6*z**3 - z**2 - 14*z + 21. Let l be o(3). Suppose 0 = -l*v + 115*v + 578. Do 44 and v have different values?
True
Suppose -9*x - 26*x + 12988 = 112878. Which is bigger: x or -2855?
x
Let n = -67 + 71. Let i be -1*(6 - n) - -5. Suppose i*r - 8*r + 35 = 0. Is -0.3 <= r?
True
Let q = 350 + -206. Let b be (-8)/36 - 4*4/q. Let i = 0.9 - -4. Is i less than or equal to b?
False
Let t = -5119 + 5071. Is -47 at least t?
True
Let y(i) = 5*i + 174. Let u be y(-39). Let p(b) = -b**3 - 19*b**2 + 41*b + 40. Let s be p(u). Which is smaller: s or 62?
s
Let q = -7 + -10. Let m = 18 + q. Suppose -140 - 113 = 11*f. Which is smaller: m or f?
f
Let l = 42.597 - -173.033. Let d = -216 + l. Is -5 bigger than d?
False
Suppose 3*b - 106 = 4*b + 5*y, 4*y = -5*b - 488. Let m = -16 + b. Let c be (1/2)/((-77)/m*4). Which is smaller: -2 or c?
-2
Let y be 401*(2 - 1)*-4. Do -1603 and y have the same value?
False
Let j = -43 + 63. Let x = 318 + -323. Let b(f) = -f**3 - 4*f**2 + 5*f - 2. Let t be b(x). Is t at most j?
True
Let c be 61599/(-171) + 10/(-6). Let h = 362 + c. Which is greater: 1 or h?
1
Let s = 552528 + -552527.9. Let x = -557 + 117. Which is bigger: x or s?
s
Let l = -266 - -606. Let n = 2045/6 - l. Let i = 2/15 - 19/30. Is i less than n?
True
Let m = -108.39 - 2.61. Let k = 114.02589 + -0.02589. Let b = m + k. Is b less than -7/4?
False
Let l be -4 + 2 - (448/(-24))/8. Which is smaller: l or -149?
-149
Let r = 2059 + -2192.7. Let j = 134 + r. Is j < 1?
True
Let g = 679 + -676. Suppose 3 = -m + 2*m. Suppose 0 = -5*z - m*j + 6, -g*z - 5*j + 8 = -j. Which is smaller: z or 4?
z
Let c = 80 - 84. Let j be (4 - -1) + -24 + c. Which is greater: j or -18?
-18
Let m be (-4)/(-10)*(-25)/(-30) - 4960/93. Which is greater: m or -87?
m
Let y = -462 - -538.8. Let g = y - 77. Is g bigger than 37?
False
Let j be (1078/(-378) + 2)/3. Which is greater: -1 or j?
j
Let v = -0.282 - 507.718. Let w = v - -507. Which is greater: w or -53?
w
Let i(u) = -6*u**2 - 7*u + 28. Let k be i(-3). Let j be (-55)/7 - (-2)/1. Is k at least j?
True
Let t = 16177 - 17128. Do -953 and t have the same value?
False
Let k = 6.967 + -6.967. Which is greater: -466 or k?
k
Suppose 3 = -z, z + 0 = -2*g - 3. Suppose 4 = 3*w - t, 3*w - 19 = -2*t - g. Suppose s + o + 7 + w = 0, 15 = 2*s - 5*o. Is s >= -4?
False
Let t(z) = -z**3 + 19*z**2 + 44*z - 10. Let v be t(21). Is 37 < v?
False
Let n be (27/36*-757)/(1505/(-6)). Let m = n + -78/35. Let i = m - 229/1634. Is 0 less than i?
False
Let n(h) = -h**3 - 7*h**2 - h - 3. Let y be n(-7). Let x = y - 2. Let v = -658/13 + 9407/182. Do x and v have the same value?
False
Let u = 172 + -22. Let g = 1.514 - 3.514. Which is smaller: u or g?
g
Let x be 28/(-14) + 8 + -1. Suppose -6*g + g + x*d - 10 = 0, -2*g - 2*d = 20. Which is smaller: -9/2 or g?
g
Suppose -4*w = 4*v - 4, -6*v - 5*w + 9 = -2*v. Let x be -62*v/252*-3*6. Which is bigger: -19 or x?
x
Let p(r) = r**3 - 10*r**2 - 5*r + 147. Let t be p(5). Is 445 less than or equal to t?
False
Suppose 11*v + 5 = 12*v. Suppose 0 = v*x + q - 26 + 169, 3*x + 3*q + 81 = 0. Do x and -29 have the same value?
True
Suppose c + 0 = 1. Suppose 3*u + u = 0. Suppose -j + 0 - c = u. Is j bigger than -13?
True
Let b be (-675)/162 - (-34)/(-2). Is -21 greater than or equal to b?
True
Let o be 21/36 + 6/(-18). Suppose 3 = -2*j - 3*c, -6 = 2*j + 2*c - 4. Which is smaller: o or j?
j
Suppose 10 = -5*t - 5, -4*t + 9628 = 5*j. Which is smaller: j or 3857/2?
j
Let p = -683 - -831. Suppose c - 170 = -p. Which is smaller: 7 or c?
7
Suppose 13*z = 17*z + 72. Let f be (37/4)/((675/z)/15). Does f = -5?
False
Let y = -3432.77 + 268.77. Which is bigger: y or 3?
3
Suppose -z - 5*z + 1056 = 0. Let n be 3*(-8)/(-6) - 2528/z. Which is smaller: n or -9?
n
Let s = -660 - -746. Which is bigger: 2/15 or s?
s
Let f(r) = -6*r + 21. Let c be f(13). Let b = 402 - 404. Which is smaller: c or b?
c
Let j be (-5)/4*(-7 - -3). Suppose 4*k = -4, 2*w - j*k = 5*w + 5. Suppose 4*v - 3*y + 4 = w, y - 2 = 3*v - 2*v. Which is smaller: 3 or v?
v
Let a = -684 + 573. Let h = 111.027 + a. Which is greater: h or -0.1?
h
Let w = -327512/445 - -1191/89. Let s = w - -722. Let g = 0.98 + -1. Is s >= g?
False
Suppose -18*n + 181 - 199 = 0. Let u be (-2)/4 + (-36)/(-8). Let j be (u/(-222))/(2/3). Is n > j?
False
Let b(g) = g**3 - 5*g**2 - 3*g - 11. Let h be b(6). Let m(z) = z - 3. Let q be m(h). Suppose 0*u + 2*u - q = 0. Which is greater: u or 3/4?
u
Suppose -11264 = 16*q + 6*q. Let f = q - -515. Is f >= 3?
True
Let s(x) = x**2 + 30*x + 64. Let y be s(-19). Let i = y + 190. Which is bigger: i or -1?
i
Let j be 2/51*(-42 + -3). Let p = 10771 + -10773. Is p bigger than j?
False
Suppose 5 = 4*y - 23. Suppose 224 - 35 = y*w. Let j(p) = p**3 + 7*p**2 + 4*p - 2. Let l be j(-5). Which is smaller: l or w?
w
Suppose -317*o = -1095*o + 8558. Suppose -2*i + 3*i = 3*s + 14, -5*i + 4*s = -26. Suppose 11 = -i*n + 3*x, -3*n + 2*n - 3*x + 17 = 0. Which is bigger: o or n?
o
Let c = 13.011 + -0.011. Let a = 46 + c. Let q = a + -57. Which is bigger: q or -6/11?
q
Let t be ((4 + 1)/(2 + -1))/((-156)/3952). Which is greater: -126 or t?
-126
Let f = 25 + 116. Suppose -69 - f = -21*s. Is s greater than 13?
False
Let p = -168 - -267. Let m be (3 - p/18) + 102/(-4). Are -28 and m non-equal?
False
Suppose 0 = -22*i + 23*i + 56. Let w = 124 - i. Which is smaller: 178 or w?
178
Let s = -5362.08 + 5362. Which is greater: s or -2/1257?
-2/1257
Let s = -7/36 + -1/18. Suppose -67*n + 68*n - 4*b - 32 = 0, b - 244 = -5*n. Is s > n?
False
Let w = 2592 + -2591. Which is smaller: w or -47/105?
-47/105
Let i(v) = v**3 + 9*v**2 - 14*v + 4. Let d(y) = -2*y**3 + 3*y**2 - 2*y - 2. Let r be d(2). Let z be i(r). Is z equal to 46?
False
Let r be 1 - 1 - ((-10)/(-5) - 2). Suppose -9*h + 1 + 35 = r. Which is smaller: -1/11 or h?
-1/11
Suppose -4*t + 11 = -3*t - 5*c, 2*t + c + 77 = 0. Is t less than -545/16?
False
Suppose -3*a = 2*o + 3*o - 12, -27 = -4*a - 3*o. Let x be 4/6*a/(-6). Which is bigger: x or -1/6?
-1/6
Suppose -4*i = 2*y - 2*i + 14, 3*y + 5*i = -23. Let g = 1713 - 1716. Which is smaller: g or y?
y
Suppose 0 = b + 4*w - 5, -b - 85 = -4*b + 2*w. Let r be (5/(-3))/(b/(-30)). Suppose 204 = -2*z - r*z. Which is bigger: z or 1/2?
1/2
Let j(n) = -5*n - 3*n**2 + 6*n - 2*n**2 - 8*n**3 + 7*n**2. Let x be j(-1). Let c be 1/(3/x - (-44)/(-114)). Is c less than -19?
False
Suppose 4*h + 3*s - 15107 = 0, -92*h + 93*h = 4*s + 3772. Is h > 3776?
False
Suppose 4800 = 4*w + 236. Is w greater than or equal to 1139?
True
Let g = -62/5193 + -30643583/25965. Which is greater: g or -1180?
-1180
Let q = -0.0557 + -0.4383. Let n = 0.004 + q. Let k = 9.49 + n. Which is bigger: k or -2?
k
Let m be 105/25 - (-72)/(-60). Is m > 35?
False
Let q = -294.8 - -271.8. Let u = 14.64 + 0.36. Let w = u + q. Which is smaller: w or 1?
w
Let j = -5245 + 5175. Is j > -80?
True
Let r = 459 - 453. Let h be 6 - (-300)/40*(-4)/r. Are -1/23 and h equal?
False
Suppose 4*v = -0*v + 72. Let h be (30/(-12))/((-35)/224). Which is greater: h or v?
v
Suppose -5*x + 3 = 23. Let t be 1*(-5)/(x - 1). Is t at most 2/195?
False
Suppose 4*q = i + 2 + 2, -3*i + 3*q = -33. Let v = 22 - i. Let p be ((-6