224/749. Let w = -3014/6741 + k. Are w and -1 non-equal?
True
Suppose -12*u - 393 = -405. Which is smaller: u or 12.45?
u
Let r = 1067/5 + -217. Let s(k) = 12*k**2 - 2*k - 1. Let p be s(-1). Let f(m) = m**2 - 13*m - 4. Let c be f(p). Are c and r non-equal?
True
Let c = -13435 - -13319. Which is smaller: -46 or c?
c
Let n be (3/2 + -1)*-558. Let g = 474 + n. Let j = g + -1387/7. Is j less than -4?
False
Let l = -26.74 - -26.64. Let t(k) = -k**2 - 3*k - 2. Let f be t(3). Which is greater: l or f?
l
Let h be (-47663)/(-57354) + 6/12. Let g = 2/869 + h. Which is greater: 3/2 or g?
3/2
Let l = -0.57 - -0.658. Let p = l + 36.912. Let f = -37.1 + p. Which is bigger: f or -5?
f
Let z be 1/2*(-4)/(-6). Let y = 48850 - 48844. Does y = z?
False
Let y be -2 + -1 + 13 + 8 + -12. Suppose -1185 = -y*c - 39. Is 191 at least as big as c?
True
Suppose -41 = 4*s - 5*v, s - 16 = -9*v + 5*v. Are s and -41/10 unequal?
True
Let t(b) = 2*b**3 - 57*b**2 + 30*b - 46. Let v be t(28). Let r = -314.9 + 315. Does r = v?
False
Let b be ((-103)/8755)/(12*4/(-50)). Which is smaller: 0 or b?
0
Let b be (-6)/(-8)*(-30)/(-405). Let m(o) = o**2 - 4*o - 6. Let x be m(6). Suppose 0 = -3*f - 15, f + x = -4*w + 3*w. Which is greater: w or b?
b
Let b be (-648)/(-9) + 1 + 0. Suppose -17 = 5*v + b. Let c = -333 - -316. Which is smaller: v or c?
v
Let p(v) = v - 8. Let j be p(8). Suppose a - 5 + 6 = j. Suppose -t = -2*o - 6*t - 14, 5*t = o - 8. Is a at least o?
True
Suppose 8 + 17 = 2*v + 5*z, 5*v + 4*z - 37 = 0. Let q be (-6)/v + (-99)/(-45). Is q >= -2/137?
True
Let r be (4/(-3))/((-6632)/600 - -11). Let o be (-356)/(-6) + 6/9. Suppose -3*x + 3*y = -o, 51 = 4*x + 4*y - 69. Is r smaller than x?
False
Suppose -19*m + 19 = -38. Suppose m*t + x + 127 = 0, 0 = x + 1 - 6. Are t and -44 nonequal?
False
Let a = -54679/152 - -2797/8. Is -9 > a?
True
Let f(b) = 2*b**2 + 54*b + 253. Let y be f(-6). Which is greater: y or 52/525?
y
Let t be -11 - (25/(-125) - 4578/(-15)). Is t <= -1269/4?
False
Suppose -5*c + 5*g + 157 = -8, 5*c + 4*g - 183 = 0. Suppose 27*d - 22*d - c = 0. Suppose d*p - 45 = -199. Which is bigger: p or -20?
-20
Let s = 2 + -2.6. Let r be ((-126)/(-189))/(-2*(-3)/(-45)). Is s smaller than r?
False
Let r = 26.041 + -26. Let j = 26.741 - r. Let z = j - 27. Is -5 bigger than z?
False
Let l = 4.86 + -9.47. Let b = l - -4.857. Are b and 1/4 nonequal?
True
Let b be (-3)/(-75)*(24885/3460 + -1). Let q = -2/865 - b. Let g = 1 + -2. Is q at most as big as g?
False
Let f = -1/2760 + -1944143/2760. Let i be -101*14*(-2)/4. Let k = i + f. Are k and 2 equal?
False
Let h(y) = -80*y + 1973. Let m be h(27). Which is smaller: m or -172?
m
Let h = -8358 + 8357.7. Which is smaller: h or 25/34?
h
Let g = -0.269 + 229.269. Let i = g - 158. Let p = 71 - i. Which is smaller: p or 41?
p
Let m = -0.02441 + -477.97559. Which is bigger: -2/3 or m?
-2/3
Suppose -16 = 3*l + 11. Suppose -12*x - 57 + 21 = 0. Are l and x non-equal?
True
Suppose 2520 = -3*l - k, l + 2*l + 2520 = 3*k. Let v be (4/190)/((-8)/l). Let s = -416/171 + v. Which is smaller: -1 or s?
-1
Let d be ((-3)/(-2))/((-21)/(-124)). Let u = -27256 + 27264. Are d and u non-equal?
True
Let q(a) = -3*a - 20. Let g be q(-5). Let l(x) = -x - 2. Let j(z) = z + 3. Let i(v) = g*l(v) - 4*j(v). Let u be i(2). Are u and -2/197 non-equal?
True
Suppose 0 = -87*m + 90*m. Let y = -10 - -7. Let j = 2 + y. Which is smaller: m or j?
j
Let j(t) = 7*t**2 + t + 8. Let o be j(-4). Let c = -95 + o. Which is bigger: 18 or c?
c
Let f = 1.1 - 0.1. Let r = 26715 + -26704. Do f and r have the same value?
False
Let b = 120/13 + -2734/299. Let q(d) = -5*d + 1. Let j(t) = -4*t + 2. Let c(v) = 6*j(v) - 5*q(v). Let m be c(-8). Which is bigger: m or b?
b
Let m be -44133*(4*(-6)/72*20 - -7). Which is bigger: m or -14710?
-14710
Let b(x) = -x**3 - 41*x**2 - 88*x - 358. Let j be b(-37). Which is smaller: j or -2579?
-2579
Let l(c) = c**3 + 4*c**2 - 5*c + 12. Let j be l(-5). Suppose 14*u = 11*u + j. Which is bigger: 0.12 or u?
u
Suppose -61*r + 4*f + 8047 = -62*r, -4*r - 32092 = 4*f. Which is smaller: 0 or r?
r
Let n = 2420 - 2425.1. Is 0.6 smaller than n?
False
Let z be (-2 - -12) + (2 - 1)*-2. Is z less than -21?
False
Let l = 0.04156 - 0.74156. Which is greater: l or 108?
108
Let t = 88451/1942341 - 52/1227. Which is bigger: t or -1?
t
Let o be (-390)/12*(-12)/5. Let r = o + -394/5. Which is greater: r or -1?
r
Let p(c) = -c**2 - 11*c - 5. Let s be p(-7). Suppose 4*o - 50 = 2*z, 4*z - 2 + 25 = o. Suppose -95 - 169 = -o*j. Which is smaller: s or j?
s
Let k be (-3)/(-4) - 49105/(-244). Let r = 54 + k. Is 255 >= r?
False
Let z = 63 + -59. Let c be 5*(-73)/(-10) - z. Which is smaller: c or 33?
c
Let z = 98335 + -98336. Let c = -578471/1892 - -1223/4. Let o = -992/10879 + c. Which is smaller: o or z?
z
Let m(j) be the first derivative of -j**2/2 + 4*j + 3. Let h be m(3). Let i be 6/(-99)*3 - 400/(-5104). Which is smaller: i or h?
i
Suppose -4*m + 3*k = -1614 + 4439, -4*k + 690 = -m. Does -709 = m?
False
Suppose -6*n + 2*n = 364. Suppose 2 = 2*f, 1425*f = -2*u + 1420*f - 175. Which is bigger: u or n?
u
Suppose -3*q = -g - 0*q - 25, 4*g + 109 = 3*q. Let s be ((5/(-15))/(g/(-6)))/(-19). Which is greater: s or 1?
1
Let w = -1997 + 2202. Which is bigger: w or 2049/10?
w
Let y be (-12528)/20 + (-4 - -10) - (-2)/(-10). Is -622 at most as big as y?
True
Let w = -37 + 74. Let j = 39 - w. Suppose -6*v = -9*v - 60. Which is smaller: j or v?
v
Let m = 25.17 - 0.17. Let v = 5.06 + -41.06. Let t = m + v. Is t at most as big as 1/3?
True
Let i = -2.01 + 0.01. Let o be ((-1430)/(-195))/((-4)/(-6)). Let t(z) = -2*z**2 + 19*z + 37. Let j be t(o). Which is smaller: i or j?
i
Let z(i) = -i**3 - 5*i**2 + 25*i + 100. Let f be z(-3). Do f and 6 have the same value?
False
Suppose 0 = -2*s - 2*f + 458, -14*f + 16*f - 16 = 0. Is s less than 1319/6?
False
Let f = -704 - -423. Let s = f + 2533/9. Are 1 and s non-equal?
True
Let q(m) = 2*m**2 - 107*m + 796. Let l be q(48). Which is smaller: 1881/7 or l?
l
Suppose -2*a = -3*a - 5*q + 68, 0 = -2*q - 8. Let f be (-40)/3*(-198)/a. Suppose 23*z = f*z + 28. Which is bigger: z or 2?
2
Let t = -4462.6 - -4463. Which is greater: -407 or t?
t
Suppose -9080 + 2717 = -21*x. Let u = 302 - x. Which is smaller: 5/18 or u?
u
Suppose -184 = -4*l - w - 3*w, 62 = l + 5*w. Let f(h) = -3*h - 6. Let k be f(-3). Suppose 3*c - d - 84 = c, -131 = -k*c + 4*d. Is c at least l?
False
Let z be (182/14469)/((-4)/(-12)). Which is greater: 100/3 or z?
100/3
Let v(p) = p**3 - 3*p**2 - 32*p + 67. Let d be v(2). Do 2/10521 and d have different values?
True
Let i = -694 - -657.9. Let v = -35.26 - i. Is v less than 1?
True
Let s = -3.21 - -0.01. Let r = 33492.97 + -33493. Which is smaller: s or r?
s
Let t be (152/3 - 4)*(-504)/35. Let x = 672 + t. Which is greater: 196 or x?
196
Suppose 0*m + 4*m = 5*k + 1, m + 11 = 5*k. Suppose 2*b - b = m*w + 60, 3*w + 188 = 4*b. Suppose -n - 2*d = -0*d + 4, 3*n - 2*d = -b. Which is greater: 1 or n?
1
Let k be 0/((18/(-21))/(2/14)) - 0. Is -159 equal to k?
False
Suppose -42*c = -4969 - 827. Which is greater: c or 142?
142
Let f = 0.494 + 0.506. Let v be (-9)/6 + (-19730)/(-13180). Is f greater than or equal to v?
True
Let s = 26514 + -26513. Let t be 4/(-14)*2/(-50). Is s less than t?
False
Suppose 177*n - 18*n + 9540 = 0. Which is smaller: -87 or n?
-87
Let j = -5 + 3. Let l = -305069/142359 - -2/20337. Is l < j?
True
Let o = 0.8 - -0.2. Let m = 1769800/239 - 7405. Let g = 1703/1434 - m. Is o at most as big as g?
True
Let r = -11.614 - -11.55. Let s = 8.986 - 9. Let d = s - r. Does d = -1/3?
False
Let z = -12 + 44. Let j = -948.9 + 831. Let r = j + 118. Which is smaller: r or z?
r
Suppose 0 = 2*f - f + 4*f. Suppose 540 = 5*c - 2*s + 52, 2*c + 4*s - 176 = f. Is 96 <= c?
True
Let n(d) = 2*d**2 + 129*d + 64. Let c be n(-64). Are c and 9/107 nonequal?
True
Let c = 183 - 96. Suppose 85*y = c*y + 852. Let j be 4 + 1/2 + y/84. Which is bigger: j or 0?
0
Let q = -6960184985/25299 + 275117. Which is smaller: -1 or q?
-1
Let o = -236 + 252. Suppose -50 = -5*m - 5*u, -4*m + 0*m - u = -55. Let b = o - m. Which is greater: 6/7 or b?
b
Let p be 0 - 2 - 8*1. Let v be (10 - 26)*2158/3320. Is p < v?
False
Let v = 4426 + -3687. Which is smaller: -4 or v?
-4
Let u = -9607 - -9118