 (-2)/(-9). Let p = -705 + 944.8. Let d = p - 242. Which is smaller: a or d?
d
Let u = -1229095/204 - -6025. Let x = 773/14892 - u. Let m be 1*(0/5 + -1). Does x = m?
False
Let z be 2/(-7) - (220/(-35) - 10). Suppose -z = 88*d - 72*d. Does d = -8/5?
False
Suppose 5*s - 45 = -0*s. Suppose s*o - 48 = 3*o. Let q be 2/o - (-11)/(-44). Is q greater than 10?
False
Suppose r = 16*r + 600. Let a = 39 + r. Is 3/31 != a?
True
Let t be (210/40)/(-21)*0. Suppose -2*l - 2*l + 24 = 0. Suppose 0 = 5*k + 26 - l. Is k at most t?
True
Let o = 255 - 841. Let k = o - -588. Which is bigger: k or 28/41?
k
Suppose 0 = -27*v - v + 11133 + 76927. Which is bigger: v or 3144?
v
Suppose 4*n = 3*r + 13163, 0 = 3*r - 3*n + 6602 + 6553. Is r not equal to -4377?
False
Suppose 36*j - 9528 - 58440 = 0. Which is smaller: 1884 or j?
1884
Let v = 5011/20 - 1274/5. Is v < 0.56?
True
Suppose -87*y + 5*h + 11 = -89*y, 22 = -3*y - 2*h. Is y smaller than -75/8?
False
Let j(c) = -2*c - 32. Let y be j(-13). Let l be 70/(-105) + 2/y. Let f = 66 + -855/13. Which is bigger: l or f?
f
Let m = 207 - -488. Let i = m - 717.54. Let l = 23 + i. Which is smaller: -1 or l?
-1
Suppose -3*t = -l - 4936, 30*t - 19666 = 4*l + 31*t. Which is smaller: 0.4 or l?
l
Suppose 0 = -30*v - 960 - 120. Suppose 6*n - 5*c + 123 = 2*n, 0 = n + 4*c + 57. Is v less than n?
False
Let h be ((-44)/8 - -2)/((-49)/(-10682)). Which is bigger: h or -761?
-761
Suppose 2*i + 5*f = 176, 81 - 4 = i - 3*f. Suppose -i = -4*o + 1. Let a be (-14)/o*(-1 - 2) + 3. Is 8 greater than or equal to a?
True
Let l(k) = -24*k**2 - 329*k - 12. Let o be l(-12). Which is smaller: o or 485?
o
Suppose -35*i + 44 = -37 + 11. Is -12 greater than i?
False
Let u = 34 + -34. Suppose -2*a + 342 = -8*a. Let n be -3 + ((-287)/a - 2). Is n bigger than u?
True
Let p = -246.6 + -106.4. Which is smaller: p or 0.2?
p
Suppose 4*h = -2*f - 1903 - 5185, 3*f = -6. Let s = -131057/74 - h. Which is smaller: s or 1?
s
Let g = -0.06038 + 1.06038. Which is smaller: -2/1613 or g?
-2/1613
Suppose -633 = -22*x + 291. Suppose 34*u + x = 40*u. Which is bigger: 5 or u?
u
Let q = -99899 - -499195301/4997. Is q at least as big as 0?
False
Let q be (-17940)/468 - 4/6. Suppose s + 5 = 6*s. Let z be ((-26)/q)/(s/(-3) + 1). Is z at least as big as 2/9?
True
Suppose 0 = -3*f + 5*x - 25, -5*f + 14*x = 10*x + 20. Is 1000 less than f?
False
Let q(i) = -3*i + 38. Let t be q(14). Let u be (-110)/77 + t/(-42). Is 1.1 > u?
True
Let r = -819 + 827. Is 106/9 greater than or equal to r?
True
Let i = 18.721 + 0.179. Let t = i - 19.9. Do t and -25/7 have the same value?
False
Let l = 6166 + -6166.076. Do 43 and l have different values?
True
Let k = 22160/7 - 3166. Which is smaller: k or 8?
k
Let y be ((-1)/2)/1*-24. Let c be (20/(-54))/(16/y). Let t = 785 - 786. Is t not equal to c?
True
Let c = -9161 + 9336.02. Let w = 175 - c. Which is smaller: 1/29 or w?
w
Let i(d) = -22*d + 66. Let b(z) = 32*z - 98. Let r(l) = -5*b(l) - 7*i(l). Let a be r(3). Which is greater: a or 16?
16
Let l be (-12)/27 - (57845/7650 - 8). Let f be 325/(-26)*(2 - 0). Let t = 24 + f. Which is bigger: t or l?
l
Suppose 4*o - 16 = 3*o - 3*c, 0 = 5*o - 2*c - 12. Suppose 0*r - 2*p = -r - 24, -o*p + 62 = -3*r. Let t be (1 - r/4)*(-4)/(-3). Which is smaller: 5 or t?
5
Suppose -34587 = -109*f - 484648. Which is smaller: f or -4130?
-4130
Let u be -7 + 41 + -4 + -4. Suppose -2*t - 5*g = 27, -t + 34*g = 39*g + u. Which is bigger: 1/95 or t?
1/95
Let y be 2 + (-1 - -1 - (-10 - -11)). Let w be -2 + y + -3 - 12*2. Let m be w/(-48) - ((-20)/12 + 1). Which is greater: 2 or m?
2
Let z(o) = -3*o**2 - 10*o - 19. Let j be z(-3). Let k(a) = a**2 - 11*a - 12. Let s be k(13). Suppose 0 = b - 2*b - s. Do j and b have the same value?
False
Suppose 6 = 5*d + 1. Let z = 39 - 41. Let x be 10 + -13 + (z - 58/(-12)). Which is smaller: d or x?
x
Let x = -106 + 106.1. Let z = 6 - 6.9. Is x >= z?
True
Let u(r) = -r**2 + 7*r + 12. Let s be u(8). Suppose -13*h + 8*h - 8 = s*n, -3*h - 2*n - 4 = 0. Is -8/87 less than h?
True
Let i = 14358 - 6471. Which is smaller: i or 7889?
i
Let m = 55615/19 + -2927. Is m smaller than 784?
True
Let a be 420/378 + 1239/27. Is 88 < a?
False
Let y(f) = -f**3 - 7*f**2 - 19*f + 7. Let d be y(-3). Suppose -36 = 8*i - d. Which is smaller: 2/203 or i?
i
Let d = -191 + 183. Let x(w) = 2*w**3 + 17*w**2 + 10*w + 16. Let t be x(d). Is t >= 3/40?
False
Let c(n) = -n**3 + 4*n**2 + 5*n + 4. Let p be c(5). Suppose -15*x + 16*x - p = 0. Suppose x*f + 7 = 3. Which is bigger: -3 or f?
f
Let j = 9/25 - 61/100. Is j bigger than 1697?
False
Let n = -38 + 22. Suppose 3*x - 163 + 26 = 2*g, 0 = 2*x - 2*g - 90. Suppose 0 = -9*j - x + 2. Which is greater: j or n?
j
Let v be (-16)/(-3)*(0 + 15). Suppose 3*w = -0*g - 4*g - 332, 4*w = 4*g + 304. Let k = g + v. Which is smaller: 1/42 or k?
k
Let l be (10/(-96)*-8)/((-9)/(-16659)). Are l and 1543 nonequal?
True
Suppose -4 = -i - 17. Suppose 2*f = 514 - 96. Let h = 198 - f. Which is smaller: h or i?
i
Let w = 14914 - 14896. Are 10/3 and w unequal?
True
Suppose 0 = -2*p - q + 242 - 238, -4*p = q - 6. Let b be 100/7 + (-14)/49. Let l = b - 12. Is p greater than or equal to l?
False
Let u = -1296 - -22048/17. Let n = 1703399 + -1703397. Which is bigger: u or n?
n
Let y = 143954 - 129126758/897. Is y <= 0?
True
Suppose -7*t + 240 = -t. Suppose -100*f - t = -110*f. Is 0.39 bigger than f?
False
Suppose 5*f = 6*f - 2*p + 2, 4*f + 2*p = -8. Which is smaller: -2/17337 or f?
f
Suppose -5*b - 5*w = -3*w + 33, -2 = b + 5*w. Let t = 12 + -10. Let v = -11 + t. Which is bigger: b or v?
b
Let v(s) = s + 2. Let t(u) = u**3 + u**2 - 4*u - 3. Let y be t(-2). Let g be (y + -7)*1/2. Let b be v(g). Which is greater: -9/4 or b?
b
Let d be (-692)/(-24) - 2/4. Let a = 163/6 - d. Let g be (-20)/24*(-6)/(-15). Which is smaller: g or a?
a
Let k = 1.89 + 40.11. Let d = -39 + k. Let s = 0.08 - 0.1. Which is greater: d or s?
d
Let r = -10001 - -11087. Which is smaller: 1092 or r?
r
Suppose 14 = -1321*n + 1335*n. Does -2/7117 = n?
False
Let i be 2/((-9)/4 - -2). Let m be (i + 3)/(3/(-6)). Suppose 4*z - 18 + m = 0. Which is bigger: 2/3 or z?
z
Let x(g) = -631*g - 3. Let y(b) = 210*b + 1. Let q(o) = -4*x(o) - 11*y(o). Let h be q(-1). Let f = h + 847/4. Is f at most as big as -1?
True
Let k = -202 + 1466. Which is bigger: 1265 or k?
1265
Let n = -22794.56 - -22797. Which is smaller: 39 or n?
n
Let v = 1925753 - 1928769.746. Let d = -3014 - v. Let t = -0.046 + d. Which is bigger: t or -2?
t
Let x be 2992/(-306) + (4/18)/(-1). Let b(d) = -5*d**2 + 7 - 3*d + 0*d**3 + 5*d**3 - 4*d**3 - 1. Let v be b(5). Is v not equal to x?
True
Let a(k) = 2*k**3 + 11*k**2 - 9*k - 13. Let w be a(-6). Suppose -2*j - h - 130 = 0, 7 - 329 = w*j + 4*h. Which is smaller: j or -67?
-67
Suppose -4165 = -146*o + 27*o. Is 15 greater than o?
False
Let k = -3628 - -3628. Is k > -0.0554?
True
Let m be ((-40)/(-100))/(12/(-15))*0. Suppose 15 = -5*v - 0. Let h be 18/(-3)*1/v. Which is greater: m or h?
h
Let j = 3/776 + -17911/16296. Which is smaller: -2 or j?
-2
Let i(v) = -3*v + 0 - 2 + 0 + 6. Let x be i(-3). Let h = 35 + -24. Which is bigger: h or x?
x
Suppose -2*g + 21*s - 20*s + 11718 = 0, -2*s + 17605 = 3*g. Are 5863 and g non-equal?
False
Suppose -127*i = -114*i - 10101. Suppose i*j = 775*j. Let s = 0.06 - -2.04. Which is smaller: s or j?
j
Let l = 0.26 - 0.586. Let n = l + -110.674. Which is smaller: n or -0.1?
n
Let s be (1 + -1 + -1)*-4. Let a be (-2)/s*5*(-4)/10. Let g be (2/(-1) + a)*(-5 + -6). Which is smaller: g or 10?
10
Let f(a) = -7 + 6 - 8 - 4*a - 8. Let h = 114 + -121. Let s be f(h). Which is smaller: s or 14?
s
Let b = -26/43395 - 11/263. Are b and 1 equal?
False
Suppose -10 = 2*y - 22. Suppose 20*p = 22*p - y. Suppose -h - p - 2 = -3*q, 0 = -3*h + q + 17. Which is bigger: h or 6?
h
Suppose 3*t = 9*i - 7*i - 13, 3*t - 5*i = -10. Let j be -3*(325/15)/t. Is j smaller than 7?
False
Let j(a) = 119*a - 3210. Let c be j(27). Let o be ((-10)/8)/(1/(-12)). Let n = 24 - o. Which is smaller: n or c?
c
Let r(k) = 20*k**2 - 27*k + 60. Let s be r(7). Which is smaller: 849 or s?
849
Let b = 21283 + -22018. Is b at least -6628/9?
True
Let a be ((-6)/(-30))/((-2)/(-29)) + (-2)/(-20). Is a smaller than 291/80?
True
Suppose -3*y - 15 + 7 = -4*d, -2*d = -2*y - 2. L