
Let u be 7 + (-1 + -4 - (136 - 134)). Which is bigger: u or -7/19?
u
Suppose 5*z - 38 = -y - 12, -7 = -2*z + 3*y. Let s(n) = -n + 19. Let h be s(z). Suppose 8 = o + h. Are o and -1/3 unequal?
True
Let j = -242 - -238. Let m be (-6)/(-5 + j/(-2)). Is m at least as big as -12?
True
Let d be ((-10)/(-4))/(1825/730). Which is smaller: d or -1/8259?
-1/8259
Let w = 19588/11 + -1779. Suppose 10 = 2*n - 3*g - 3, n + 3*g + 7 = 0. Is n <= w?
False
Let p(u) = -u**3 + 5*u**2 - 2*u - 4. Let m be p(4). Let a be 562/m - (5 + (-33)/6). Are a and 142 non-equal?
True
Suppose 16*q + r + 3 = 21*q, 0 = 3*q + r + 3. Let t be 6/(-9) - (-1279)/1905. Let h = 1387/24765 - t. Which is smaller: q or h?
q
Let d(m) = 28*m - 251. Let y be d(9). Suppose -2*f = -2*b + 4, 4*b = -5*f - 0*f - y. Let r = 3 + -4. Does f = r?
True
Let w be 3/(-66) - (-3189)/462. Is -0.1 smaller than w?
True
Suppose 3*m + 93 = 5*f, -f + 0*m - 4*m = -37. Suppose 2*l = -3*y - 10, -5*y - 25 = -4*l + f. Let b be (8/(-12))/(4/y). Is b less than 1?
False
Let r = -95 + 186. Let l = r - 1184/13. Is l smaller than 0?
True
Suppose 5*s - s - k - 16 = 0, -5 = s + 2*k. Let g be 4/(s - 4) + -15. Let j = g - -20. Which is smaller: 6 or j?
j
Let i = 25 - 22. Let d = -3.14 + i. Let j = -0.24 - d. Which is bigger: -4.8 or j?
j
Let c be 2/((-14)/35) - (10/5 - 6). Are 1/4601 and c unequal?
True
Let q = -19.8 + 19.8066. Let k = -0.0234 - q. Are k and -0.02 unequal?
True
Let k be (-444)/185*5/(-2). Let t be 58/(-9 + 12/k). Do -1 and t have different values?
True
Let u be ((-840)/(-3920))/(1/4*-3). Does u = 1166?
False
Suppose -z - 4*b = -99, 0 = -68*z + 70*z + 2*b - 216. Which is smaller: z or 120?
z
Let r = -1773 + 1157. Which is smaller: -625 or r?
-625
Let f be (-6)/1*1/(-3). Suppose 125*h - 122*h = 66. Suppose 150*q - 139*q - h = 0. Are f and q unequal?
False
Let c(q) = -q - 27. Let g be c(-17). Let i = 36 - 30. Suppose -5*y - 33 = 3*j, y + i*j = 3*j + 3. Is g greater than or equal to y?
False
Let s(b) = b**3 + 3*b**2 + b + 8. Let v be s(-3). Suppose 75 + 45 = -v*j. Which is bigger: 0 or j?
0
Let q be (-394)/591*(-1182)/14. Are q and 56 nonequal?
True
Let q(j) = 15 + 6*j + 0 - 3 + 11. Let x be q(-5). Which is smaller: -108/13 or x?
-108/13
Let n be -3 + 4 - (59835/175 - -6). Let h = 347 + n. Which is greater: 1 or h?
1
Let n(j) = 2*j**3 + 19*j + 54. Let b be n(-4). Suppose -w - 300 = w. Are b and w equal?
True
Let p(j) = -2*j**2 - 58*j + 432. Let g be p(-36). Which is smaller: g or -35?
g
Let v = -20363.9 - -20363. Which is smaller: v or 246?
v
Let x = 1184 - 394. Let q = -804 + x. Is 1/2 > q?
True
Let t = -452.7 + 453. Let m(y) = -y**2 - 10*y + 2. Let w be m(-6). Which is bigger: w or t?
w
Let z be ((-282455)/350 - 2) + 3. Let b = -806 - z. Does 0 = b?
False
Let r(f) = 17 - f + 15*f + 10 + f**2 - 3. Let k be r(-12). Suppose k = -m - 3*m + m. Is m smaller than 1/4?
True
Let n = -62164/3 - -20722. Is n greater than -2227?
True
Suppose 0 = h + n - 13, -8*n = -4*n - 20. Suppose 4*j - 5 = k, -5*k - 33 = -3*j - h. Does j = -3/44?
False
Let g = -3977 + 3971. Is 49 >= g?
True
Let f = -2956568/14225 - -5197/25. Which is smaller: f or 0?
0
Suppose -5*w + 7*w = 3*n + 15, -3*w = -5*n - 25. Suppose 5*h - 2*h - 78 = w. Suppose r + h = 3*t, 7 = t - 3*r + r. Which is greater: t or 17/2?
t
Let i be 6/(-9) + (-4653)/1485. Which is smaller: i or 5?
i
Suppose -3*l - 2*q = -1776, 3*q - 235 + 1419 = 2*l. Let c be (l/8)/(-2) - 0/1. Are -37 and c non-equal?
False
Let q(d) = -3*d**2 - 2 - 2*d**3 - 5*d + 16 - 10. Let a be q(3). Is -91 >= a?
True
Let c be (156/(-195))/(9/135). Suppose 0 = 3*f + 40 - 7. Is f <= c?
False
Let d be 9 + (-42108)/48 - 1/(-4). Is -870 > d?
False
Let j(v) be the second derivative of -v**5/20 - v**4/3 + 2*v**3 + 2*v**2 - 3*v. Let i be j(-5). Let b = -31 - i. Do -3/64 and b have different values?
True
Let h = -43 - -45.3. Let z = -2.341 + h. Let j = z + 1.041. Which is smaller: j or 3/2?
j
Suppose 4*x - 408 = 4*n, 0 = 4*x + 4*n - 265 - 119. Let b = 98 - x. Let z = 1099 - 85721/78. Does b = z?
False
Let i = 7397 - 7400.6. Which is smaller: -8 or i?
-8
Let p = -234 - -220.5. Let y = p - -14.5. Which is smaller: y or 200?
y
Let v = -572.7 + 572.7. Which is smaller: v or -0.15?
-0.15
Let z = -1005.036 - -1005. Which is bigger: z or 34?
34
Let k = -1.349 + 0.515. Let p = k - -0.534. Do p and -1/75 have different values?
True
Let n = 3570.2 + -3570. Is -31.66 less than or equal to n?
True
Let h = -20 - -17. Let t = -4 - h. Let n = 117 - 104. Is n <= t?
False
Suppose -2*n + 10 = 0, -4*a + 9*a = 4*n - 15845. Let m = a + 1918. Let s = m - -168344/135. Is s smaller than 0?
True
Let i = -22.5 + 2.5. Let r = -335 + 339. Suppose 6 = 2*f + r*x, -12 + 9 = -f - 3*x. Is i <= f?
True
Let v(c) = -3*c + 29. Let o be v(6). Suppose 18 - o = f. Suppose -5 = 2*z - f. Is -4/35 greater than or equal to z?
False
Let t = 22/15421 + -4505946/2112677. Which is smaller: -1 or t?
t
Suppose 6*d + 8*m = -1146, -59 = 2*d - 3*m + 272. Let a = -448 - -269. Is d < a?
False
Let t = -110 + 115. Suppose -c + 277 = -t*x, 5*x + 781 = -203*c + 206*c. Is c at most as big as 254?
True
Let x = 275/204 - -5/12. Suppose -4*s + 4 = -3*t, s - 15*t - 1 = -16*t. Which is greater: x or s?
x
Let o be (2 + -5)*(0 + -1). Suppose -256 = 4*n - 4*y, 4*n = o*y + 2*y - 260. Which is bigger: n or -61?
n
Suppose -3*s = 3*f + 9, 4*f - 3*f + 4*s = -9. Let o(h) = -h**2 + 171*h - 3649. Let t be o(25). Is f at least t?
False
Suppose 61*f = 56*f + 5. Let q = 14184 + -11247910/793. Which is bigger: q or f?
f
Suppose 62*d = 69*d + 3*w + 8, -5*d - 4*w = 2. Let u(i) = i**3 - 2*i. Let c be u(0). Is d at least as big as c?
False
Let v = 563.9778 - 564. Let c = 0.0778 - v. Is -9.2 < c?
True
Let l = -50.85 - 2.15. Let u = -52.6 - l. Is u at most 2/39?
False
Let z = 0.5 - 0.174. Let j = 22.326 - z. Is j <= 5?
False
Let w = 96595483 + -72350030021/749. Let m = w - -124/7. Do m and 1 have the same value?
False
Suppose 4*z = -5*z - 54. Let y be z/(-33) + (-5)/((-220)/(-8)). Which is bigger: y or -2/57?
y
Suppose -a - 238 = a. Let m be (-748)/a - 4/14. Suppose j = -j + m. Is 3 at most j?
True
Suppose 2*y + 31 = -3*m, m + 49 = -3*m + 5*y. Let i be 2/(-10)*34/m. Let u = -9/11 + i. Which is smaller: u or 0?
u
Let b be -46*(3 - -20*(-114)/756). Let w = b + -4/9. Which is bigger: 38/13 or w?
38/13
Let t = -27744 + 27428. Which is smaller: t or -313?
t
Let p be 15 + (-9 - 4) - (-159)/(-77). Is p equal to -4?
False
Let r be ((-10)/4)/((-55)/66). Suppose -2*f + 85 = -5*m, -3*m = f + r*f - 235. Which is bigger: 54 or f?
f
Let w(v) = 4*v**2 + 18*v + 6. Let k be w(-3). Suppose 7 + 9 = -4*j. Let o be 2/j*(0 + 0). Which is smaller: k or o?
k
Let k be 20/14*(0 - -7). Let w be 3/(4 + -1)*81. Suppose -w*u = -86*u + 50. Does k = u?
True
Let p = -3.5 + -5.5. Let g = -8 - p. Let k = 368 + -10307/28. Is k bigger than g?
False
Let w = 191 - 252. Let c(p) = 64*p**3 - p**2 + p - 1. Let l be c(1). Let z = w + l. Which is smaller: -13 or z?
-13
Let a(o) = 65*o - 16. Let k be -3*(-2)/(-18)*3. Let q be a(k). Suppose 3*l = 3*m + 237, -m + l = -3*l + 73. Is q != m?
False
Let u be (10/((-160)/132))/((-18)/(-48)). Suppose -3*k = -3*d - 63, 9*d - 7*d = -5*k - 56. Which is greater: d or u?
u
Let i = 27 - 32. Let n be (-66)/(-10)*i/5*-5. Suppose -b - o + 0 = -29, 3*o + n = b. Is 32 greater than or equal to b?
True
Let o = 3.29 + 1.11. Let d = 337 + -338. Which is smaller: d or o?
d
Suppose 5*n + 2*c - 10 = 0, -3*n - 2*n - 4*c = -20. Suppose 0 = -3*h - 3*j, 4*h + n*h + 5*j = 2. Let f = 124/99 + -17/9. Which is greater: h or f?
f
Let u be (-152)/(-7) + 6/21. Let p be ((-14)/u + 1)/(-22). Let c(t) = 23*t**2 + 165*t + 28. Let l be c(-7). Is p at least as big as l?
False
Let y be (-2562)/(-183)*(-4*1 + 0). Is y at least -128?
True
Let b = -3 - -5. Let x(r) = r**2 - 10*r - 18. Let o be x(10). Let f = -27 - o. Is f != b?
True
Suppose -18*v + 136 - 442 = 0. Let p(t) = -2*t + 5. Let s be p(12). Which is bigger: v or s?
v
Suppose -92 - 58 = -5*x. Let g be ((0 + -5)/15)/((-43)/x). Are g and 1 equal?
False
Let s = 23.281 + -18.281. Which is smaller: 4/33 or s?
4/33
Suppose 3*m = 4*v - m - 2324, 0 = -5*v + m + 2917. Is v less than 591?
True
Let s = 0.8245 + -0.2175. Which is smaller: -0.2 or s?
-0.2
Suppose 3*s + s + 272 = 0. Let j = -68 -