1/156?
True
Let d(j) = -1170*j + 24. Let l be d(8). Let i = l - -308122/33. Which is smaller: 1 or i?
1
Let y be (56/(-8))/(-7)*20*1. Suppose 0 = -4*w - g - 49, w + 4*g = 3*w + y. Which is smaller: w or -57/5?
w
Suppose 0 = 5*k + 5 - 40. Suppose -k*n - 286 = -90. Let x = n + 19. Which is bigger: -8 or x?
-8
Let q = -76/6637 - -3707626/365035. Which is greater: 9 or q?
q
Suppose -2*z - 4*w = -7*w + 8, 0 = 4*z - 2*w + 8. Which is smaller: -364 or z?
-364
Let i(u) be the first derivative of u**3 - 26*u**2 + 6*u + 30. Let p be i(17). Is -10 bigger than p?
True
Let p = -2510 + 2513. Suppose -v = -7*v. Which is smaller: p or v?
v
Let c = -91046/11 + 8240. Do -36 and c have the same value?
False
Let d be ((-3)/2)/((-9618)/450443). Let p = 41 + 29. Which is smaller: p or d?
p
Let f = 89 - 159. Let t = f - -65. Let o be (4/(-3))/(t/(-105)*7). Is o smaller than -5?
False
Let r = 46 - 38. Let s be -2*20/r*-1. Suppose 4*h - h = -f, 2*f = s*h + 33. Is f smaller than 0.1?
False
Let n be 110/(-16) + (2 - 3). Let r = -3320 + 3311. Are r and n equal?
False
Let s = -6151 + 5918. Are s and -234 equal?
False
Let h = 240 + -79. Let b be (16*1)/(5 - 819/h). Is -185 <= b?
True
Let f be (-3)/((4/4)/(3 - 4)). Suppose -4*c + 5*g = 6, -f*c = -3*g + 7 - 1. Is c less than or equal to -2?
True
Suppose -4*g + 26 = 7*l - 8*l, 5*l - 2*g + 130 = 0. Let n(r) = -r**2 - 54*r - 182. Let a be n(l). Are a and 546 non-equal?
False
Let z be (4/6)/((-6)/(-9)). Let k be (-1)/((-4)/(-100)*z). Let t(l) = -53*l - 289. Let h be t(-5). Which is smaller: k or h?
k
Let a(i) = i**2 + 13*i. Suppose -2*u + b + 25 = 0, 59 = 4*u - 3*b + 6. Let w = -2 - u. Let s be a(w). Is s equal to -2/39?
False
Let n = 190 - 389. Let s(c) = 337*c + 2834. Let w be s(-9). Is n > w?
False
Suppose -912*p = -933*p - 11 - 10. Which is smaller: p or 3/7727?
p
Suppose 122*w = -423*w + 25070. Suppose -3*o + 151 = 13. Is o smaller than w?
False
Let s be (-58)/100 - (-2)/4. Let g = -496 - -496. Suppose 5*y = -2*c - 3, g = -4*y + 7*c - 6*c + 8. Which is greater: y or s?
y
Suppose -6*f - 594 = 5*f. Let j be ((-41)/(-6) - 2) + 18/f. Let c = 30/7 - j. Is -1 equal to c?
False
Let d(v) = -5*v**3 + 4*v**2 - 2*v + 4. Let f be d(3). Let q = -55961 - -55861. Which is smaller: q or f?
f
Let v = 40 - 65. Let h = 16 + -42.6. Let s = v - h. Is -1/5 at most s?
True
Let t = 16085 + -28840404/1793. Which is smaller: -1 or t?
-1
Let p be (-6963807)/516 + 6/8. Is p bigger than -13495?
False
Suppose -30 = -13*v + 8*v. Let n be -3*(-2 - v/(-9)). Suppose 0 = -4*r + n*b + 13 - 169, -3*r - b - 129 = 0. Is r >= -41?
False
Suppose 0*p = -3*p - 111. Suppose 4*t = 3*t + 1. Let o be 1 + t - (-7 + 45). Is p > o?
False
Let w = -4364 + 7249. Is 2885 >= w?
True
Suppose -16*j + 12*j - c + 53 = 0, 0 = 4*j + 3*c - 47. Which is bigger: -1.82 or j?
j
Let m(l) = 12*l + 5. Let b = 12 + 3. Let v be m(b). Is 185 > v?
False
Suppose 0 = 3*p + 5*m - 128, 3*m - m + 64 = 2*p. Suppose 0 = -c + p - 584. Is c equal to -548?
True
Let a = 1.11 + 118.89. Let s = a - 119.887. Let v = s + -0.131. Which is smaller: -2/7 or v?
-2/7
Let d = -71 + 78. Suppose 200 = -d*f + 11*f. Suppose -i = -6*i - f. Are i and -9 nonequal?
True
Let p = -253823/2 + 129767. Do 2857 and p have the same value?
False
Let o = 0.43 + -80.43. Let v = 47 + o. Let t = -0.07 + 0.07. Is t < v?
False
Suppose -247 = 21*z + 215. Which is greater: z or -15?
-15
Let s = 606539/19 + -31923. Which is bigger: 592 or s?
592
Suppose 0 = -4*d + 4*c + 48, d + 3*d = -c + 28. Let a(k) = k**2 - 9*k + 8. Let z be a(d). Let i be 0 + z - 36/(-45). Which is bigger: i or 0?
i
Suppose 3*f - 7 + 3 = b, b + 1 = 2*f. Suppose f*u - 3 = -0*u - 3*k, 2*u = 5*k - 19. Which is smaller: -4/3 or u?
u
Let y = -115 - -376. Let p(q) = -9*q**3 + 4*q**2 + 8*q + 5. Let j be p(-3). Which is smaller: j or y?
j
Let k = 5809 + -5801. Let p be (278/4)/(1/(-2)). Let f be p + (-3 + k - 3). Which is bigger: -136 or f?
-136
Suppose -5*v = h - 2*h - 1361, 4023 = -3*h - 5*v. Let s be (h + -1)/(-1) - 3. Let p be (-150)/s + 2/14. Which is greater: 1 or p?
1
Suppose -9*p + 7*p = -4. Suppose 5*w + p*c - 1 - 13 = 0, -3*c - 4 = -5*w. Let g be (29/203)/((-1)/(-21)). Which is smaller: w or g?
w
Let x = -10239 + 40583/4. Let j = x + 5219/60. Let a = 157/25 + j. Which is bigger: 0 or a?
a
Let l = 572364 + -14820221054/25893. Is l bigger than 0?
False
Let v be (-7107)/23 + (-6 - -2) + 7. Which is bigger: 6 or v?
6
Let c = 65.966 - 66.066. Let d = -226 + 534. Which is bigger: d or c?
d
Suppose 0 = -2*p - 2*o - 30, 1385 = -5*p - 4*o + 1305. Suppose 3*a + 40 = a. Is a less than p?
False
Let z be (-840)/(-147) - (-2)/7. Suppose 5*r - 6*r + 2*k = -9, 3*k = -r - 11. Which is greater: r or z?
z
Let w(i) = i**2 + 10*i + 123. Let h be w(-14). Let f = 178 - h. Is -5/22 less than or equal to f?
False
Let b be (-252)/(-90) - 4/(-20) - (8 + -1). Does -25 = b?
False
Let w(h) be the second derivative of h**4/6 - 17*h**3/6 + 43*h**2/2 + 49*h. Let f be w(8). Is f greater than 36?
False
Let v = 23572 + -26010. Which is bigger: -2440 or v?
v
Let r = 181 + -213. Let g be (-8)/r + (-3)/6. Which is greater: g or 0.036?
0.036
Suppose -12*r + 60 = -6*r. Suppose -o - 2*p = -11, r*p - 19 = -3*o + 11*p. Let f be 3/(-9) - 94/(-12). Which is smaller: o or f?
o
Let v = 3661 + -3661.1. Which is smaller: v or -296?
-296
Let u be 2/19*(-2)/4. Let x(i) = -i - 5 - 6*i + 6*i. Let c be x(-6). Which is bigger: u or c?
c
Suppose 4*o = -3*v - 52, 2*o + 3*v - 5*v = -26. Let j be o/(-20)*-2 - 2/(-10). Let h = -3/5 - j. Do h and 0.3 have different values?
True
Suppose -u - 16 = 4*d, -3*u + 10 = 2*u + 2*d. Suppose -u*p = -3*p + 2*p. Suppose p = 2*n - 5*v - 27, v + 3 = n - 3. Is 13/6 <= n?
False
Let m = -69995/7 - -9976. Is m <= -22?
True
Suppose -5*t - 1188 - 1107 = 0. Let b = 882 + t. Which is smaller: 424 or b?
b
Let g = -438456/116117 + 314/83. Which is smaller: g or 0?
0
Let q = 240.2 - -65.2. Which is smaller: q or -1/5?
-1/5
Let d be -7 + 23 - 13960/873. Which is smaller: 1 or d?
d
Let b be (-24948)/(-15) + ((-96)/20)/4. Is b smaller than 1660?
False
Let j(r) = 327 + 10*r + 3*r**2 - 262 - 2*r**2. Let q be j(-15). Is 419/3 greater than q?
False
Suppose -201806 = 66*y - 57332. Do -2190 and y have the same value?
False
Let u = 2.17 - 3. Let r = u + -14.17. Which is greater: r or -0.1?
-0.1
Suppose 33*k + 5*s = 38*k + 30, -5*s + 6 = -2*k. Let d be (6 + 30/(-6))*(-182)/k. Which is smaller: d or 23?
d
Let j(m) = -2*m**2 - 5*m + 6. Let q be j(-6). Suppose 5*x = 4*x + 5*o + 12, -5*o = x - 2. Let b be (x + 275/10)/(-1). Does b = q?
False
Let d = 2277270448/29225 - 77922. Is d at least -1?
True
Let f be (-58)/(-17255)*17 - 202/2310. Which is greater: 71 or f?
71
Suppose -12654 = -3*f - 58*f + 24*f. Suppose k - 1372 = -3*k. Which is smaller: k or f?
f
Let a = -182 + 326. Let c = a - 145. Which is greater: c or -10/23?
-10/23
Let f = 600 - 593. Suppose 0 = o + 6*o - f. Let i be 3455/5675 + 6/(-10). Is o greater than or equal to i?
True
Let k = -364 - -370. Suppose 31*a = -k*a + 4440. Which is bigger: 483/4 or a?
483/4
Suppose y = -0*y + 10. Let m = 46 + y. Let u = 23 - m. Is u < -33?
False
Let j = -31/24 - 811/264. Let y = 29 + 113. Suppose 5*v = y - 162. Which is bigger: j or v?
v
Let v(r) = 187*r - 1. Let n be v(1). Let z be (-2 - (-14)/n) + 2. Let t = z - 1451/744. Does t = -1?
False
Let i be 4*1/(104/(-1118)). Let s(f) = f**2 - 5*f - 3. Let v be s(6). Are i and v nonequal?
True
Let v be 25195/15 + 10/(-15). Which is greater: 1677 or v?
v
Let n be ((-12)/(-14))/(-3) - 3333/(-77). Let j = -44 + n. Let l be (-220)/80 - (-4 - j). Which is bigger: l or -0.29?
l
Let p be (15 - 17)*(1/5 - (-819)/(-4270)). Suppose 2*s = 5*s. Which is smaller: s or p?
p
Let y be 73 - (6 - (4 - 3)). Let m = 69 - y. Is 1/70 bigger than m?
False
Suppose 10*d = 18*d + 40. Let q(n) = n**2 - 9*n - 4. Let k be q(9). Let y(w) = 2*w + 2. Let p be y(k). Which is greater: d or p?
d
Suppose -52 = 21*i - 23*i. Let s(x) = -x + 32. Let u be s(i). Which is bigger: 17/3 or u?
u
Let p be (-10)/8*((-14869782)/(-270360) + -55). Do 0 and p have different values?
True
Suppose 4*n + 2287 = -5*t, 2*t + 3*n = 412 - 1324. Let m be t/(-5) - 120/150. Which is smaller: 90 or m?
90
Let l = -0.6108 + 1.2698. Which is greater: l or -1?
l
Suppose -2*w + 8472 = 2*w. L