Let a be 48/(-16) - q/(-1). Is a less than t?
False
Let a be 30990/(-320) + (-6)/(-1). Let v = a - -83/32. Which is bigger: -88 or v?
-88
Let a = -19.778 + -0.222. Let i = -4.107 + 3.22. Let l = i - 0.113. Which is smaller: a or l?
a
Let r be 2/4 - (-4)/(-10). Let b = 17.8 - -69.3. Let s = b + -88.1. Is r equal to s?
False
Let p = 6353 + -6353.1. Which is smaller: -143 or p?
-143
Suppose -6162 = 24*j + 18103 + 7751. Is j smaller than -1333?
True
Let j be (6/4)/((-3)/(-4)). Let p(w) = -1 + 10 + w**j - 11 - 3*w. Let t be p(3). Is 3 greater than t?
True
Let d be ((-3720)/225)/((-15)/(-50)). Is d greater than or equal to -55?
False
Suppose -21*q = -32*q. Suppose q = -5*k - 4*u - 445, -2*k - 3*u - 267 = k. Is k < -88?
True
Let h = 379 - 700. Let l = h + 407. Does l = 0.5?
False
Let l = -0.45203 - 2.79797. Let q = -184/7 - -26. Is l at least q?
False
Let t = -5810 - -377653/65. Which is smaller: t or 33?
t
Suppose 0 = 116*l - 101*l - 30. Let n be -3*(l - -3*98/18). Which is greater: -56 or n?
n
Let h = 198284/83 - 2389. Let p = -157/249 + h. Which is smaller: p or 60/11?
p
Let y be 6/(-2) + (5 - 2). Let c = -595151/11 - -54041. Let u = c - -21590/341. Is u > y?
False
Suppose 1479 = -28*r - 621. Let c be r/(-300)*-1*215. Which is smaller: -53 or c?
c
Let k = -0.0537 + 0.0537. Are -37 and k unequal?
True
Let k = -0.1097 + 0.0297. Are k and -296 nonequal?
True
Let y be 24/(-48) + 0 - 266/36. Is y at most as big as 0.4?
True
Suppose 8*s - 8929 = 3*j + 14107, 5*s = 2*j + 14397. Which is smaller: s or 5759/2?
5759/2
Let o = -4.357 + 0.157. Let g = 96.09 - 100.3. Let p = o - g. Which is smaller: p or -0.1?
-0.1
Let u = 232 - 487. Let b = u - -258. Which is bigger: -7/3 or b?
b
Let g = -6/1303 + 22541/84695. Is g > 2/7?
False
Let y(v) = -v**2 + 5*v. Let a be y(5). Let l(t) = -t**3 - 18*t**2 + t + 1. Let q be l(-10). Let x = q + 49351/61. Is a at most as big as x?
True
Suppose -3*n - 3*z = -495, 4*n + 3*z = 5*n - 157. Let x = n - 98. Suppose 2*c = -3 - x. Which is greater: c or -35?
c
Suppose 10*m = -84 + 634. Suppose j = -3*t - 838, 60*j - 2*t + 4139 = m*j. Is j < -829?
False
Let i = -152576855/47 - -3245154. Let x = i + 1162. Does -2/5 = x?
False
Let w = 71.8 + 58.2. Which is smaller: w or 0.05?
0.05
Suppose t + 737 = 3*m, -5*t + 4*m - 1800 = 1808. Which is smaller: t or -5022/7?
-5022/7
Let t(f) = f**2 - 49*f - 3460. Let y be t(87). Which is greater: y or -162?
y
Let p = -0.2 - -1.2. Let t be 103/423 + (-1576)/7092. Is t < p?
True
Let s be ((-5)/(-20))/((-1)/(-76)). Suppose -4*p = w + 22 + 1, -2*w + p = s. Is -7 < w?
False
Let m be (-20 - 0) + 1334/(-23) + 42. Suppose 4*j + 128 = -4*b, -4*b - 23 = -5*j + 150. Which is greater: b or m?
m
Suppose -9*a + 133 = -11. Let o be (3/104)/(a/1856) + -2. Which is smaller: 1 or o?
1
Let q(t) be the first derivative of -9*t**2 - 227*t - 124. Let p be q(-9). Does p = -65?
True
Let n = 11790 + -4468407/379. Which is smaller: 0 or n?
0
Let s be (-8)/18*981/(-218). Suppose -4*m - 3*v = 81, s*v = -2*v - 12. Let g = -15 + -4. Which is smaller: g or m?
g
Let v = 6511 + -7321. Is -0.3 at least v?
True
Let n(j) be the third derivative of -j**4/24 - 13*j**2 + 5. Let i be n(0). Is i >= -7/43?
True
Let p(f) = f**2 + 26*f + 160. Let o be p(-17). Suppose 0 = 8*i - o*i + 3. Which is bigger: i or -19/6?
i
Let n be 36/(-19) + 5 + (-485)/95. Which is smaller: n or -760?
-760
Let s(n) = n**3 - 21*n**2 + 55*n - 2. Let o be s(3). Let k be 1*(-1)/(-34)*8. Which is bigger: k or o?
o
Let t = -52 + -262. Let i = 314 + t. Is i greater than -1/58?
True
Suppose -2*t - 7*t + 54 = 0. Let a(w) = -12*w + 47. Let l be a(t). Is l not equal to -74/3?
True
Let j be 515/1470 + 11/(-66). Let y = 85/196 - j. Which is smaller: -126 or y?
-126
Let y = -2.1 - 0. Let f be (-4 + 29/7)*114/57. Do f and y have the same value?
False
Let g = 0.671 - -0.445. Let a = g - 0.116. Let k be ((-54)/15)/(21/(-10)). Is k at most a?
False
Let u = -3281/7 + 468. Let x = 17 - -5. Suppose -4*j - 3 = 4*n - 3*j, n = 4*j - x. Which is bigger: u or n?
u
Let f(k) = -5*k**2 + k + 1. Let h(u) = -u**3 - 4*u**2 - 3*u - 1. Let t be h(-2). Let a = t + 5. Let q be f(a). Which is greater: -19 or q?
q
Let x = -4575 + 4581. Which is smaller: 105/23 or x?
105/23
Let a = -14.2 - 2.8. Let w = 0.0744 - -0.2076. Let k = -0.082 + w. Are a and k unequal?
True
Suppose -4 + 11 = -2*v + 3*o, 2*v - 28 = -4*o. Suppose -13 = -v*c - 5*h, 4*c + 4*h + 0*h = 12. Let z be (1 - 0) + (-10 - c). Is z greater than -9?
False
Let b = -16461 - -17175. Is b at least as big as 1429/2?
False
Let w(h) = 4*h**2 - 181*h - 150. Let l be w(46). Suppose 4*n + 8*t - 11*t = -41, 2*n = -t - 33. Which is bigger: n or l?
l
Let h be 2/(-6) + (-32)/(-1076640)*11335. Is 0 <= h?
True
Suppose 0*c + 77 = -4*r + c, -2*r - 16 = 4*c. Let t = 259 + -265. Let z be r/(-22) + t/(-33). Does z = 1/17?
False
Let q(t) = -t**2 - 11*t - 8. Let w be q(-12). Let h be 27/w + (-8)/20. Let i = -0.176 + 0.076. Is i != h?
True
Suppose -5*b = 25, 0*g = 5*g + 2*b - 195. Suppose 4*q + 36 = -4*a, -5*q - g = 5*a - a. Let m be -8*1 - -4 - q. Which is bigger: m or 1/22?
m
Let c(j) = -3*j**3 + 14*j**2 + 10*j + 27. Let l(b) = -2*b**3 + 9*b**2 + 6*b + 18. Let f(s) = -5*c(s) + 8*l(s). Let d be f(0). Which is bigger: d or 68/7?
68/7
Suppose 0 = 5*x - 2219 - 206. Let y = -457 + x. Which is smaller: 33 or y?
y
Suppose 313*c - 523973 = 296400. Is c greater than or equal to 2621?
True
Suppose -884 = -k + l, 3*k - 15*l = -19*l + 2638. Is 873 equal to k?
False
Let n be (-2)/3*2/(8/(-18)). Let c(x) = x + 2. Let p be c(-5). Let f be 2 - p/(84/4). Is n <= f?
False
Suppose -2582*f + 6100 = -2482*f. Let h = -7 + 67. Is h < f?
True
Let q be (-10 + 4)*(-1)/(-3). Let v be (-10)/36 + q/(-6). Let s = -362 + 361. Is s greater than v?
False
Suppose -4*k + 231 = -41. Suppose 34 = 2*r - 5*x, 2*r - x = -18 + k. Let b be (-24)/r*(-9)/444. Is b < -1?
False
Let v be 4/14 - (-57100)/2275. Is v greater than or equal to 25?
True
Let q(u) = 2*u**2 - 14*u - 14. Let j be q(8). Is j <= 260/239?
False
Let g = -2057/4 + 606831/1180. Suppose -12*i + 14*i = 62*i. Is i at most as big as g?
True
Suppose 7*z = 2*z + 25. Let c = 583 + -579. Suppose 1 = -2*t - 2*k - z, 60 = -5*t + c*k. Is -3 > t?
True
Let d(s) = -s**2 - 6*s - 6. Let r be d(-5). Let q be ((3/24)/(5/(-10)))/r. Which is smaller: 1.29 or q?
q
Let t = -380 - -547. Let c(g) = -g**3 - 33*g**2 - 53*g - 1582. Let x be c(-33). Is t not equal to x?
False
Suppose -5*i - 32 = 39 + 119. Which is bigger: i or -62?
i
Let v be -8 - 17/((-1123819)/(-15))*(-705144)/20. Is 1 <= v?
False
Let m = -74.94 + 66.94. Which is smaller: m or 94/5?
m
Suppose 4*y - 2*j = 0, -3*j + 18 = 2*y + y. Suppose -l = 3*l + y*v - 138, -4*v = 2*l - 66. Let k = l - 38. Which is smaller: k or -1?
k
Let m = -1311/74 + 636173/35742. Is 0 at least m?
False
Suppose -3*l - i + 3 = 0, -2*i = 1373*l - 1370*l - 9. Let p be 4/(-584)*(-2)/2. Is p less than l?
False
Let v be (-3*2/8)/((-5247)/(-48566)). Let a = v + 153/22. Which is bigger: a or 1?
1
Let n(x) = 5*x**3 + 181*x**2 + 56*x + 124. Let u be n(-36). Is -594 >= u?
True
Suppose 4*l - 5*o = -6622, 32*o - 36*o + 3320 = -2*l. Is l <= -1648?
True
Let d(r) = -4*r + 1. Let n be d(-2). Let x = 4/5049 - -3362/5049. Is x at least as big as n?
False
Let r(x) = -54*x + 217. Let q be r(4). Let h be ((-18)/195)/((-14)/35). Is h greater than q?
False
Suppose 4*g = -5*s + 18, 2*g - 2 = -2*s + 3*s. Suppose 3*o - 4*m - 99 + 13 = 0, g*o - 58 = 3*m. Let t = 2358 + -2333. Is t greater than o?
False
Let x = -54.3481 + 0.3481. Which is smaller: x or -40?
x
Let l = -219/868 - 156283/75516. Is -1 > l?
True
Let n = -1.975 + 2. Let m = 39.025 - n. Let a = m - 39. Which is greater: a or -30?
a
Let t = 3/335 - -10687/3685. Suppose -17655*p + 17629*p + 78 = 0. Which is smaller: t or p?
t
Suppose 2*v + 892 = 2*m - 674, -5*v = 4*m + 3924. Which is greater: -5498/7 or v?
v
Let z(o) = -7*o**2 + 13*o + 55. Let x be z(-2). Is 128/115 > x?
True
Suppose 4*x = 2*x. Let z = 751/96690 - 1/586. Which is smaller: z or x?
x
Let p be 2208*((-168)/(-18) - 9). Suppose 21*r = 5*r - p. Is r less than or equal to -38?
True
Let r be (-7)/(28/24) - -6. Let l(h) = h**2 + 10*h - 5. Let i be l(-11). Let m be ((-2)/i)/((-42)/(-18)). Which is smaller: r or m?
m
Suppose 0*o = 3*o + 5*z + 1