e 2/(-12) - 3/(-18). Suppose p = -5*o, 2*o = 2*n + 3*o. Suppose 2*d + y + 22 = n, -3*d + 2*y = -0*y + 40. Is d smaller than -13?
False
Let g(m) = m**3 + 25*m**2 - 140*m + 301. Let n be g(-30). Is -3/15205 less than n?
True
Let f = 27372 + -21536. Are 5836 and f nonequal?
False
Let p = -9683083/185 + 52341. Let j(m) = -m**3 + 3*m**2 - 3*m + 3. Let i be j(2). Which is smaller: i or p?
p
Let s(p) = 22*p**2 + 8*p + 13. Let n be s(-2). Let l be n/(-510) + (2 - 122/(-156)). Is 3 greater than l?
True
Let g(k) = -7*k**2 + 3*k**2 - 3 - 2*k + 2 + 2. Let a(l) = -l**3 - 3*l**2 + 6*l + 16. Let h be a(-3). Let m be g(h). Which is bigger: m or -7?
-7
Let b = 24.0841 + -0.0841. Is -201 bigger than b?
False
Suppose 18*j - 3639 = 25*j + 995. Which is smaller: j or -1/11?
j
Let g(r) = r**2 + 8*r - 6. Let y be g(1). Suppose -20*j = -v - 15*j + 5, -3 = -y*v + 3*j. Which is smaller: v or 5/22?
v
Suppose -2*q - 4*y - 8 + 32 = 0, q + 4 = 2*y. Suppose -4*f - 2*k = -q, 31*k = 3*f + 32*k - 1. Are f and -40.5 equal?
False
Let j = -27575/2737 + 31/161. Are -9 and j nonequal?
True
Let t = -26.47 + 26.57. Suppose 2*f + 2*f = 20. Suppose 5*b - 5*d - 45 = 0, -f*b - 4*d = -3*d - 75. Which is smaller: b or t?
t
Let d = -127 - -88. Let l(v) = v**3 + 11*v**2 + 4. Let p be l(-11). Let h be (p/(-10))/((-8)/(-10)). Which is bigger: h or d?
h
Let o = 708 - 2114/3. Let j(y) = y**3 + 4*y**2 - 5*y + 2. Let a be j(-5). Suppose -7*w + 10 = -a*w. Is w equal to o?
False
Let k be (30/(-9))/(2/3). Let w = -2887/70 - 114/35. Let v = 161/4 + w. Which is smaller: k or v?
k
Let g = -571 - -570.998. Let k = g - -82.002. Which is greater: 0.2 or k?
k
Let p be 25265/5 - (15 + -23). Which is smaller: p or 15182/3?
15182/3
Suppose -l - 13 = -0*l. Suppose 0 = k + 2*f - 8, 5*f + 34 = 2*k. Suppose -k = -3*z, 2*j - 5*z + 30 = -3*z. Which is bigger: j or l?
j
Let n be (63/84)/(1/(-28)). Let a be (-243)/483 + 0 + (-6)/n. Let m = 6 - 6. Is a equal to m?
False
Let d = 503/148 + -307/74. Which is smaller: d or 31.12?
d
Let y = -131081/35723 + 483/139. Is y < 1?
True
Suppose 8*s = -k + 989, 68*s = 5*k + 67*s - 4822. Which is smaller: k or 963?
963
Let r = 13707 - 17275. Which is bigger: r or 0?
0
Let m = -601927/125125 + 51/1625. Which is smaller: -6 or m?
-6
Let r = -2 - -1. Let q(m) = 2*m**2 + 24*m + 10. Let c be q(-11). Let i be -21*r*8/c. Do -12 and i have different values?
True
Let p(v) = -2*v**2 + 156*v + 2577. Let f be p(92). Is 2/4565 bigger than f?
False
Suppose 0*v - 11 = 5*y - v, -3*y - v - 5 = 0. Let i = 49878411 - 111977029542/2245. Let q = 2/449 - i. Which is smaller: y or q?
y
Let q(m) = -m - 15. Let z be q(-5). Let x be (8/z*(-75)/10)/2. Let h be ((-346)/(-114) - x)*-3. Is 0.03 greater than or equal to h?
True
Let n = -638 + 617.8. Let h = n - -8.2. Is -14 <= h?
True
Let m be (4 - 9/3) + (4 - -3024) + 14. Is 3043 at most as big as m?
True
Let l be (98/(-3))/(66/(-18) - -4). Let o = -1262/13 - l. Are 0 and o equal?
False
Suppose -5*r + 5 = -60. Suppose -r = -2*t + 1. Let m = t + 2. Is 9 equal to m?
True
Let g(u) = -u**3 - 31*u**2 - 6*u - 38. Let m be g(-31). Let n be (-104)/(-20) + -6 - m/(-10). Is n at least as big as 13?
True
Let b = -367/10 - -184/5. Which is smaller: b or -1/39?
-1/39
Let o be (-24)/(-9)*3*(-4)/(-8). Let j(d) = d**3 - 3*d**2 - 8*d + 15. Let q be j(o). Let y be 6/12*(-2)/27. Is y at least q?
True
Let q(f) = -2*f**3 - 31*f**2 - 119*f - 68. Let h be q(-5). Is 2970 greater than or equal to h?
True
Let x be (((-1040)/(-45))/52)/(4/1206). Is 98 less than or equal to x?
True
Suppose -27*g = -31*g + 3*p - 46, 3*p - 18 = 0. Which is smaller: g or -623?
-623
Let d(x) = 724*x - 4347. Let n be d(6). Suppose -p - 3*p = 4. Do p and n have the same value?
False
Let k be -177*1/(-204) + (-6)/8. Let u(t) = -t**2 - t + 1. Let o(p) = -p**3 - 1. Let n(x) = o(x) + u(x). Let a be n(0). Which is smaller: k or a?
a
Let q = 0.0008 - -14.9992. Let x = -8 + 3. Which is bigger: x or q?
q
Let l(f) = -4*f**2 + 7*f - 10. Let p be l(5). Let o = p - -77. Let r be o*1/(-4)*0. Which is greater: 12/13 or r?
12/13
Let a = -4167/11 + 377. Let m be 1/(-3)*(-666)/1110*(-2 + -8). Which is smaller: a or m?
m
Let s be 9 + (-112)/18 - 4/(-18). Suppose 3*f - i = -34, -s*f - f = 5*i + 20. Are 6 and f equal?
False
Let c = -3/965 + 2979/27020. Suppose -3*m = -3*b - 15, -m = -4*m - 5*b - 17. Let i = 0 + m. Which is bigger: c or i?
i
Let v be 3/2*(-12)/(-9). Suppose 3*p + 0 = -5*b + 9, 5*p - 31 = -3*b. Let z be (5 - p)/(27/(-12)). Is v less than z?
False
Let c be 1/((-8)/(-1308)) - 0. Let m = -16679/102 + c. Suppose -2*a - 11 = -13. Which is greater: m or a?
a
Let z be 27/15 + (-170586)/86970. Is -3 less than or equal to z?
True
Let t(j) = 6*j - 85. Let g be t(10). Let x be ((-880)/g)/(3/(-15)). Is x > -175?
False
Suppose 1899 = 52*z + 495. Suppose -z*h - 164 = -515. Is h at least 89/7?
True
Let p(f) = 4*f**2 + f. Let r be p(2). Suppose -2*m = 45 - 5. Let i(a) = a**2 + 27*a + 138. Let x be i(m). Is x at least r?
False
Let w(x) = -x**3 + x. Let i(g) = -g**3 + 8*g + 34. Let y(p) = -i(p) + 2*w(p). Let d be y(0). Is -35 greater than d?
False
Let l(r) = -23*r + 806. Let j be l(35). Is 31 not equal to j?
True
Let p be (-3)/12*65 - 1. Let x(n) = -n**2 + 175*n - 7401. Let o be x(71). Which is bigger: o or p?
o
Let q(r) = -r**2 - 6*r + 92. Let a be q(-13). Let x be a/((6/3)/(-6)). Does -3 = x?
True
Suppose 0 = 59*s + 25*s - 27*s. Let d(x) = 8*x - 1. Let i be d(-1). Let z be i/4*3/(-9). Is z greater than or equal to s?
True
Let k = 1875.5 - 1896.54. Does k = 5?
False
Let a = -3/5026 - 55277/15078. Suppose -f + 3*f + 8 = m, 1 = -f - m. Does a = f?
False
Let o(g) = -g**3 + 72*g**2 + 148*g - 6. Let x be o(74). Let i be ((-2)/(-4))/(3/(-48)). Which is bigger: i or x?
x
Let p = 3710 - 3708. Are p and -525 unequal?
True
Suppose -158*a + 127*a - 31 = 0. Which is smaller: a or -1/3579?
a
Let f = 5429 + -8285. Let p = f - -25646/9. Is -5 at most p?
False
Suppose c = 5*n + 25, n - 2*n = 4. Suppose -1 = -17*b + 16*b. Is c at least b?
True
Suppose -4*g - s = -25, 3*g - 24 + 3 = -3*s. Let y(f) = -f + 3. Let w be y(3). Suppose w = -10*h + 17 + 43. Is h < g?
False
Let x = -300.752 + -0.248. Let v = 339 + x. Which is smaller: v or -4?
-4
Let a = 7400411/170 - 43541. Let c = a + 87/10. Let z(r) = r - 4. Let l be z(3). Which is smaller: l or c?
l
Let b = -16 + 19. Let f(u) = 3*u - 7. Let g be f(b). Let d = -138 - -138. Which is smaller: d or g?
d
Let z be (0 - -3) + 2/(6/(-9)). Suppose 0 = 2*u + 6*y - 4*y + 10, z = -u - 2*y - 10. Which is greater: 1/646 or u?
1/646
Let v = 36317765/441 - 82353. Which is smaller: v or 1?
v
Let n be -37 + 35 + (-7)/(-4). Let r(c) = 3*c**2 - 8*c - 43. Let p be r(-7). Let k be 2 - (p/(-25))/(-4). Is k less than n?
False
Let k be (11099160/138738)/(-10) + 6 - (-2)/1. Is 1 at most as big as k?
False
Let y be (-6)/(-10) - 398/5373*3252/170. Which is bigger: y or -1?
y
Let s = 5005 + -5537. Is s less than or equal to -1?
True
Let f = -43 - -46. Suppose 3*b - 4*h - 1709 = 0, -2289 = -4*b - f*h - 2*h. Let s = b - 3977/7. Is 4 at least s?
True
Let s = 1108 - 1010.3. Does 1/2 = s?
False
Let p = 451.24 - 444. Let d = p - 6.24. Is d <= 18/11?
True
Suppose 595 = 12*x + 547. Let j(v) = v**3 - 10*v**2 + 2. Let p be j(9). Which is smaller: p or x?
p
Let q be 8704 + (-4*2 - (-14 + (0 - -7))). Which is smaller: 1 or q?
1
Suppose q - 4*u = -0*u - 3, 3*u = 4*q + 12. Suppose 2 = 126*t - 128*t. Let j be t/(-1*q/(-45)). Is 16 > j?
True
Let o(d) = -11 - 2*d + 13*d + 12*d**2 - 13*d**2. Let r be o(10). Is -4/7 at least r?
True
Let j = -0.02339 + 0.57839. Is 2/17 > j?
False
Let y be 441/5 - (-9)/(-45) - 0. Let f be (y - 6) + (-8)/(-2). Suppose -6*p + 4*p = 2*n + f, 3*p = -n - 133. Is -45 equal to p?
True
Let f = 1188 + -171071/144. Suppose -2*g = -2, 4*g = -2*l + 7*l - 1. Is f bigger than l?
False
Suppose 25*p - 32*p + 5*m - 172585 = 0, 0 = p - m + 24653. Which is bigger: p or -24661?
p
Suppose 2*l - 17*l = 225. Let j be (0 + 6)/((-18)/12). Let n = -10 + j. Which is smaller: n or l?
l
Let z = -504 + 507. Let r be (-656)/1376 - z/(-6). Let j(k) = k - 1. Let p be j(1). Is r >= p?
True
Let h(o) = o**3 + 16*o**2 - 4*o - 35. Let f be h(-15). Suppose -5*r + f = 3*t, 2*t - 2*r - 7 - 149 = 0. Let s = -83 + t. Is s >= 2?
False
Let x(c) = 2*c**2 + 9*c 