ller: y or 0?
y
Let q be -2*(2/5)/((-64)/(-80)). Is q greater than or equal to 26/125?
False
Suppose -3*h = 4*v - 748, -27*v + 29*v - 5*h - 348 = 0. Is v at least 2022/11?
True
Let a = -260 + 165. Let t = a + 93. Let j be ((-177)/(-45) - 2) + t. Which is greater: j or -1?
j
Let h(p) be the third derivative of -1/6*p**3 - 1/15*p**5 - 1/6*p**4 - 1/60*p**6 - 13*p**2 + 0*p + 0. Let v be h(-3). Is 28 greater than v?
False
Let p = -1414 - -1454. Is 0.06 at least as big as p?
False
Suppose 20*t = 50*t - 107491 - 44069. Are 0.1 and t equal?
False
Let l = 5424 + -5643. Is l smaller than -222?
False
Let l = -22560 + 22559.856. Is l at least -5?
True
Suppose -3*s = -2*i - 50, -5*s - 3*i + 115 = -0*i. Suppose 30*g - 26*g + s = 0. Let x be (2 - 3) + (3 - 1). Which is greater: x or g?
x
Let s(i) = i - 4. Let m be s(4). Let y(j) = j**3 + 5*j**2 - 2*j - 12. Let c be y(-5). Let r be (-2132)/(-1560) + c/10. Which is bigger: m or r?
r
Suppose -h - 1392 - 187 = 0. Let g = h - -77368/49. Is g greater than 0?
False
Let y(b) = 216*b - 845. Let q be y(4). Is q smaller than 28?
True
Let o = -14371 + 14372. Is o <= -32/383?
False
Let x = 3569 - 3374. Which is smaller: 202 or x?
x
Let c(y) = 8*y - 20. Let s be c(3). Suppose s*f - 2 = l - 99, -2*l + 194 = f. Suppose 315 = 3*m - 2*n, 3*m - l = 2*m - 2*n. Which is smaller: m or 102?
102
Let n = 0.39 - 0.491. Let h = 0.001 + n. Which is bigger: h or 25?
25
Let w be ((-784)/6)/(2 + (-948)/484). Let i = w + 3161. Which is smaller: -1 or i?
i
Let h = 1163792479/6316 - 184261. Is 0 less than h?
True
Suppose -2256*a + 3145 + 21607 = -2152*a. Let s(i) = 16*i**2 + 6*i + 6. Let m be s(-4). Are a and m non-equal?
False
Let l = 7 + -2. Suppose 10 = l*m - 5*r, -2*m + 3 + 1 = 5*r. Suppose 10*w + m = 11*w. Which is smaller: 1/2 or w?
1/2
Let h be (166/249)/(2/3) + 7809. Which is smaller: h or 23434/3?
h
Suppose 0*n + 2 = n. Let f be (-1864)/(-36) - (-2)/n. Let c = f + -53. Which is greater: c or 5?
5
Let b = 169 - 164. Suppose i + 37 = -3*m + 93, -m = b. Is 71 at least as big as i?
True
Let u = -28046.512 + 28046. Is u greater than or equal to -8?
True
Suppose 0 = -c - 3*p - 9, c = 5*c - p - 3. Suppose c = -2*w - 0*w. Suppose -4*d - 4*v - 20 = -9*d, -5*v = 3*d + 62. Which is bigger: d or w?
w
Let l be 14/77 - 3252/(-22). Let r = 190 - l. Are r and 41 unequal?
True
Let f(t) = -t**3 + t**2 + 2*t + 315. Let g be f(0). Let y = -222 + g. Do y and 94 have the same value?
False
Let k(b) be the second derivative of 33*b - 1/20*b**5 - 1/4*b**4 - 1/2*b**2 - 1/2*b**3 + 0. Let c be k(-2). Which is smaller: c or -5/12?
-5/12
Let r(x) = x**2 + 14*x - 35. Let u be r(-12). Let w(c) = -18*c + 175. Let n be w(13). Is n not equal to u?
False
Suppose 4*o - 16 = -2*c, -1 = o + 4*c - 12. Suppose 0 = s + 3*i + 6, 0 = o*s + 3*i - 10 - 2. Suppose 2*j - 3*f - 37 + 4 = 0, -70 = -5*j + 5*f. Does s = j?
True
Let l = 55.24 + -57. Which is smaller: l or 12/29?
l
Suppose 3*h - 6116 = 5*w + 3845, -3*h - 4*w = -9916. Let f be h/(-21) + (3 - (-92)/(-28)). Which is greater: f or -159?
f
Suppose 5*l + 439 = 3*z, -5*z + 7*l + 440 + 293 = 0. Which is greater: z or 156?
156
Let g = 45 - 350. Let b = g - -280. Is b less than 3?
True
Let s = -41194.938 + 41147. Let t = s - 0.062. Let w = 48 + t. Which is smaller: w or 25?
w
Let f = 9724 - 10641. Is f not equal to -915?
True
Let j be 4/(-9) + (-1920)/54. Let q be j/(-570)*-27 + (-2)/5. Is q less than -2?
True
Suppose 196*k = 193*k - 6. Let b = 27857/22 + -2537/2. Which is smaller: k or b?
b
Let p = -103.795 + 0.795. Let n = -0.16 - -0.16. Which is smaller: n or p?
p
Let f = -1043225/18 - -57995. Is 38 less than f?
True
Let s(b) = 183*b - 2194. Let i be s(12). Do -809 and i have the same value?
False
Let p = 0.3 + -0.4. Let v = 5611/7 + -773. Let b = 2614/91 - v. Is p less than b?
True
Let m(v) = v**3 + 3*v**2 + 8*v + 22. Suppose 44*z - 3 = 45*z. Let b be m(z). Suppose -7*u + 5 = -2*u. Is b greater than u?
False
Let p = -2.97 - -209.97. Let b = -208 + p. Which is smaller: b or 1/6?
b
Let q(l) be the third derivative of l**4/6 + 6*l**3 - 3*l**2 + 17. Let g be q(-9). Let d be -1 - (22/(-18))/1. Which is smaller: g or d?
g
Let i(t) = t**3 + 10*t**2 - 2*t - 13. Let s be (2 - -2)/((-2)/5). Let k be i(s). Let l be k/(-5) + -2 - (-2)/5. Is l bigger than -5?
True
Let k = -1169 - -1170. Do -11645 and k have the same value?
False
Let u(s) be the first derivative of -5*s**2/2 + 121*s + 97. Let h be u(24). Which is greater: h or -3/239?
h
Let n = -0.02766 + 426.02766. Which is greater: n or 5?
n
Let d be (-60)/((3 + 42/(-20))*(-10370)/22692). Which is smaller: 146 or d?
d
Let i be 3/5*(-735)/(-2646). Which is smaller: -90 or i?
-90
Let d(j) = -2*j**2 + 26*j - 1200. Let y be d(43). Is y greater than 0?
False
Let p(r) = 433*r + 6518. Let c be p(-15). Suppose -83 = -4*n - 5*v, -5*n - 3*v = -67 - 40. Are c and n equal?
False
Suppose 0*y - 3*n + 90 = 4*y, -4*y - 2*n = -92. Suppose -90 = 4*z + f, 25*f - y*f - 64 = 3*z. Which is greater: -21 or z?
-21
Let x = 4166/9 - 462. Let h = -147 - -149. Suppose -h*j = -0*j. Is x at least as big as j?
True
Let h = -32470 - -32470.07. Which is smaller: h or 474?
h
Let x = 820 - -573. Suppose -13*a = x - 4942. Are 273 and a equal?
True
Let g be 2*9/(-6) - -7. Let h be (30/(-6))/((-42)/g). Suppose -238*s = -237*s - 1. Which is smaller: h or s?
h
Let d be (-21 + ((-6462)/(-126) - 20))/(2/14). Let w(x) = 4*x**2 - 6*x + 4. Let h be w(5). Which is smaller: d or h?
d
Let y = -16477 + 16467. Let p = 7 + -19. Is p greater than y?
False
Let p be 14005/(-22408) - 3/8. Let a be -1 - ((-2)/83 + -1). Is p > a?
False
Suppose -u - 2 + 3 = 0, -2*i + 2*u = 128. Let a = -57 - i. Suppose 7*v + 2 = a*v. Is v < -5/9?
True
Let j = -50 - -70. Let s(f) = -f**2 + 4*f - 65. Let l be s(12). Let k = l - -181. Is j greater than k?
False
Let m be (-9)/(-3) + (0 + 0)/2. Let x(c) = -2*c**2 + m*c**2 + 11*c + 2 + 7 + 2*c**2. Let k be x(-4). Which is greater: k or 16?
16
Let o be (1 + -2)/(30/90). Let w be (10/325)/(8/(-480)). Which is bigger: o or w?
w
Let o be -1*6 + (20 - 9). Is o <= 291/68?
False
Let a(c) = 41*c + 369. Let n be a(-9). Which is bigger: -2/12753 or n?
n
Let j = -774 + 786. Suppose -7*v = j - 418. Is v >= 286/5?
True
Let i = -34 + 39. Suppose -i*p + 21 + 4 = 0. Suppose 2*d + 3 = -q, p*d = -2*q - q - 8. Which is smaller: 1 or d?
d
Let h = -55 - -61. Suppose -111*x = -107*x + 260. Let v = x + 74. Which is smaller: h or v?
h
Let j = 47 + -76. Let h = -27 - j. Suppose 0 = -3*w - 0*w + h*q - 17, 25 = -4*w + 5*q. Which is smaller: -7 or w?
-7
Let b = 2224 + -2898.4. Let w = b + 617. Are w and -1/4 unequal?
True
Let f be 20240/90 + (-3)/(-27). Let i be (-12)/f - 18/27. Is i >= -2?
True
Let u be 6 + -4 - (-30027)/(-14960). Let v be (-14637)/(-69360) - ((-6)/10)/(-3). Let s = u - v. Which is smaller: s or 0?
s
Suppose -262 = -3*r - 139. Suppose 0 = -0*c + 5*c - 4*b + 70, -b = 2*c + r. Is c greater than or equal to 1/2?
False
Suppose 19*g - 22*g + 6 = 0. Suppose -x = -5*i + 3, -i = i + g. Let h be ((-20)/x)/((-1)/6). Which is smaller: h or 0?
h
Suppose -4*m = -5*w - 533, 4*w + 134 = m + 3*w. Suppose 2*d - m = -17. Suppose -j = 70*p - 4260, -j - 80 = -5*p + 235. Which is smaller: d or p?
d
Suppose 7*s - 265 = 2*s - 2*t, 5*s = -5*t + 280. Suppose -s = -18*n - 69. Is n smaller than -1/192?
True
Let a be (-2)/4 - 3499/1178. Let d = -51277/18817 + -69/607. Let i = d - a. Which is bigger: i or 0?
i
Suppose -27*l = -34*l + 12649 + 18501. Is 4450 >= l?
True
Let h be -12*1119/(-3354) - 4. Let b be (-3 + 3)/(-4 + 7 - 7). Which is greater: b or h?
h
Suppose -15*g - 147 = -27. Let t(d) = d**2 + 10*d + 19. Let v be t(g). Suppose 20 = r + 4*l, 0 = -v*r + 3*l + 2*l - 8. Which is bigger: 1 or r?
r
Let k = 81927 - 739949/9. Which is bigger: -289 or k?
-289
Suppose -90 - 36 = 21*p. Let j(k) = -2*k**3 - 13*k**2 + 14*k + 16. Let q be j(p). Is 2/7 less than or equal to q?
False
Let i(x) = x**3 - 10*x**2 + 6*x + 1. Let v be i(6). Suppose 0 = 47*y - 46*y + 4*d + 142, -3*d + 291 = -3*y. Which is smaller: v or y?
v
Let n = 11 - 8. Suppose n*t = 5*i + 29 - 119, -4*i + 109 = 5*t. Suppose -51 - 49 = -5*c. Is c greater than or equal to i?
False
Let z be 144/60 - (-10 - -13). Which is smaller: -0.93 or z?
-0.93
Let l be 2/((-6)/33) + 25792/24. Is l greater than 