r r?
27
Let t be 160/(-96)*(-4)/(8/6). Suppose z + 487 = -5*w, -t*z - 695 = -3*w + 1656. Which is smaller: z or -471?
z
Let m = -30702 - -21030874/685. Which is greater: 1 or m?
1
Let x(v) = 4*v**3 - 7*v**2 + 10*v + 1. Let i be x(2). Do i and 310/13 have the same value?
False
Suppose 2*t = -2*c + 836, -4*t - 3*c + 2236 = 567. Let a be 423 - 1 - ((-228)/247)/(4/(-26)). Do t and a have the same value?
False
Let v be 1 - ((-2 - -9) + -4). Let a be (-2)/5*v*25/10. Suppose 0 = 5*b + 15, 0 = -4*n - b - a*b - 153. Which is smaller: -35 or n?
n
Suppose 0 = -236*f + 232*f + 984. Let w = f - 260. Is -14 less than or equal to w?
True
Suppose -s - 240 = -6*s. Suppose i + s = 6. Let q = i + 41. Is q <= -2/31?
True
Suppose 12*i = -10*i + 708 + 2724. Which is greater: 619/4 or i?
i
Let f(j) = 40*j**3 - j**2 + j + 1. Let r be f(-1). Suppose -2*l = a - 188, 6*a + 4 = 4*a. Let d = l - 137. Which is bigger: d or r?
r
Let r = -7765 + 7765. Suppose -16 = 3*g + 11. Let y be 187/(-9) - (-2)/g. Which is greater: y or r?
r
Let s(h) = -h**3 - 21*h**2 - 115*h - 13. Let f be s(-16). Which is bigger: 549 or f?
549
Let q(z) = -8*z**3 + 5*z**2 + 6*z - 12. Let i be q(4). Let d = -550 - i. Which is greater: d or -131?
d
Let n(b) = b**2 + 28*b + 94. Let p be n(-4). Let t(u) = 6*u + 14. Let g be t(p). Is g > -0.01?
True
Let g = 2607 + -2610.1. Let f = -0.048 + 37.948. Let b = g - f. Is b smaller than 0.1?
True
Let m(k) = 70*k**2 - 4*k - 4. Let f be m(-1). Suppose -f*s + 24*s + 322 = 0. Which is bigger: s or 3?
s
Let m = 3267 - 3387. Is m at most -2302/19?
False
Let i = -424.3452 - -0.3452. Which is greater: i or -0.1?
-0.1
Let h be (-2)/((-15)/10 - (-1 + 0)). Suppose -h*n = u - 20, 0*n - 3*u + 6 = 3*n. Let s be ((-18)/(-72))/(1/12). Which is bigger: n or s?
n
Suppose 2*d + 33 = -5*w + 42, 3*d + 4*w = 3. Let k be ((-1)/d*(10 + -4))/(-8). Which is bigger: -1.18 or k?
k
Let m be (-2)/5 - 738/(-120) - (-12)/(-8). Which is greater: 4 or m?
m
Let h(q) = -q**3 - 4*q**2 + q + 5. Suppose -6*m = -9*m - 12. Let x be (-7)/(7/m)*-1. Let j be h(x). Does 3/43 = j?
False
Let y be -182 + 3 - (-4 - (-2)/(-2)). Is y at least -0.1?
False
Suppose 13*f - 12*f = 2*l - 1, 0 = 3*f + l + 3. Let z(q) = -3*q**2 + 3*q + 1. Let u = -7 - -10. Let h be z(u). Which is greater: h or f?
f
Let t(p) = 6*p + 99. Let d be t(-15). Let h be (24/(-1566))/((-6)/d). Suppose -2*f = -4*b + 2*f + 8, 5*b = -4*f - 17. Is b > h?
False
Let u(d) = -d**2 - 1. Let l be u(5). Let f(z) = z**2 + 15*z + 56. Let b be f(-6). Suppose 0 = -2*c + s - 52, -b*s + 7*s - 98 = 4*c. Which is bigger: l or c?
l
Suppose -10 = 3*p + 2*b, 5*p + 10 = 2*b - 4*b. Suppose p = 41*m - 24*m - 34. Are m and -0.32 equal?
False
Let a(m) = -m**3 - 2*m**2 - m + 7. Let r be a(0). Let b be (-1 - r/2)/((-165)/1540). Suppose 3*l - b = 3*c, 14*l - 11*l = 4*c + 42. Does l = 8?
False
Suppose 2*i = -i + 12, 0 = l + 2*i - 9. Let f = -514186048 - -69415450198/135. Let w = -2472 + f. Is l at most as big as w?
False
Suppose -2*x = -3*j - 1551, -167*j + 1561 = 2*x - 172*j. Which is smaller: 767 or x?
767
Let u = -633 + 591. Which is smaller: -37 or u?
u
Let o(h) = 19 - 2*h**2 + h**2 + 95*h - 2 - 88*h. Let y be o(10). Let d = 11/7 + -41/35. Which is bigger: y or d?
d
Let j = 24 - 22. Suppose -j*p - 4 = -3*s + 3, 2*p + 8 = 2*s. Is s > 0.005?
False
Let u be 134 - (16 + 16 - 23). Is 2128/17 bigger than u?
True
Let m = -0.02995 - -0.03955. Which is smaller: m or 2/7?
m
Let b(p) = -849*p - 7657. Let t be b(-9). Suppose 3*o = 4*s + 63, -4*o - 102 = 4*s + s. Is t at most s?
False
Let l be 9 + (-46360)/96 - 21/9. Do l and -476 have the same value?
False
Let v = 46105 - 47336. Do -1227 and v have the same value?
False
Suppose -13*c = 5*p - 15*c - 7, -c + 1 = -p. Let s be (-256)/(-180)*p*3. Is 0.1 > s?
False
Let i(c) = -2*c**3 + 2*c**2 + 15*c - 19. Let l be i(4). Let p = -23 - l. Which is bigger: 35 or p?
35
Suppose -a = 4*s - 7, 0 = 2*a + 189*s - 184*s - 11. Suppose 6*b = -4*i + 2*b + 16, 0 = -2*i + 3*b - 12. Which is greater: i or a?
a
Let t = 2127 - 2088. Which is greater: 17 or t?
t
Suppose 2*q - 9 = 38 + 105. Which is bigger: 104 or q?
104
Let x be (-28856)/32 + 13/(-52). Is x less than -899?
True
Let g be (-20)/((-3080)/(-159841)) + 2/(-28). Which is smaller: -1041 or g?
-1041
Let g = -0.08308 + -0.01692. Is -549 less than or equal to g?
True
Let m = 38.756 - -0.244. Let g = 34 + m. Is 0 at least as big as g?
False
Let v = -2798 - -2383. Do v and 0.01 have different values?
True
Let w(j) = -2*j**2 - 16*j + 4. Suppose -60 = 5*o + c - 5*c, o - 3*c + 12 = 0. Let y be w(o). Which is greater: y or 2?
2
Let q = -540.5 + 680. Let p = 142 - q. Which is smaller: 1 or p?
1
Suppose 35*i = 30*i + 10. Let s = 10 - i. Suppose s*o - 5*o + 5*x + 86 = 0, 0 = -x - 4. Is -22 less than or equal to o?
True
Suppose 13*f = 21*f. Suppose 6*g - 1455 - 2649 = f. Suppose 0 = 5*j - 14*j - g. Is -76 less than or equal to j?
True
Let y(m) = -63*m - 89. Let b be y(-1). Which is smaller: b or -24?
b
Suppose -4*c = -3*k + 21, -4*c - 2*k - 3 = -c. Let q = 313375/31 + -10111. Which is bigger: q or c?
q
Let t = 2.67 - 2.844. Let z = -0.826 + t. Is z bigger than -125?
True
Suppose 3*y + 6*m = m + 41, 5*m = y - 47. Let r be 9 - (27/9 + -9). Which is smaller: y or r?
r
Suppose -517*y + 1040*y = 546*y - 53912. Is y >= 2344?
True
Let p(z) = 32*z + 606. Let x be p(-19). Is 0.0073 greater than or equal to x?
True
Let r be 54*(-2 - (-2 + 1)). Let a be ((-32)/(-20))/((-138)/(-4715)). Let k = a + r. Which is greater: 0.2 or k?
k
Let h be -4 - (-1 + (-441105)/139302 - (-4)/24). Which is bigger: h or -1?
h
Suppose 4590 = 6*j + 1470. Suppose -76 = -6*o - j. Is o bigger than -72?
False
Let j be (-108)/63*42/153. Is j at least -0.02?
False
Let h be (1/6*9)/((-55692)/(-32) - 3). Which is greater: 0 or h?
h
Let y be ((-2 - -3)*-1)/(3/(-84)). Let d be -2 - (2/(-3))/((-7)/(-294)). Which is smaller: d or y?
d
Let m(k) = 268*k - 1. Let o be m(-2). Let t(l) = -12*l**3 + 161*l**2 + 54*l + 79. Let q be t(14). Is q less than o?
False
Let d = 44654347/414 - 970420/9. Let p = 14/69 + d. Which is smaller: p or 38?
p
Suppose -136*t - 132710 - 34706 = 0. Which is bigger: -9 or t?
-9
Let z be (-1008)/140*(32/(-13) + -1). Suppose -27*i + 250 = -17*i. Is i > z?
True
Let f(x) = 2*x**2 - 28*x + 74. Let i be f(19). Let g be 3/12 - 2/(i/75). Is 1 greater than or equal to g?
True
Suppose 71*m = 19*m + 156. Suppose 0 = 48*t - 51*t + m. Which is greater: -18 or t?
t
Let q = -4934 + 4890. Let r(x) = -2*x**3 - 12*x**2 + 8*x + 1. Let a be r(-6). Which is greater: q or a?
q
Let c be 1903/(-33) - -1*8/12. Let k be (23/5 + -1)/(2/(-35)). Which is greater: c or k?
c
Let d = 3168.9 + -3169. Which is smaller: d or 210?
d
Let v be (-2382)/(-8) + 6*(-5)/(-30). Let h = 299 - v. Let n = -3.3 - 30.7. Which is smaller: n or h?
n
Let v = -4993/328 - -121/8. Let w = -9421900 + 26268257513/2788. Let f = w + v. Is f less than 1?
True
Suppose -3*k - 6*l - 6 = -0*k, 3*k - 21 = 3*l. Suppose -2*p = 32*c - 36*c + 6, 0 = c + k*p + 3. Does 35 = c?
False
Let p = -42.1 - 7.9. Let f = p - 31. Let n = 81.7 + f. Which is bigger: n or 1/13?
n
Suppose 5*l - 7*l + 3799 = -22897. Are 13349 and l unequal?
True
Let r be (-5 + -140 + -5)/(0 + -1). Suppose -r = -4*p - 154. Is p less than or equal to 4/61?
True
Let i = 60 - 51. Let s be ((-378)/(-120))/(i/(-24) - 0). Let l = s + 1843/220. Which is bigger: l or 0?
0
Let d = 68 + -128. Let c = -0.081 + -0.919. Which is smaller: d or c?
d
Let d = 657819/25 - 26313. Do -15.2 and d have different values?
True
Let b be (-2100)/45*6/(-147)*12/9. Which is greater: b or 2?
b
Let d(u) = -u**3 + 9*u**2 + 11*u - 8. Let q be d(10). Suppose -2*p - 3*o = 59, 7*p + 4*o + 130 = q*p. Let h be (-2 - p/3) + -1. Do h and 4 have the same value?
False
Suppose 0 = -5*r - 4*k - 25, -3*r + 12 = -0*k - 3*k. Let y be (333/4440)/(((-78)/5)/3). Is r smaller than y?
True
Let p = 56 + -40. Suppose 0 = -3*o - 124*b + 125*b + 15, 0 = -3*o - 3*b + 3. Does p = o?
False
Suppose 4*n = 0, -3*r - 2*r - 5*n = 15. Let s be (-2)/(-3) + (7693/r)/(-7). Let k = s - 6969/19. Is k bigger than -1?
True
Let y = 894297/23020 + -777/20. Which is bigger: y or 1?
1
Suppose -57 = 14*v - 33*v. Suppose 5*r + 4*d - v*d = 1456, 4*d = -2*r + 586. Is 292 bigger than r?
True
Let f(i) = i**3 - 6*i**2