o l and 1 have the same value?
False
Let r = -24.25 - -24.35. Which is smaller: -1914 or r?
-1914
Let f(z) = 98*z + 21. Let n be f(3). Let d be (2/(-12))/(n/(-42)). Which is smaller: -1 or d?
-1
Let q(f) = 25*f - 56. Let k be q(6). Let b = -377/4 + k. Is 0.02 at most as big as b?
False
Let a = 0.0231 + -29.0231. Let m = a + 45. Is -0.02 >= m?
False
Let h(j) = j**3 - j**2 - j + 2. Let g be h(0). Suppose -3*o + 6 = g*n, -3*o - 3*n + 6 + 0 = 0. Let i = 4039/4554 - -1/506. Which is smaller: o or i?
i
Let y(f) = -f**2 - 38*f - 301. Let q be y(-11). Let r = 40 - 28. Suppose 3*t + 3 = -5*b + r, 3 = -b - 3*t. Is q <= b?
True
Let m = -31358 - -32478. Which is smaller: 1118 or m?
1118
Let r = -3690/11 - -22151/66. Is -46 less than or equal to r?
True
Let x = -1471 + 1372.1. Are -3/7 and x equal?
False
Let v be (-18)/(-15)*(6 + 80 + -11). Is v < 97?
True
Suppose 93*m - 20453 = -61*m + 41*m. Is 139 at least as big as m?
False
Suppose -2*l = -2*r + 14, 55*l + 21 = 58*l + 3*r. Is l at least as big as 3/13136?
False
Suppose 161*r - 127*r - 170 = 0. Is -7 != r?
True
Let c(i) = -14*i - 71. Let m(b) = 2*b + 1. Let u(v) = -c(v) - 6*m(v). Let t be u(-14). Is 39 >= t?
True
Suppose 6*i - 78 = 3*i. Let t = 46 - i. Let u(l) = l**3 - 18*l**2 + 4*l - 52. Let g be u(18). Is t greater than g?
False
Suppose -3*i + 50 = 4*s, 2*s = 2*i + s - 37. Suppose 4*t + 3*o - 5*o - i = 0, 4*t - 3*o - 19 = 0. Let r = -559/451 + 185/41. Which is smaller: r or t?
r
Let q be (6/10410)/(((-28)/35)/(-1)). Do q and -1 have the same value?
False
Let k be 3451/(-42) + 80/(-96). Which is bigger: k or -1/3?
-1/3
Let t = -2/178956265443 - -28318116215938195133/7695119414049. Let z = -3679475 + t. Let v = z - 535. Which is bigger: 0 or v?
0
Let x be (-10)/(-245) - 239606/6321735. Which is smaller: 0 or x?
0
Suppose -4*x + 221 + 83 = 0. Let a be (x/(-16))/((-1)/(-4)). Suppose 3*r + n + 45 + 10 = 0, -5*n + 13 = -r. Does r = a?
False
Let k be ((-2)/(-116))/(6/(-8) + (-278)/(-417)). Is 1/6 < k?
False
Let j = 1358 + 2185. Is 3543 at least j?
True
Let z = -74 - -79. Suppose -l + z = 3. Let m(u) = u**2 + u - 25. Let k be m(-6). Are k and l non-equal?
True
Let l(j) = -j - 6. Let w(m) = m + 5. Let y be w(-7). Let z be l(y). Let i be z + 1 + (-3107)/(-1040). Which is smaller: -1 or i?
-1
Let f = 88.28 - -15612.72. Is 0 greater than f?
False
Let o = -218 + 148. Let k be (-2 - o/25)/((-210)/(-25)). Is k bigger than 1?
False
Suppose 13*g + 1637 = -5180 + 850. Is g at least -458?
False
Let h = 231.705 + -0.705. Let f = h + -228. Let z = -2.6 + 3. Which is smaller: z or f?
z
Let r(g) = -6*g - 14. Let u be r(-3). Suppose -u*m + m = 15. Which is smaller: m or -7?
-7
Suppose 2971*t - 2972*t = 1. Suppose 0 = -4*f + 5*f - 1301. Let a = f + -136603/105. Is t at least as big as a?
False
Let k = 308 - 298. Let t be 100/30*(-12)/k. Is t greater than or equal to -0.18?
False
Let h = -358 + 356. Let g = -0.108 + 1.988. Let w = h + g. Is 0.1 > w?
True
Let z = 1260/3547 - 133526953/60299. Let n = z + 2212. Which is bigger: n or -1?
-1
Let k be 12/(-810)*(-294)/86632. Which is greater: 0 or k?
k
Let n = 355003196285376823/2079 + -170756691204457. Let t = n + -16965517. Let w = 2/297 + t. Which is greater: w or -1?
w
Suppose a - 4475 = -4*w, -w + 22330 = 5*a + 4*w. Is 4460 greater than or equal to a?
False
Let z = -827 + 931. Is z greater than 1764/17?
True
Suppose 3*b = -5*i + 7976 + 8480, 0 = 4*b - 2*i - 21950. Is b less than 5488?
True
Let f = -402 - -495. Which is smaller: f or 753/8?
f
Let x(p) = 4*p + p**2 + 0 + 9 - 2*p**2 - 8*p. Let j be x(-7). Let a be (((-8)/(-6))/4)/(2/j). Is a bigger than -3/5?
False
Suppose -4*z + 2*z = -82. Suppose -62 = 2*c - 3*b + 23, -2*c - 80 = 2*b. Let k = z + c. Is k >= 1/30?
False
Suppose 3384 + 21555 = 110*k + 209739. Do -1680 and k have different values?
False
Let u be (46/4)/(((-48)/(-21))/(-8)). Let h = u - -40. Which is greater: h or 21/4?
21/4
Suppose -120 = -19*p - 5*p. Suppose 3*d - 2*n = -159, -39 = p*d - 4*n + 226. Is d equal to -52?
False
Suppose 75 = -16*s + 7483. Let c = s + -451. Suppose -4*l = -l - 33. Is l less than or equal to c?
True
Suppose 5*v - v - 92 = 0. Let d = -19 + v. Suppose -5*f + 4*r - 7 = 4, 0 = d*f - 2*r + 4. Is 7 smaller than f?
False
Suppose 4*f - 64 = -4*p, -4*p - 30*f + 27*f = -69. Which is bigger: p or 197/9?
197/9
Suppose 41*k - 30*k = 27*k. Let g = 1/4165 + 38651/833. Let l = g - 47. Is l at most k?
True
Let t = -4787 + 25983/5. Which is greater: 411 or t?
411
Let c = -12.21 - -11.21. Which is greater: c or 3478?
3478
Let c(n) = 7*n - 86. Let j be c(13). Suppose 26*l + j*t + 17 = 27*l, -4*t - 4 = -4*l. Let z = -4 + -1. Is z bigger than l?
False
Suppose -95 = x + 3. Let m be (3*(4 - 3))/(18/(-312)). Let t be (13/m)/(x/8). Which is bigger: 1 or t?
1
Let p = 130509 + -129756.27. Let b = 756 - p. Let s = -2.9 + b. Is s less than or equal to 1?
True
Let x be (-5 - (-13)/((-78)/(-12)))/3. Which is smaller: x or 1/8122?
x
Suppose 171*h + 5082 = 165*h. Let l = h + 1693/2. Are -289 and l nonequal?
True
Let b = -4866 + 6638. Is b smaller than -1?
False
Let n be (-300)/525 + 622/(-14). Let z = n + 36. Is -1/20 greater than or equal to z?
True
Suppose -3*h = -3*v, -h = 3*v - 6*h + 4. Let u be (1/(-3))/((v/(-84))/1). Let y(p) = p**3 - 14*p**2 + p - 13. Let a be y(u). Which is smaller: a or 2?
a
Let f = -8 - -81. Let r be ((-2)/f)/((-2)/(-14)*7). Are 1 and r equal?
False
Let y = -8.8 - 4.2. Let u = 70.7 + -71. Which is smaller: y or u?
y
Let h(d) = 2*d**3 - 10*d**2 - 4*d + 6. Let n be (60/8)/((45/(-10))/(-3)). Let b be h(n). Which is smaller: b or -19?
-19
Suppose 0 = -40*u + 41*u + 5. Let q be (u/((-475)/(-6)))/((-153)/(-2550)). Is q greater than or equal to 0?
False
Let w = 659 + -263. Let n be (w/48)/((-3)/(-16)). Suppose 2*s - 34 = 52. Is n at most s?
False
Let u = 19395/11 - 1763. Let k be 1*(0 + 1)*-5. Let d = k - 14. Which is bigger: d or u?
u
Suppose 5*p - p = 0. Suppose 2*g - 5*u - 39 = 0, 2*g - 6*g - 2*u = -42. Let b be (-21)/(-1883)*8/g. Which is greater: b or p?
b
Suppose 8*a + 431 - 575 = 0. Let h be (-128)/30*81/(-18). Is h at most as big as a?
False
Suppose 2*w = 1 + 7. Let f be (-3 + (-18)/(-5))/(36/360). Which is greater: w or f?
f
Suppose -673 = -45*p - 628. Which is smaller: p or -29/12?
-29/12
Let d = -5804 + 5880. Which is smaller: d or 97?
d
Let n be (-6*3/2)/(-1). Suppose 40 = 4*z - 425*v + 428*v, -v + 28 = 5*z. Suppose -z*p - n = -5. Which is smaller: p or 4/27?
p
Suppose -3*s = -7*v + 3*v + 61, 2*v = -s - 7. Let j be (-1 + 10)*-1*(180 + -178). Which is greater: j or s?
s
Let x be 79/(-7) - 16/(-56) - -2. Let v be (34 - 31)*(-3)/(x/(-2)). Let f be (-1000)/6105 + v/(-11). Which is smaller: 1 or f?
f
Let t(m) = -m + 30. Let p(l) = 1. Let q(g) = 5*p(g) - t(g). Let f be q(23). Let u be (8/(-80))/(f - 9/(-4)). Is u < 0?
True
Let q = -805 - -806. Which is bigger: 1.348 or q?
1.348
Let w = -2 + 1. Let p be 16/4 - (69/3 - 5). Let o be 8/p + (-800)/(-175). Is o < w?
False
Let x = -6107 - -5232. Which is bigger: -2621/3 or x?
-2621/3
Let x be (-1*(-345)/(-9) + 6)/((-1)/18). Are x and 582 unequal?
False
Let f(d) = d**2 + 3*d - 26. Let l be f(-7). Suppose l*t - 4*p - 17 = -t, -p - 4 = -t. Let c be 4*t/(-36)*1. Is -1 not equal to c?
True
Let v = 1741 + -1745.687. Which is smaller: 0.4 or v?
v
Suppose -3*c = 5*f + 2, 56*c = -f + 51*c + 4. Is -13/45 smaller than f?
False
Let a = 0.136 + -4.436. Let m = -20 - -24.3. Let d = m + a. Which is greater: d or -0.15?
d
Let f be 1/(-2)*(-184)/(-6). Let m(c) = -148*c - 7 + c**3 + 14*c**2 + 197*c + 29. Let l be m(-9). Does f = l?
False
Let d(z) be the first derivative of -z**4/4 - 2*z**3/3 - 3*z**2 + 11*z - 18. Let t be d(-4). Is 67 smaller than t?
False
Let r = 0.15 + -0.5. Let n = r + 0.3. Let s = 4733 + -4734. Which is smaller: n or s?
s
Let i = -472 + 414. Let h be 4 - 9/(-120)*i. Is h at most 1?
True
Let m = 2050 - 2000. Let x = -26 - 23. Let o = x + m. Is 3 greater than o?
True
Suppose -1 = t - 4. Suppose -t*c + 12 = 3*z, -4*z + 6 = -c - 10. Suppose c = 2*o + 5*q - 17, -5*q + 10 = 4*o - 9. Is 31 at least as big as o?
True
Let w(v) be the third derivative of -v**6/60 - 59*v**5/60 - 31*v**4/24 - 7*v**3/2 - 24*v**2 + 5. Let l be w(-29). Do l and 112/3 have the same value?
False
Let y(b) = -b**2 - 32*b - 27. Let