1 = 4*c. Suppose 2*g = 9 + c. Is g smaller than 5?
False
Let o be (3 - (-4)/(-2)) + 6. Suppose 8 = o*w - 3*w. Let r(c) = 2*c**2 + 3*c. Let h be r(-2). Is w <= h?
True
Let z(j) = -6*j - 95. Let b be z(-3). Which is smaller: -84 or b?
-84
Let h be -1 - (-7)/((-21)/27). Let a be ((-3645)/(-950))/9 + 4/h. Are 1 and a non-equal?
True
Suppose -5*d = 2 + 3. Let n be (-20)/(-110)*(-1)/(-2). Are d and n non-equal?
True
Let v = 2/453 + 2249/3624. Suppose -4*p = 2*c - 6*c - 12, 0 = 5*p - 3*c - 13. Suppose 6 = -p*h, 2*h + 0*h + 11 = 5*i. Which is smaller: v or i?
v
Let l(i) = -i**3 + 5*i**2 + 5*i - 21. Let r be l(5). Which is smaller: r or 26/7?
26/7
Let k = -29/4 - -1433/20. Which is smaller: 63 or k?
63
Let s = -82 - -13. Is -67 less than or equal to s?
False
Let d be -2 - 0 - 752/96. Is 1/2 greater than or equal to d?
True
Let v(m) = -m**2 - 7*m - 12. Let b be v(-7). Let g(r) = 11*r**3 + r**2 - 1. Let k be g(-1). Which is bigger: b or k?
k
Let w = 3545 + -3546. Let j = 8/37 + -506/3367. Which is bigger: j or w?
j
Let c(y) = -y**3 + 3*y**2 + 5*y - 5. Let u be c(4). Let m = -32 + 14. Let i be 34/(-60) + m/(-45). Is i < u?
False
Suppose w + 0*w = 4. Suppose -n = -q - w + 5, 4*n + 3*q = -18. Let b = -1300 - -1302. Is b < n?
False
Let v = -18 - -18. Suppose -3*k + 4*p - 23 = v, -k - 6 = -0*k - p. Is k greater than 1/3?
False
Let j = -3/119 + -110/357. Let h = 21.1 + -22. Let o = -0.1 + h. Is o at least as big as j?
False
Let v = 308.88 - 319. Let h = -0.12 - v. Which is bigger: h or -2/3?
h
Let i(d) = -d**3 + 6*d**2 - 7*d + 4. Let k be i(5). Let o be (k - -11) + 1 + -3. Suppose 5*v = 2*a + 9, 0*a + 6 = -o*a. Which is greater: -3/7 or v?
v
Let f = -2.04 - -2. Let p(y) = 17*y - 33. Let o be p(2). Which is smaller: o or f?
f
Suppose -4*c + 2*u = -10, -5*u + u = -c - 1. Suppose -m = -c*m. Is m greater than 7?
False
Suppose 29*v - 35244 = -7*v. Are 979 and v equal?
True
Let j be ((-6)/1665)/((-2)/757). Let x = j + 4/111. Which is greater: 0 or x?
x
Let g(b) = b**2 - 15*b + 8. Suppose -3*a + 31 = 2*c - 6*a, 0 = -c + 4*a + 13. Let k = 31 - c. Let z be g(k). Do z and -7 have different values?
True
Let t(z) = z + 41. Let j(w) = -21. Let q(r) = -7*j(r) - 3*t(r). Let g be q(6). Let p = 2 - 1.9. Is g bigger than p?
True
Let n be (-4)/(-16) + 95*(-5)/(-20). Let b = 8 - n. Suppose -2*j - 37 = -5. Are b and j unequal?
False
Suppose 6*y = 301 - 49. Let r be y/(-189) + 8/(-126). Let n be (-2)/(-9) - (-28)/(-18). Is n not equal to r?
True
Let z be 2/9 - 258152/1166625. Does -1 = z?
False
Suppose 0 = 41*r + 118 - 856. Which is smaller: 12 or r?
12
Suppose 410 = -4*m + 14*m. Suppose -3*x + 35 = m. Let r = 637/5 - 128. Which is smaller: r or x?
x
Let q be -11 - 0*(-4)/40. Which is smaller: 2/9 or q?
q
Let h(w) = -36*w - 125. Let s be h(6). Is -340 at most as big as s?
False
Let i be (-6002)/12 + ((-76)/12 - -6). Is i at most -501?
False
Let h = -7/16 - 105/272. Are h and 0 equal?
False
Let k = 413.8 + -358. Let h = k - 56. Are h and -24 unequal?
True
Let q = -1 + 2. Let i(m) = -m**2 - 2*m - 5. Let b be i(0). Let r be 0*(-2)/(q + b). Which is smaller: r or 6/7?
r
Let l(a) = -4*a**3 - a**2 - 2*a - 1. Let g be l(-1). Suppose -c - 2*d - 26 = -3, -c + g*d = 11. Which is smaller: c or -20?
-20
Let p(x) = -18*x**2 - 7*x + 6. Let w be p(1). Which is smaller: w or -18?
w
Let a = -206.6 - -206.5. Let d be (6/(-21))/(1/(-4)). Is a at most d?
True
Let j = 241.91 + -2.91. Are j and -2 equal?
False
Let c = 22 - -20. Let n = 38 - c. Let j(z) = -z + 5. Let q be j(7). Which is smaller: q or n?
n
Let a be 2 - ((-57952)/(-20580) + -1). Let q = -2/5145 + a. Let v = 277/441 - q. Which is smaller: -1 or v?
-1
Let n be (1/(0 - 1))/(31/1271). Which is smaller: -40 or n?
n
Let r be -1 + (-4)/(-2) - 27. Let y = -8 + r. Let j be (6/y)/((-6)/4). Are j and 1 non-equal?
True
Let r be ((-39)/(-5))/(344/(-80) - -4). Let m = -0.2 - -0.3. Is m greater than r?
True
Suppose 14*t = 5*t. Suppose t = 2*r + 60 + 46. Do r and 0.1 have the same value?
False
Let a = 60086 + -4686793/78. Let h = a - -12/13. Which is smaller: 1 or h?
h
Suppose -2*o - 3 = 1. Let w = -364 + 363. Is o greater than or equal to w?
False
Let x be 28/(-6)*(146 - 136). Which is greater: x or -48?
x
Let q = 37641/145 - 1298/5. Let p = -840 - -839. Which is smaller: p or q?
p
Suppose 3*l + 62 = 8. Let s = 7.1 - 7. Which is bigger: l or s?
s
Suppose 0*f + 4*f + 5*j - 31 = 0, -4*f - 4*j + 28 = 0. Let u(n) = n**2 - 8*n - 31. Let l be u(-3). Are l and f nonequal?
True
Suppose 100 = -2*v + 550. Let x be (-2)/9 + (-85)/v. Is 0 greater than x?
True
Let x(a) = -a**3 - 8*a**2 - 8*a - 1. Let s be x(-6). Let j be 2 - (2 + (1 - -25)) - -1. Is j >= s?
True
Let h be 11/(-38 + 11 + -10). Is 1 at most h?
False
Let o be ((-28)/21)/2*102/(-4). Is o smaller than 17?
False
Suppose 0*l = 3*s - l - 19, 9 = s + l. Let i be (-141)/9*(-7)/(s/3). Is i smaller than 46?
False
Suppose -l + 4*j + 22 = 0, -4*l = -8*l + 3*j + 62. Let d = 26 - l. Let k be d/(-9)*1/(-4). Is k smaller than 2/7?
False
Suppose -2*b = 3*h - 2133976, -4*b + 3*b = -5*h + 3556631. Let v = 54771351/77 - h. Let n = v - -67/7. Which is greater: n or -2?
n
Let g = 0.032 + 157.968. Are g and -1/4 non-equal?
True
Let p be (124/6)/(4/6). Suppose -p = -2*c + 17. Suppose 4*l - 7*l = c. Is -8 at least l?
True
Suppose 203*c - 204*c = 5*j - 609, -245 = -2*j + c. Are j and 126 equal?
False
Let h = 99.8 - 76. Let u = h + -23.9. Let t = -4.6 - -1.5. Is t bigger than u?
False
Let t be 2 - 5 - -1 - (0 - 1). Let p be (602/189 + -3)/(t/12). Is p greater than -2?
False
Let y = 78 + -98. Let f = y - -48. Which is greater: 27 or f?
f
Suppose c - 5*c - 176 = 0. Let x = -94 - c. Let r be 25/(-10)*(-2)/x. Which is greater: r or 1?
1
Let j = -152 - -93. Let c = j - -93. Suppose 4*q - 6 = -c. Do q and -8 have the same value?
False
Let s be (14*4/(-32))/(4/(-2256)). Which is greater: s or 1?
s
Suppose -6*k = -16 - 20. Let p be (-8)/12 + 274/k. Do 46 and p have the same value?
False
Suppose 238 = 5*t - 3*x, 0*t + 66 = t + 4*x. Which is greater: t or 49?
t
Let m = -24 + 14. Let q be (-16)/(-42) + m/(-35). Does 0 = q?
False
Suppose -36*q = -41*q - 4*w - 84, -q + 3*w = 32. Let k = 43 - 62. Which is smaller: q or k?
q
Let l be 3 - (-4 - 20126/(-2850)). Let x = -2/75 - l. Which is smaller: 2 or x?
x
Suppose -3*g = -4*s - 36, -6 = 3*s + 5*g - 2*g. Let n be 2/(-3)*(-839)/2. Let i = -286 + n. Is i less than s?
True
Suppose -2*w + 3 = -3*w. Let c be ((-1)/2)/(w/(-6)). Let q be ((-9)/((-189)/14))/(14/6). Which is smaller: q or c?
c
Let j be 151*(-40)/648 - -9. Which is smaller: 1 or j?
j
Let q = 164 - 258. Let d = q - -93. Which is smaller: 2/87 or d?
d
Suppose -7*n = -9*n - 22. Let s(h) = -h**2 + 28*h - 36. Let v be s(27). Which is smaller: n or v?
n
Let a = 5801 + -3544413/611. Is a less than 1?
True
Let o(a) = 19*a - 370. Let j be o(18). Which is bigger: j or 10?
10
Let v = 184 - 183.92. Are -0.03 and v equal?
False
Let w = -544/13 + 650093/15535. Is 0 at least as big as w?
False
Let a(d) = 10*d + 11. Let i be a(0). Let c(h) = h - 5. Let y be c(9). Suppose -3*n - y = -34. Do i and n have the same value?
False
Let f be ((-27)/24)/(4686/88). Which is greater: 1 or f?
1
Let a = 1097 - -455. Let x = 1537.94 - a. Let d = x + 0.06. Is -1/2 smaller than d?
False
Suppose 0 = -100*q + 76*q + 24. Is q greater than 0?
True
Let x be (1 - 1)*(4 - 3). Suppose 2*l - 5*l - 5*v = 22, -4*l + 3*v + 19 = x. Let q be 18/81 - (556/234 + -2). Which is greater: l or q?
l
Suppose -105 = -b + 5*n, -6*b + 441 = -2*b + n. Do 2 and b have the same value?
False
Suppose -55*x + 13*x - 630 = 0. Suppose -9 - 18 = 4*l + 5*o, -5*l - 4*o = 45. Which is bigger: l or x?
l
Suppose t + 16 = 5*t + 2*l, -3*t + 1 = -4*l. Is 7 at least t?
True
Let u = 9 + -2. Let f(v) = -7*v + 20. Let y(x) = 8*x - 21. Let b(l) = -5*f(l) - 4*y(l). Let q be b(u). Which is bigger: 14/3 or q?
q
Let w(g) = -117*g + 3274. Let v be w(28). Let x(i) = -3*i**2 + i. Let k be x(-2). Is k at least v?
False
Let r(h) = -14*h + 1. Let q be r(-2). Suppose -138 - 408 = 21*o. Let u = o + q. Is 7 not equal to u?
True
Let y(l) = -l**2 - 5*l + 7. Let j be y(-7). Suppose 53 - 44 = -d. Let h = j - d. Does 1 = h?
False
Let q = 32721/220 + -744/5. Which is bigger: q or -1?
q
Let x = 2204 + -46234/21. Let s = x - 12/7. Is