 d or -29?
d
Let t be 28/(-70) + (-1)/(-15). Is -259/20 less than t?
True
Let l(k) = -k**3 - 33*k**2 + 86*k - 59. Let h be l(-35). Is -612 greater than h?
True
Let f = -527 + 196. Let o = 331 + f. Does 21/16 = o?
False
Suppose 0 = 5*f + 998 + 122. Let a be (-1)/(-5 + f/(-44)). Let d(i) = -i**2 - 12*i - 27. Let j be d(a). Which is greater: -10 or j?
-10
Let y(l) = l**3 - 4*l**2 + 8*l - 7. Let a be y(3). Suppose -5*q = -4*q - a. Let j be 2*-2 + -5 + q. Which is bigger: -2/11 or j?
-2/11
Let v be ((-4)/(-14))/(235/(-141)*6/(-10)). Which is smaller: -63/167 or v?
-63/167
Let c be 5/12 + (3 - 10)/42. Let s be 8/4 - 9/((-126)/(-40)). Which is bigger: c or s?
c
Let g = 41 + 7. Let d = 47 - g. Let n = -0.019 - -37.019. Which is greater: d or n?
n
Let h be (-13*10/(-285) + 1)/(-1). Let k = 8959/6270 + h. Which is greater: k or -1?
k
Suppose -1534*d = 4*y - 1535*d - 53, -5*y + 2*d = -73. Suppose 3*r + 3 = -18. Which is greater: r or y?
y
Let w be ((3/(-9))/1)/(5/(-150)). Let g be 4 - (5 + (-25)/w). Let k = -46 + 42. Is k at least g?
False
Let i = 13256 - 13256. Let m = 1.91 - 2. Which is bigger: m or i?
i
Suppose 166*t - 38*t = -3822 - 100882. Which is bigger: t or -819?
t
Let p be (18/(-27))/(2/(-66)). Suppose -580 = -17*x + p*x. Which is smaller: x or -117?
-117
Let z = 5037 + -5041. Which is bigger: z or -172/49?
-172/49
Let w = -15760 + 3672089/233. Let x = w + 2139/17009. Which is smaller: 0 or x?
0
Suppose 2100 = 31*k + 10532. Let q be (15/(-10))/(-2 + (-508)/k). Which is smaller: 10 or q?
10
Let n = 0.6 - 3.1. Let t = -41 - -41.5. Let k = t + n. Which is smaller: k or -0.09?
k
Suppose -21123 = -35*d + 17097. Let p be d/49 - -2 - (-2)/(-7). Is 0 less than p?
True
Let p be (-10)/55 - (9585/99 - -5). Which is smaller: -0.4 or p?
p
Suppose -508*v - 46 = -507*v + 4*z, -v = 3*z + 43. Does 4/25 = v?
False
Let h = 2487 + -2346.7. Let g = 140 - h. Is -1 at least as big as g?
False
Let j = 3112 - 3147. Is j at least as big as 0?
False
Let z(f) be the first derivative of -26*f**3/3 + 7*f**2 - 40*f + 73. Let q be z(3). Is q at least as big as -231?
False
Let w = -313.006 + -0.994. Which is greater: w or 1?
1
Let o = -4501.5 - -4501. Which is bigger: o or -72/25?
o
Let g = -16812 + 16823. Is g less than or equal to 568/59?
False
Suppose -367*z + 512*z - 152250 = 0. Does z = 1052?
False
Let b(s) = 218*s - 17. Let m be b(2). Suppose 19*t + 132 = -m. Is t less than -29?
False
Suppose 0 = 64*g - 60*g - 92. Suppose -3*r + g = -4*o, -5*o - 5*r + 15 = -0*o. Let l be -4 - 2 - 6/(-2). Is o < l?
False
Let m(v) = 2*v. Let a be m(-1). Suppose -5312 = -35*q + 3088. Let t = q - 242. Is t at most a?
True
Let n = 317.71 - 2.71. Which is smaller: -2/11 or n?
-2/11
Suppose 4*b + 2*q - 10 = 0, -4*q = 209*b - 205*b - 28. Is -142 >= b?
False
Let c be ((-4930)/3315 + 2/13)/(1313/3). Which is greater: c or 1?
1
Suppose 24*o = 25*o + 1. Let k be 1810/(-40) - o/4. Which is greater: k or -48?
k
Let j be (-27)/3*(-4)/(-6). Suppose -6*v + 14*v + 1024 = 0. Let g = 123 + v. Which is smaller: j or g?
j
Let q(t) = -15*t - 850. Let z be q(-57). Which is smaller: 179 or z?
z
Suppose m - 1062 = -5*o, m - 913 = 4*o + 158. Is 1069 greater than m?
True
Let b = -6600 - -336637/51. Let w = 18/17 - b. Are w and 3/10 equal?
False
Let n = 411 - 398. Let t(j) = -2*j + 38. Let w be t(n). Which is bigger: w or 13?
13
Suppose 6*j = -4*j + 220. Suppose 2*o = 2*b + j, 2*b + 2*o + 26 = 5*o. Let a be 0*b/14*(-2 - -3). Do a and -1/24 have the same value?
False
Suppose -13*f = -7*f - f - 5. Let l = -2333 + 16298/7. Is l smaller than f?
True
Let p = -12.87 + -0.13. Is 7 smaller than p?
False
Let n = -891 + -1410. Is -2301 less than n?
False
Let k = 1377 + -1377. Is 2/8891 greater than k?
True
Let k be (-224)/(-21)*(-18)/(-12). Let r = 6 + -2. Let d be 0*(k/r)/(-12). Is d < 1/23?
True
Let z = 6937 + -6154. Which is smaller: z or 789?
z
Let z be ((-82)/(-738))/(2/(-201)). Is z greater than -10?
False
Let i be 7/8*(-960)/3360 + (-178)/(-6). Is i less than or equal to -0.2?
False
Let u be (2/(6 + 0))/(3/18). Suppose 5*i = -u*y + 139, 2*i = 5*y + i - 334. Which is smaller: 66 or y?
66
Let z = -123 - -125. Let m(c) = -2 + 8 + 0*c + c - z*c. Let w be m(9). Do -2 and w have different values?
True
Let p = 43 - -142. Let j = 185.9 - p. Which is smaller: j or 5?
j
Suppose 53 = 4*i - m, 3*i + 13 = 5*i - 5*m. Suppose 0*l + 5*l + i = -n, -3*l - 8 = n. Which is smaller: -20/13 or l?
l
Let v(z) = 11*z - 4. Let n be v(-3). Let j be 38/2*1*12. Suppose 4*f + j = -2*f. Which is smaller: f or n?
f
Let w = 9667 + -9666.92. Is w < 0.0308?
False
Let s(t) = -2*t. Let w be s(-2). Suppose 5*a + 3*v - 5*v = -1, w*v = 2*a + 10. Suppose 2*o - a = o. Which is smaller: 2/11 or o?
2/11
Let v(a) = -407*a - 576. Let n be v(2). Is -1390 at most as big as n?
True
Suppose 23*h - 54 = 25*h. Let m = h - -28. Let s = -1744 + 244161/140. Is s < m?
True
Let y = 10.72 - 11. Let l = y - -0.02. Is 0.5 > l?
True
Let d(g) = g**2 + 12*g - 75. Let p be d(-17). Suppose -w + p*w + 9 = 0. Is w greater than 2/567?
False
Let i be (-13 - -7)/(-18) - (-5044)/(-12). Is i bigger than -419?
False
Let b = -1/8537 - -29723/107984513. Is b bigger than -1?
True
Let g = 315 + -275. Suppose 0 = 2*a - 4*z - 134 - g, 5*a + 2*z = 459. Is 92 > a?
True
Let y(c) = c - 12. Let m be 0 - -4 - 4 - 0. Suppose r + q - 14 = m, 2*r - 7 = 3*q + 2*q. Let l be y(r). Are -1 and l unequal?
False
Let d be (-3)/(-2)*(-35)/(-21)*5. Let y(i) = -3*i**2 - 9*i + 24. Let c(r) = 13*r**2 + 36*r - 96. Let f(h) = 2*c(h) + 9*y(h). Let u be f(-10). Does d = u?
False
Suppose 0 = 5*b + 25, -2*w = -b - 3*b + 4934. Let j = -17491/7 - w. Let k = j - -22. Which is greater: k or 19?
19
Let h = 4615 + -4879. Is h at least as big as -292?
True
Suppose 3*p + 3476 = -5*x + 9561, -2*p + 4030 = -2*x. Which is greater: p or -3?
p
Suppose -2*g - z - 839 = 0, -496 - 1185 = 4*g + 5*z. Let q = -793 - -373. Which is bigger: g or q?
g
Suppose p + 170 = 2*t + 6*p, 5*t - 425 = 4*p. Let j(u) = -553*u + 2211. Let f be j(4). Do f and t have the same value?
False
Let s = 6841 - 6837.2. Are s and 4 non-equal?
True
Let s = -777.738 - -0.738. Let u = -776.8 - s. Which is greater: -58/3 or u?
u
Let l(o) = o**2 - o - 13. Let y be l(5). Suppose 0 = 4*r, -y = 5*p + 5*r - 2. Which is smaller: 2/87 or p?
p
Let g be (11 - -7)*2/(-4). Let z be g/15 - (-4)/4. Let i = 221 - 225. Is i bigger than z?
False
Let j be (3/(-4))/(-2 + 267/132). Let x = j + 41. Suppose q = -3*s - 5, 0 = 4*s - x. Is q greater than -14?
True
Let a be (-2)/(3/18*-4). Suppose -a*c + 1 = 4. Which is smaller: -3/73 or c?
c
Let u be (3 + (-644)/220)*-5*16. Let c = 452/55 + u. Let d be 2 + 4/6 + 3/(-1). Which is greater: d or c?
c
Let o = 43 + -27. Suppose 4*i + i = h - 20, 3*i - o = -5*h. Let n be ((-2321)/(-633))/(7/12). Which is smaller: h or n?
h
Let j = 24888 + -24890.3. Is j at least 292?
False
Suppose 3*b = a - 163, 163 = 4*a + 2*b - 461. Let s = 129 - a. Let m be (2/7)/2*s/(-24). Which is bigger: 0.09 or m?
m
Let k be 11/(-22)*14*(500 + (-5 - 0)). Which is greater: k or 0.1?
0.1
Let u = 5.19 - -0.11. Let n = 20.36 - -0.34. Let y = n + u. Are 2 and y equal?
False
Let s be ((-57231)/(-63750))/(72/(-5)) + (-1763)/(-28208). Is s at least as big as 0?
True
Let x be ((-115)/(-45))/((-76)/342). Suppose 0 = 5*r, 2*o + r + r + 24 = 0. Do o and x have the same value?
False
Let z(b) = -b**3 - 3*b**2 - b + 1. Let y be z(-2). Let t be 67232/(-3480) + 1/3. Let m = t - -19. Which is greater: m or y?
m
Let t(i) = -180*i + 73. Let g be t(11). Let z = -20991/11 - g. Is 0 less than z?
False
Let b(f) = -f**3 + 11*f**2 + 4. Let j be b(11). Let w be -51*-4*j/144. Is 6 less than or equal to w?
False
Let o = -9 + 9.2. Let r be 4/28 + (-608)/140 - 5. Is o less than r?
False
Let m = 2266.6 + -2019. Let a = -48.4 - m. Which is smaller: a or 2?
a
Let w = -13774 + 13779. Is 22 at most as big as w?
False
Let w be 1 + 0 - 2958/(-1710). Let l = -4/57 - w. Let t = -593 + 589. Which is smaller: l or t?
t
Let m = -7014 - -6590.9. Let i = m + 423. Let v = 244 + -148. Do v and i have the same value?
False
Let k = -9884 - -8038. Which is smaller: 0.2 or k?
k
Let d = 40537 + -40536. Which is smaller: d or -10625?
-10625
Let t be (-2 - 1) + 6 + -45. Let y be (t/9)/((-40)/12 + 5). Let h(j) = -j - 3. Let b b