 m?
True
Let r be (32/(-10) - (-14)/35)*30/50. Is -2 != r?
True
Let v = 13053 - 11737. Which is smaller: -0.1 or v?
-0.1
Suppose 150 = -90*t + 95*t. Suppose 11*c + 19 = t. Let d = 198 + -14849/75. Which is smaller: c or d?
d
Let m = 69.45 - 70. Let n = 153 + -153.43. Let k = m - n. Which is smaller: 3/2 or k?
k
Let y(c) = -2*c**3 + 24*c**2 + 26*c - 1. Let i be y(13). Let p be i + -7 + 8 + 1. Is p > 1/52?
True
Let x be (-85)/(-20) - 42/168. Let v = -309/4 + 80. Which is bigger: v or x?
x
Let t = -20 - -6. Let v = 659 + -539. Let d be (72/v)/((-2)/10). Is t >= d?
False
Let c be (0 - (-6)/412)/3. Let h be 2/(-10) - (-5049)/(-21630). Let s = c + h. Is -3 equal to s?
False
Let a = 992 + -759. Which is greater: a or -4/5?
a
Suppose 2*p - 2*t = -16, -p + 6 - 22 = -3*t. Let g be p/12 + (-276)/9. Are g and -31 unequal?
False
Suppose -274793 = -103*p - 119*p - 61*p. Is p > 5819/6?
True
Let a = 72.047 - 0.047. Let f = 61 - a. Let h = 0 + -0.1. Which is smaller: f or h?
f
Let w be (-52)/(-1001) - (-1)/(-7). Let x = -1935.8 + 1935. Are x and w non-equal?
True
Let h be (-106)/265*2*-160. Which is bigger: 139 or h?
139
Let v = 771 - 602. Is v smaller than 171?
True
Suppose -17 = 2*q + 917*y - 922*y, y = 2*q + 5. Let h(p) = -p**2 - 7*p. Let l be h(-8). Let m be 22/l - 2/8. Is q > m?
True
Suppose -3*c + 0*p - 24 = -p, 2*c = -2*p - 8. Let g(a) = -a**2 - 9*a - 8. Let u be g(c). Suppose -75*f + 6260 - 5660 = 0. Which is bigger: f or u?
f
Let a = -294 + 600. Let s = 304.3 - a. Which is bigger: s or 3?
3
Let j be (-6)/(-24) + (-2249)/(-140). Let l = j + -117/7. Suppose -2*x - c + 8 = -4*x, 18 = -3*x + 3*c. Is l less than x?
False
Let f = -15 + 6. Let w = f - -1. Suppose 0 = -o + 20*o - 3*o. Which is bigger: o or w?
o
Let b = -0.483 - -0.254. Let i = b + -6.471. Which is bigger: i or 3/5?
3/5
Let c(y) = 2*y + 9. Let k = 0 - 6. Let f be c(k). Suppose m + 21 = 25*b - 28*b, 2*b + 3 = 3*m. Does f = m?
True
Let j = -2042 - -2159. Is j greater than -23?
True
Let p(h) = -9*h**3 + 4*h**3 - 12 - 12*h**2 + 13*h + 6*h**3. Let m be p(11). Let n be 10*((-12)/(-24))/((-2)/(-4)). Is m less than or equal to n?
True
Let c be -8 + -71 - (1 - 0)*-2. Let s = -101 - c. Is -117/5 bigger than s?
True
Suppose 3*x + 203 = f - 65, -2*f = -2. Which is smaller: -95 or x?
-95
Let s = -106.7 + 103.8. Which is bigger: -37 or s?
s
Suppose 5*j + 35 = -5*c, -92*c = -95*c - 4*j - 16. Let s = -25 + 12. Which is smaller: s or c?
s
Let i be (-368)/(-322) - 453*508/924. Which is greater: i or -247?
-247
Let r = 20119 + -20120. Let a = -73/693 + 1/99. Which is bigger: a or r?
a
Let h be (-240 - -243) + (-239)/81. Is 2/67 smaller than h?
True
Let w = 18.79 - 18.49. Let g = -10 - -31/3. Are g and w nonequal?
True
Let t = 379 + -377. Suppose -t*a - 7*a = 1413. Is -2 greater than a?
True
Let s = -2 - 0. Let m be ((-1520)/57 + 25)/((-20)/72). Is m at most as big as s?
False
Suppose 4*t - 2*d = 5*t + 55, 5*t + d + 302 = 0. Let n = -122 + 61. Is t at most as big as n?
True
Let k be (-574)/(-5) + 2*(-2)/8. Let j = k + -156651/1370. Which is smaller: 1 or j?
j
Let y(z) = -2*z**3 + 8*z**2 - 12*z + 5. Let f be y(2). Which is smaller: f or 19.35?
f
Suppose 44*i - 5*u + 9 = 42*i, 5*i - u = -34. Let p = 592 - 2399/4. Which is bigger: p or i?
i
Let t(n) = -441*n**2 + 14*n - 10. Let g be t(1). Are -438 and g nonequal?
True
Let w(s) = -162*s - 1781. Let j be w(-11). Suppose -2*p + 12 = -4*p. Let g be (-2)/(-23)*(-1)/p. Is j > g?
True
Suppose 5*o - s + 862 + 3157 = 0, 3*s = -2*o - 1611. Is o at least -810?
True
Suppose -2*m - 6 = -2*k, -3*m = -2*k - 26 + 32. Let h = 101 - 71. Let y be (-8)/h*10/9. Which is smaller: y or m?
y
Let l = -243 + 242. Let r = 9.6 + 2.1. Do l and r have different values?
True
Let d = 94.0461 + -0.0461. Let r = 93.884 + 0.116. Let a = d - r. Is -8/9 > a?
False
Let v = 20870 - 22843. Are v and 0 equal?
False
Let v = -2 - -1.9. Let x = v - 0.1. Let t = -18307/10 - -1831. Which is bigger: t or x?
t
Suppose -8*b - 67 = -a - 4*b, -a + 63 = -2*b. Which is greater: a or 1103/19?
a
Let m = -0.05064 - -214.15064. Let g = 216 - m. Which is smaller: 10 or g?
g
Let u be (-228)/228 + (-1)/(1/(-4)). Do 106/35 and u have the same value?
False
Let r be 16/58*(10/100)/(3/60). Do 1 and r have different values?
True
Suppose -8*x - 1610 + 50 = 18*x. Is x bigger than -60?
False
Let b = 10 + -4. Let r be 8 - (b - (3 - 0)). Suppose -2*d + r*w - 37 = -5*d, 4*d - 44 = -4*w. Which is smaller: d or 6?
6
Let u(s) = -s**3 + 59*s**2 - 68*s + 363. Let q be u(58). Which is smaller: q or -216?
q
Let w be (2/8)/(2/12). Let r = 162514 - 162484. Is r less than w?
False
Let a(d) = -d**3 + 28*d**2 - 30*d + 28. Let k be a(27). Let n = k + 53. Is -3/46 greater than n?
False
Suppose 0 = -37*f + 74*f. Let v = 48 - 33. Let q be ((-9)/v)/(9/6). Which is bigger: f or q?
f
Let f(y) = 4*y + 37. Let w be f(-9). Let v be w/((-5)/(-15*1)). Suppose -3*g = -2*h - 12, v*h = -h - 3*g + 12. Is h greater than or equal to 0?
True
Let a be (-1625)/(-7) - 12/(-14). Suppose 5*c - 2 - 1168 = 0. Which is smaller: a or c?
a
Let t be 0 - 32 - 193/193. Which is smaller: t or -667/20?
-667/20
Let c be ((-16)/(-32))/(29/8). Which is bigger: c or -17/6?
c
Suppose 14*o + 2*k = 9*o + 889, -3*k - 702 = -4*o. Which is smaller: o or 168?
168
Let q = -1122.19 + 1122.1. Does -32/19 = q?
False
Let m(j) = 6*j**3 + 7*j**2 - 36*j - 108. Let k be m(-3). Suppose 8*n + 339 + 445 = 0. Which is smaller: k or n?
k
Let r = 2.4754 - 2.4754. Let w = 1166 + -524. Are w and r equal?
False
Let q = 246/47 - -3962/141. Suppose 367*l - 17900 = -67*l - 3578. Which is smaller: q or l?
l
Suppose 21*h = 206*h - 2098 + 433. Let y = 399/50 + 13/25. Which is smaller: y or h?
y
Let a = 545 + -260. Let u = a + -4559/16. Which is smaller: u or 1?
u
Suppose 0 = 10*w + 1609 - 1409. Which is smaller: w or -268/13?
-268/13
Let n be (12/(-14))/(7/(-49)). Suppose 3*q + q - 42 = k, 4*q - 36 = 4*k. Is q greater than or equal to n?
True
Let y(g) = 3*g + 72. Let v be y(-24). Let w be (-6 - -7)/3*(-6)/272. Are v and w equal?
False
Let r = -8.4 + -7.6. Let t = 15 + r. Let s = -138 + 93. Is t greater than s?
True
Let i(k) = 3*k**2 - 3*k - 17. Let u be i(-7). Let z = 153 - u. Let t = -2.9 + 2.954. Do z and t have different values?
True
Suppose -16*a - 20 = -15*a + 5*u, 0 = -4*a + 5*u + 20. Suppose a = 20*k - 2*k + 18. Let o be -1 + 2 + (-26)/22. Are o and k unequal?
True
Suppose 27*i + 12*i - 250920 = -81*i. Do i and 0 have different values?
True
Suppose 134*z + 52854 + 12859 = -15893. Is z smaller than -609?
False
Suppose 5*x + 20228 = 17608. Is x less than -523?
True
Let u = 1740 + -87001/50. Let k be -1 - (1 + 0 + -1). Which is smaller: k or u?
k
Let a = -45915/1522934 + 11/362. Are a and -1 equal?
False
Let n(o) = -o**3 + 87*o**2 - 1024*o + 29. Let b be n(14). Is b at most 5/414?
False
Let t(l) = l**2 - 2*l + 1. Let x = -87 + 89. Let v be t(x). Is 1/30 < v?
True
Suppose 34*g + 3076 = -3*g - 1475. Which is bigger: 4/13 or g?
4/13
Suppose 80 = -d - 4*k, 3*d + 2*k + 218 + 22 = 0. Let r be 62/(-4)*(-1147)/222. Let o = r + d. Is o <= -1?
False
Suppose 0 = -d - 3*b + 589, -2488 = -5*d - 3*b + 481. Let i be ((-2)/(-6))/(-4 + d/(-7)). Is i equal to 1?
False
Suppose 28*l + 106*l + 1295690 = 24*l. Which is greater: -11778 or l?
-11778
Let h = 19179/5 - 3836. Which is greater: h or 0.2258?
0.2258
Let d = 19443 - 19435. Do -0.0723 and d have different values?
True
Let z(r) = r**3 + 59*r**2 + 314*r - 120. Let y be z(-52). Is -0.4 > y?
False
Let x = -12470 + 112316/9. Which is greater: 14 or x?
14
Suppose -6*r + 4*r + 24 = 0. Let m be (-4)/(-16) - (-93)/r. Let i(j) = j**2 - 8*j. Let q be i(m). Do q and 2/13 have the same value?
False
Let m = -0.5468 + -20.4532. Which is smaller: m or 1/19?
m
Suppose 0 = 6*i - 0*i - 3480. Let t = i + -14502/25. Let v = 3 + -3. Do v and t have different values?
True
Let z be (692/(-102) + 3)/((-279)/(-27)). Let f = -15/31 - z. Is 46 at most f?
False
Suppose v - 7 + 2 = 0, v = -4*b + 285. Suppose 14*p + b = 9*p. Let j be (-6)/p + 35/(-49). Which is smaller: j or 17?
j
Let j = 51 + -15. Let g = 67451 - 67449. Which is smaller: j or g?
g
Let l = 481.4 - 759.4. Which is greater: l or -0.05?
-0.05
Let j(b) = -2*b**3 - 6*b**2 - 3*b + 31. Let r be j(-3). Which is greater: 39 or r?
r
Let r(u) = 