o i?
True
Suppose -g - 3*g = 2*p, -3*p = -g. Suppose 24*l - 11*l = 52. Let s be (1 - (-5)/(-3))*l/12. Which is smaller: s or g?
s
Suppose 0 = 24*d - 17*d. Suppose 15 = 5*v - 0*v - 5*g, d = 5*g + 10. Let y = -3 + 2. Is v < y?
False
Let w = 94072.102 - 94072. Let z = 3 + -2. Which is greater: z or w?
z
Let c = 45 - -81. Let g be (c/(-4))/((-231)/140). Which is bigger: g or 19?
g
Let w = -272 - 276. Let n = w + 549.42. Which is smaller: 3/5 or n?
3/5
Let q = -1288567 - -47665543/37. Let h = -309 - q. Let w = h - 101/333. Which is greater: 1 or w?
1
Let f = 27774 + -27789. Which is smaller: -3/149 or f?
f
Let g be (((-2587)/(-286) - 10) + 1)*(-6 - 0). Which is smaller: -32.8 or g?
-32.8
Suppose 4*h = -3*y + 5399, 6*h + 208 + 6934 = 4*y. Which is smaller: 1792 or y?
1792
Let p be 1 - -5 - (43 + -47). Suppose p*r = 5*r + 25. Is r less than or equal to 23/4?
True
Let m be 3/1 + 0 + 193140/(-48140). Which is greater: m or -0.1?
-0.1
Let h = -1314 - -1499. Which is bigger: h or -1/5?
h
Let y = 64 + -292. Let s = -118054/7 - -1746863/105. Let a = s - y. Do -1 and a have different values?
True
Let h = -46 - -89.4. Let c = h - 0.4. Let o = c - 64. Are o and -1 equal?
False
Let w = 399 - 2770/7. Let t = -32 + 36. Is t greater than w?
True
Let k = 1149297689/51760 - -411/10352. Let m = k + -22412. Let x = 209 + m. Is x < 0?
False
Let u = 104521/765 + 4522/45. Let q = -237 + u. Is q equal to 3?
False
Let s = 2.37 + 2.43. Let g = s + -5.6. Let i = -0.98 + -0.02. Are g and i equal?
False
Let x be (0 - -2) + 880/(-495) - (-584)/(-1818). Is 1 less than or equal to x?
False
Let m = 12 - 2. Let t be ((-121)/(-22) - 0)/(7 + (-29)/4). Which is smaller: t or m?
t
Let t(r) = -r + 8. Let d be t(-6). Let v be (-2)/d*1684 + 0. Let y = 241 + v. Is y at most -1?
False
Let x = -941 + 803. Which is smaller: x or -2?
x
Suppose 11*t = -26*t - 12*t. Let u(r) = r**2 + 7*r + 6. Let h be u(-6). Suppose t = -h*s + 2*s + 20. Which is greater: s or -11?
s
Let h be (24/(-120))/(335/250). Is h < -4?
False
Let r(f) = -74*f - 65. Let o be r(-8). Let i = o + -22662/43. Is 5 > i?
True
Let w(a) = a - 1. Let i be w(2). Let p be ((-16)/48)/(i/(-3)). Let q be ((-3)/20)/(-1)*6*2. Which is smaller: p or q?
p
Suppose 0 = -3*l - k - 7, 6 = 4*k + 10. Let u be (13/26)/(l/(-20)). Do -1 and u have the same value?
False
Let o(g) = -5*g - 46. Let i be o(-7). Let k(a) = -2*a**3 - 23*a**2 - 11*a - 1. Let u be k(i). Let r be (-2)/2*(-5 - -4 - u). Is r smaller than -2/17?
False
Let b(h) = 14*h**2 - 516*h - 75. Let n be b(37). Let l be ((-2)/24)/((-90)/(-16)). Which is smaller: n or l?
n
Suppose -7*l + 4*l - 792 = 0. Suppose 3*j - 4*z = -772, 3*z = -4*j + z - 1066. Is j greater than l?
False
Let y be (3*(-1)/(-18))/(26/(-52)). Is -409/3 at most as big as y?
True
Let k(u) = u**3 + 4*u**2 - 8*u - 13. Let v be k(-5). Suppose 0 = -v*d - 7*d - 4158. Let s be (3 - (-1317)/d) + 4/(-14). Is 1 less than s?
False
Let p = 1714212/73 - 23482. Which is greater: p or -1?
p
Suppose 1 = -0*o + o. Let i = -38538 - -38572. Are o and i nonequal?
True
Let d be 2*1*(7/(-1) + 8). Suppose -d*v - 110 = -4*a, -6*v - 138 = -3*v + 3*a. Is -52 at least as big as v?
False
Let r be 132/(-54) + (96/(-216))/(2/(-2)). Suppose -g - 55 = 4*g. Let y = g - 1. Is r != y?
True
Let k(l) = 366*l + 2199. Let y be k(-6). Which is smaller: 50/13 or y?
y
Let z = 700.12 + -688. Let v = -13 + z. Let q = 0.12 - v. Which is greater: -8 or q?
q
Suppose 4*s - 2 = -h, 1 + 6 = 3*s - 2*h. Let o = -146618 + 4838432/33. Is s < o?
True
Let h = -25 + 43. Let x = 9 - h. Let u(p) = -p**3 - 26*p**2 - 2*p - 62. Let o be u(-26). Is x less than o?
False
Let t be 20/(-11) + 2 + 2/(-11). Let g be t/6 - (-56 - 2). Let a = g - 31. Is 27 not equal to a?
False
Suppose 0 = -27*z + 1332 + 3015. Let g = z - 162. Which is smaller: -13/7 or g?
-13/7
Let v be -18 - 0 - (-10 - 6). Let s = -58 + 57.946. Are v and s nonequal?
True
Let d(x) = x**3 - 14*x**2 - 13*x + 4. Let g be d(13). Let n be (-3)/g*(-52)/(-39). Which is smaller: n or 0?
0
Let t = 6355.3 - 6391. Let j = -8.775 + 0.075. Let p = t - j. Is p equal to 0?
False
Let f = 76 - 74. Suppose 8 - 38 = 6*q. Let y be (-60)/24*4/q. Are f and y nonequal?
False
Suppose 0 = 4*z + 2*s + 80 + 150, -127 = 2*z - 3*s. Suppose -2*j - 72 - 48 = 0. Are z and j unequal?
True
Let j = 343 - 9263/27. Suppose 3*f = -2*f + 20. Let p be -2 - 3/(f/(-4)). Which is smaller: j or p?
j
Suppose 16*d - 3667 - 717 = 0. Let x = -138 + d. Do x and 138 have different values?
True
Let n = 13 - -33. Suppose 3*u = z - 276, z - 3*z + 554 = -5*u. Suppose -37*y = -43*y + z. Is y less than n?
False
Let w = -276 + 291. Let h(p) = 7*p - 105. Let l be h(w). Which is smaller: 4/123 or l?
l
Suppose 0 = -13*w - 12*w. Suppose -i - 5*g + 57 = w, -22 = i - 2*i + 2*g. Is -11 at most as big as i?
True
Let o(d) = 5*d + 27. Let w be o(-9). Let q be (-13)/(546/(-24)) - w/(-56). Is -32 > q?
False
Let t = 54 + -47. Suppose t*c + 22 = 18*c. Let i be 39/90 + (-2)/5. Which is smaller: i or c?
i
Let m = 549/11 - 15864/341. Let c = m - -1862/155. Is c greater than 16?
False
Let g = 0 - 0. Let b(u) = u**3 - 2*u**2 - 8*u - 1. Let y(s) = -s**3 + s**2 + 3*s + 1. Let m(p) = -b(p) - 2*y(p). Let t be m(g). Which is bigger: t or 2/71?
2/71
Let f be ((-8)/14)/((-148)/518). Suppose -f*c + 32 = -2*y, -y + 3*c - 43 = -31. Which is smaller: -147/8 or y?
-147/8
Let x = -291 - -166. Let h = 115 + x. Is h at least -94/9?
True
Suppose -24 = 152*q - 176*q. Which is smaller: -3/482 or q?
-3/482
Suppose 2*t = -s - 103 + 16, 0 = 5*t + 4*s + 216. Let d be 37/((15 - 15) + -1). Is t != d?
True
Suppose -3*s + 1536 = 5*s. Suppose -32*v = -29*v - s. Which is smaller: v or 2/5?
2/5
Let a(b) = -45*b + 340. Let c be a(8). Which is greater: -16 or c?
-16
Let j = -173 + 148. Let f be (60/j)/3*210/6. Which is bigger: f or -25?
-25
Let x(z) = 197*z - 937. Let o be x(6). Is 247 <= o?
False
Suppose z + 31 = 5*u, -2*u + 5*z - 14 = -8. Are u and 12 unequal?
True
Suppose 10 = 2*x - 0, -97 = -4*j + 3*x. Suppose 3*n - j + 16 = 0. Suppose n*y - 2*c = c + 28, 4*c = 4*y - 24. Is y at least 8?
True
Let o = 307.9683 - -0.0317. Let j = o + -307.9. Is 186 at least j?
True
Suppose -86*m - 183 - 169 = -64*m. Is m greater than or equal to -95/6?
False
Let g(s) = -s**2 - s + 5. Suppose -2*c + 10 = 0, 0 = 4*m - c + 21 - 112. Suppose -28*f - m = -22*f. Let a be g(f). Which is smaller: -11 or a?
-11
Let m(a) = a**3 + 5*a**2 + 7*a + 3. Let b be (0/4 - -3)*(-2)/6. Let w be m(b). Which is greater: w or 1/218?
1/218
Let i = -23624 + 23623.956. Is 8.2 less than i?
False
Let j be 0/(-1 - 0/4). Suppose j = r - 4*y + 4, -14 = -2*r - 3*y - 0. Suppose -10*b = -r*b - 288. Is 48 <= b?
True
Suppose -90 - 120 = -10*a. Let g = 17/4 + -9/2. Which is greater: a or g?
a
Let v(q) = -3*q**2 - 19*q - 3. Let g be v(-16). Let d = -439 - g. Suppose 81 = 3*a - 0. Which is greater: a or d?
d
Let c = 9197 - 4105. Suppose 9*l + c - 1330 = 0. Which is greater: l or -417?
-417
Let w = -1.826 + -65.444. Is 2 > w?
True
Let s(q) = 2*q**3 - 3*q**2 - 2*q. Let r be s(3). Let y = -23 + r. Let t be (-325)/(-700) + y/8 + 0. Is t at least as big as -1?
True
Suppose -4*b - 8 = -0*k + 2*k, -4*k = 2*b + 16. Let y be (3/264*2)/((-798)/(-504)). Is b at least y?
False
Let g = -450 - -453. Let s be (-55)/2*g/180*-4. Is s >= 3?
False
Let g be -3*(1/3 - 2). Suppose -27 = k + g*y, -k = -3*y + 64 - 21. Which is bigger: k or -36?
-36
Suppose -29*g = -0*g - 20851. Let m = 445 - g. Which is smaller: -275 or m?
-275
Let k be -20 + 956/48 + 21502/(-24). Is k at most -896?
True
Suppose -2*b = -m - 15, -5*b = 370*m - 368*m + 21. Let z = -14620/470369 - -21/647. Is z greater than or equal to b?
False
Let h(s) be the first derivative of s**3/3 + s**2/2 - 7*s + 15. Let a be h(-8). Let d = -49 + a. Is -0.09 <= d?
True
Let z = 512 + -515.9. Let x = -4.05 + 0.05. Let o = x - z. Which is smaller: o or -1/3?
-1/3
Suppose 4*q = 38 + 34. Suppose q*b = 16*b + 34. Let m be 1 - (-16 + (-1 - -1)). Is m smaller than b?
False
Let y = -3 + 1. Let t be y + 4 + -6 + 31. Suppose 0 = -d + t - 23. Do 4 and d have the same value?
True
Let y be (-4925)/(-1100) + 45/(-12). Is -71 <= y?
True
Let q be (-3)/(-3)*(0 - (5 + 1)). Let l be (15/(-30))/(q/52). Let c be 20/6 + (-4)/(-6) + -1. Which is smaller: c or l?
c
Let v be 