ger: l or s?
l
Let o = 3 - 3. Suppose -38*t + 23054 = -905*t + 198188. Is o equal to t?
False
Suppose 99*a + 19 = 98*a + 3*g, 3*a = -2*g - 46. Is -117/7 less than or equal to a?
True
Suppose 42 - 8 + 425 = 27*f. Let t = 0 - -21. Is t greater than f?
True
Let h(g) = -g**3 - g**2 - 3*g - 2. Let w(v) = v**2 - 5*v - 2. Let c be w(5). Let x be h(c). Let b = -6/1699 - -28895/3398. Is b <= x?
False
Let z = 26130 - 26131. Is 24/1433 < z?
False
Let n be (-5)/(-2)*(-652)/1630. Are -29/139 and n equal?
False
Let y be 5/(-2) - (-45661)/(-2156). Which is bigger: y or -23?
-23
Let d be (-32000)/(-23925) - ((-56)/6)/(-7). Which is smaller: d or 0?
0
Suppose -6*k = -4*k + i - 59, -5*i - 125 = -5*k. Suppose -k*h = -31*h - 264. Let f = -39 - h. Is f >= 49?
True
Let n(g) = -668*g + 3267. Let x be n(5). Does -85 = x?
False
Let l(b) = -b**2 + b + 90. Let a be l(-8). Suppose -8 = -2*i, 6*v + a = 4*v + 4*i. Is v < -16/37?
True
Let q(s) = 2*s**2 - 41*s - 48. Let u be q(22). Suppose -u*g - 192 = -2*g. Let h = 1104 - 5587/5. Which is smaller: g or h?
h
Let v be ((-1 + 1)*(-2)/(-2))/3. Let z = -37 - -55. Let j = 17 - z. Is j greater than or equal to v?
False
Let z = -14602 - -14603. Which is greater: z or 244/105?
244/105
Let l be 4/22 - (-350)/11. Let h = l + -27. Suppose 4*j - 13 = -t - 2*t, 0 = -2*t + h*j - 22. Is t greater than 4/13?
False
Let b = -0.02 - -0.01. Let v = -23.3788 - -0.3788. Which is smaller: v or b?
v
Let g = -32534 - -3838949/118. Is -2 >= g?
False
Suppose -5*h + 35 = 4*f - 5*f, 55 = 5*h - 5*f. Suppose 0 = -11*i + h*i + 55. Suppose i*w = 2*w - 243. Which is bigger: w or -25?
-25
Let q be 3/((-39)/49) + 1. Suppose r + 14 = -35*v + 30*v, 3*v + 3*r + 18 = 0. Which is bigger: q or v?
v
Let d = 7.5 - 7.504. Let q = -0.104 - d. Are q and 10/17 nonequal?
True
Let a = -70.7 + 71. Let q = -86.2 + 75.2. Which is greater: q or a?
a
Suppose 0 = 5*g + 80*g - 292893 + 1337118. Is g <= -12286?
False
Suppose 20*j = -4*m + 24*j + 12, m + 5*j - 27 = 0. Which is greater: 800 or m?
800
Let o = 23960/221 + -2663/17. Let y = -48 - o. Let a = y + 7/26. Is a > 9?
False
Suppose -63 + 2317 = -6*g - 8*g. Is g greater than or equal to -173?
True
Let u(l) = 907*l + 303. Let t be u(1). Is t less than 1209?
False
Let v(h) = 155*h - 9200. Let x be v(58). Are -1894/9 and x non-equal?
True
Let j be (-3)/(-2) - (-6 - (-567)/78). Let y be (-2)/(-10) + 84/30. Suppose 4*a = -2*u, 0 = y*a + 3*u + u. Which is smaller: a or j?
a
Let z(y) = 6*y + 65. Suppose 2*d + 5*x = 3*d - 14, 0 = -2*x - 10. Let a be z(d). Is 3/133 greater than or equal to a?
True
Let x be 260740/(-70) - (-8)/(-7) - (1 + -4). Is -3723 < x?
False
Let y(b) = -b**2 - 21*b + 38. Let j be y(-19). Suppose 0 = -2*d - j + 192. Is d < 58?
False
Let r = 3400 + -3389. Is 0.046 > r?
False
Let l(q) be the first derivative of q**3/3 - 7*q**2/2 - 26*q - 12. Let s be l(10). Suppose -3*w = 4*u - 12, 2*u + s = u + w. Is 3 not equal to u?
True
Let o = 390 - 386. Suppose -2*g + o*j + 4 = -5*g, 0 = 4*g + 2*j + 22. Are -20/3 and g unequal?
True
Let k(d) = d**3 + 9*d**2 - 5*d - 5. Let s be k(-9). Suppose -155*w + 157*w = -s. Is -144/7 != w?
True
Let t(x) = -18*x - 33. Let l(u) = -9*u - 17. Let k(a) = 7*l(a) - 4*t(a). Let h be k(-10). Let p = 79 + h. Which is smaller: 6/7 or p?
6/7
Suppose 17 = 5*h + 122. Let q be 2/((-14)/(-4) + -3). Suppose 0 = r + r - q. Is r at least as big as h?
True
Let k = 0.205 + 4.395. Let c = -82 + 54. Let x = -28 - c. Is x < k?
True
Let n(w) = 20*w + 26 + 40*w - 7*w. Let s be n(3). Is 185 bigger than s?
False
Let a = -17512.4 - -17512. Is a < -23.83?
False
Let w = -0.595 - 0.405. Is w at least as big as 1054?
False
Suppose -15420 = 6*g - 26*g. Let k = -580 + g. Is k less than or equal to 191?
True
Let v = -361/1812 + 38157353/191508468. Is 0 < v?
True
Let h = -1403 + 1416. Which is bigger: 59 or h?
59
Let w(x) = -x - 10. Let z be w(-6). Let o be (-79)/15 - 125/(-375). Which is bigger: o or z?
z
Let a(w) = -4*w**3 - 5*w**2 + 6*w - 2. Let o(z) = -5*z**3 - 3*z**2 + 5*z - 2. Let l(m) = 7*a(m) - 6*o(m). Let d be l(7). Is d greater than or equal to -64?
False
Let x be 1*(4 + 18/(-4)). Let r be -9*(-5)/(-20) + (-14 - -12)/(-8). Which is smaller: r or x?
r
Let k = 27 + -24. Suppose -k*f - 1760 = 2*f. Let s = 3868/11 + f. Which is smaller: s or -1?
-1
Let i = -3 + 27. Let d be -5*(-8)/(-220) - i/(-11). Suppose -3*z + 1 + d = r, 3*z - 27 = r. Is r > -14?
True
Suppose -25707 = -743*d + 784*d. Is -622 < d?
False
Let r(d) = -7*d**2 + d. Let g be r(2). Let h = 284 + -286. Let x be -15*h/(18/(-15)). Which is smaller: x or g?
g
Suppose 0*j - 2*o - 14834 = -4*j, 14831 = 4*j - o. Which is bigger: j or 3706?
j
Let q = -211 - -212. Which is greater: -13/584 or q?
q
Let y = 1096 - 1094. Which is smaller: -0.1497 or y?
-0.1497
Suppose 13307 - 13377 = -10*d. Suppose -5*v + 12 + 38 = 0. Is d at most v?
True
Let g be (-23)/(184/(-1626))*(-8)/(-6). Suppose -104 = i - 5*j, -4*i = -3*j + 145 + g. Are -100 and i nonequal?
True
Let m = -17 + 2. Suppose -38*k + 63 = 25*k. Are m and k nonequal?
True
Let i be 58/310 - (-23 - -290*6/75). Let s be (-1 + (-1)/(-2))*0. Is i at least s?
False
Let r = -4.8 - -5. Let j = 2/8185 - 442012/90035. Which is smaller: r or j?
j
Let i(o) = -3*o + 17. Let g(q) = -22 + 46 - 23. Let s(f) = 3*g(f) - i(f). Let w be s(18). Which is smaller: 1 or w?
1
Let j = 19.1938 + -0.2038. Let m = 19 - j. Let u = -0.51 + m. Is u less than or equal to 2/9?
True
Suppose 2*k = 3*u + 2*u - 11, 2*u - 17 = -k. Suppose 7*o + k = -7. Let j be o/4*-1*(2 - -44). Are j and 26 non-equal?
True
Suppose -2*l - 3*y - 36 = l, 5*y + 10 = 0. Let o be (l - -6)*(-1)/66. Let x = o - 89/2013. Is x greater than or equal to 1?
False
Suppose -5*r - 11 = 5*b - 3*b, 0 = 4*b - 3*r + 9. Is -155/48 equal to b?
False
Let b be (-66506)/(-77) - 6/(-21). Which is smaller: 866 or b?
b
Let c = 0.06191 - 0.86191. Which is smaller: 105 or c?
c
Let z(f) = -3*f**3 + 2*f + 1. Let j be z(-1). Suppose d - j = -8. Let h(a) = 2*a + 13. Let t be h(d). Is 0 bigger than t?
False
Let i be ((-8)/20)/(2/(-10)). Suppose -4*m - 3*l + 8 = -4, 0 = i*l + 8. Suppose m*n + 361 = 115. Does n = -41?
True
Let v be 8 - 8 - (3 - -5). Let r be (21/(-42))/((-15)/v). Let k = 1 + 0. Is k smaller than r?
False
Let a = -115 + 252. Suppose -30 = a*y - 142*y. Suppose 5*k - 6 = -2*z, -2*k = 2*k - 2*z + y. Is 4/3 equal to k?
False
Let u be 3/(13*(-45)/(-1310)). Which is smaller: u or 7?
u
Suppose -27639 = 4*f - 3*w, -4*f + w - 27667 = 2*w. Are -6915 and f unequal?
False
Let o be (110/(-28) + 4)*320/8. Which is bigger: 1/115 or o?
o
Let p be (-8680)/(-120)*1170/91. Is 935 equal to p?
False
Suppose v = z, 0*z + 3*z - 2*v - 7 = 0. Let r = -0.03 + -0.27. Which is smaller: z or r?
r
Suppose -r + 21 = -4*g, 0 = -4*r + g + 4*g + 40. Suppose -3*w = r*b - 7*w + 12, -b + w - 3 = 0. Let q = -4/89 - -425/7476. Is q at least as big as b?
True
Let q = -59.8 + 53. Let l = 0.2 - q. Let d = 26793/2 + -13397. Does d = l?
False
Let t = 15388 - 15671. Is t less than -316?
False
Let y = -78191/65 - -6007/5. Let c be 0 + 1 + 1 - 1. Let s = 0 - c. Is y <= s?
True
Let r = 75.41 + -75.51. Let y = 0.269 - -0.003. Which is greater: r or y?
y
Let w = 19446 + -116677/6. Is -90 > w?
False
Let g = -1115.009 + 1116. Let u = g - -0.309. Which is greater: u or -5?
u
Suppose -g - 169 = 5*o, -2*o + 4*o + 5*g + 86 = 0. Let i = 1243 - 1237. Let z be -4*(i + (-6 - 51/(-6))). Is z not equal to o?
True
Let n(i) be the second derivative of 5*i**4/12 + 15*i**3/2 + 39*i**2/2 - 3*i - 17. Let m be n(-8). Is -10/37 < m?
False
Let t = -8317 - -8457. Which is smaller: 162 or t?
t
Let o = 141 + 299. Let u = o - 439. Let g be (-1)/4 + 4/10. Are g and u equal?
False
Let c = 448 - 439. Suppose -162 = c*x + 540. Which is smaller: -75 or x?
x
Suppose -25362*q - 52577 = -25391*q. Which is smaller: q or 1.1?
1.1
Let m be -1*(4 - 0) - (482 - 508). Is 402/19 greater than m?
False
Let y = 5.4 + 259.6. Let m = -511 + y. Which is smaller: -1 or m?
m
Let d(c) = 21*c + 3. Let r(j) = 6*j**2 - 4*j - 10. Let z be r(-5). Let p be (4/6)/(z/(-24) + 7). Let n be d(p). Is 43 greater than n?
False
Let f = 902 + -1399. Is -5 less than f?
False
Suppose 21*u - u = 12660. Suppose -4*o + 0*o + u = 3*a, 4*o + 211 = a. Which is greater: a or 210?
a
Let c be (357/(-135) - 3)*1*(-