is greater: d or 1?
1
Let k(x) = 11*x**2 + 5*x - 13. Let g(l) = 12*l**2 + 6*l - 14. Let s(i) = 5*g(i) - 6*k(i). Let j be s(-3). Which is smaller: -43 or j?
j
Let b be (-1 - (76 - -1)) + 3. Let j be ((-6)/b)/((-5)/(-700)). Which is greater: j or -2?
j
Let g = -1310 - -14437/11. Which is greater: g or 1?
g
Let y(x) = -32*x + 59. Let u be y(2). Is -52 smaller than u?
True
Let v = -186 - -204. Let i(c) = -2*c - 8. Let x be i(-12). Is v > x?
True
Let x = 332318586/446185 - -2/446185. Which is smaller: x or 745?
x
Suppose 28*j + 6*j + 62*j = 0. Let c = 508 - 89918/177. Which is bigger: j or c?
j
Let z = 119.8 - 9.8. Let t = z - 202. Let w = t - -92. Which is bigger: -2/13 or w?
w
Let q = 3490 + -10471/3. Is q < 113/5?
True
Let a be 7 - (322077/14049 - 16). Does a = 0?
False
Let u(y) = -y**2 + 74*y - 460. Let z be u(69). Is z <= -809/7?
False
Let t = 11/2081 + 495135/27053. Is 18 > t?
False
Suppose 7*d = 11*d - 8. Suppose d*m + 787 = -2*m + 3*q, -5*m = 2*q + 955. Let s = -1348/7 - m. Is s <= -0.06?
False
Suppose 0 = 4*z + k - 22, 11 = 3*z - k - 2. Let h be 3 + 18/(-42) - (-3)/7. Suppose u + 8*x - 11*x - 5 = 0, 3*u = h*x + 9. Which is smaller: u or z?
u
Let z be 1*956*3/(-12). Are z and -238 unequal?
True
Let c(h) = -h**3 - 29*h**2 - 20*h + 25. Let s be c(-29). Let f = s - 606. Do 1/77 and f have the same value?
False
Let f(x) = -2*x**3 + 3*x**2 - 8*x + 6. Let v be f(-5). Let b be v/159 - (1 + 1). Let h be 10*(-7)/(21/(-6)). Are b and h nonequal?
True
Let v = -2.73 + 15.76. Is 0.1 at most v?
True
Let m = 1962 + -1825. Is m smaller than 138?
True
Let s be (27/(-513) - (-1)/19)/(-1). Let j = -157935743081/6630 + 23821379. Let i = j - -1/130. Is i != s?
True
Suppose 0 = 3*l + 3*x + 150, -9*l = -7*l + 3*x + 105. Let r be -1 - (-23934)/15 - 18/l. Let z be ((-1)/10)/(22/r). Which is smaller: -7 or z?
z
Let z(g) = 10*g + 60. Let y be z(-6). Which is bigger: -5/27 or y?
y
Let m = -5605 + 5605.1. Is -56.3 bigger than m?
False
Let v(m) = -158*m**2 + 3*m + 11. Let f be v(3). Which is greater: -1401 or f?
-1401
Suppose n + u + 218 = -123, 0 = 3*n + 5*u + 1021. Let j = n - -341. Are j and -5/206 unequal?
True
Suppose -5*h = -2*n - 3 - 720, 2*n + 731 = -3*h. Which is bigger: n or 0?
0
Suppose 25*w = 94 - 144. Let b be (-3904)/34*92/(-8). Let p = b + -1321. Which is smaller: p or w?
w
Let j = 23.9 - 51.9. Do -5 and j have the same value?
False
Let t(b) = -b**2 - 2*b + 1446. Let v be t(0). Suppose 4*u - 86 + v = 0. Let a be (u/(-50))/((-2)/(-5)). Which is smaller: a or 18?
a
Let c(n) = 18*n + 44. Let t be c(15). Let s = 1572/5 - t. Which is bigger: 0.6 or s?
0.6
Let o = 48 + -302/7. Suppose 150 - 11 = 16*z + 43. Which is bigger: z or o?
z
Let h be 7826/602 + -6586 + -1. Are -6575 and h unequal?
True
Let j be (104/(-16))/(2/(-8)). Let a be ((-4)/(-5))/((-6)/(-45)*-3). Let w be a*(-78)/(-30)*5/(-1). Is w equal to j?
True
Let y = 309 - 324. Let q be 24/342*y/(-190). Does q = 0?
False
Let t be (40/(-32) - -2) + 17796/(-240). Which is smaller: -73 or t?
t
Let v be (-50)/(-9*(-5)/2610). Let b be 2 + (-30)/21 + v/28. Is b at least -101?
False
Let x(m) = -m**2 + 5*m - 3. Let t be x(5). Let q be (-3 + (-22)/(-6))/((-2)/t). Suppose -4*i - i = f - 16, i = 2*f + q. Which is smaller: f or -1/57?
-1/57
Let d = 8 - 10. Let j be ((-9)/(-6))/(82/(-44) - d). Let t(l) = -l**3 + 11*l**2 - 9*l - 1. Let p be t(10). Is p less than or equal to j?
True
Let m be (8/11510)/((-6)/(-15)). Let h = 168837 - 168838. Which is smaller: m or h?
h
Let w = 2662 + -2662.078. Let d = -0.9 + 1. Are w and d unequal?
True
Let b(g) = 5*g**2 + 9*g + 6. Let y be b(-4). Suppose 48*a = y*a. Suppose a = q - 2, 0 = -j + 5*q - 5 + 18. Is j greater than or equal to 1?
True
Let y(t) = -t**2 + 2*t - 1. Let u(o) = -o**3 - 5*o**2 + 11*o - 6. Let b(i) = u(i) - 2*y(i). Let l be b(1). Which is bigger: 4/117 or l?
4/117
Suppose -3*f + 1 = -2*u, -6*u + 20 = -4*u + 4*f. Suppose -u + 2 = 2*v. Let t = 467/3 + -1093/7. Which is greater: v or t?
t
Let y be 44/8 - 5*8/(-80). Let v(f) = f + 3. Let t(w) = 1. Let i(r) = -2*t(r) + v(r). Let x be i(3). Which is greater: x or y?
y
Let p be -7*(-31)/((-1953)/432). Do p and -50 have different values?
True
Suppose 0 = -8*h + 10*h - 3*c + 953, 3*h = -c - 1402. Let q = h + 745. Is q at most as big as 276?
True
Suppose 0*s + 3*s - 48 = 0. Let j = -160391/3 - -53915. Let o = -434 + j. Which is greater: o or s?
o
Let p be -25*18/495 - (-4)/(-44). Which is greater: p or -111/122?
-111/122
Suppose -2*x - 2*b + 2642 = 0, 2672 = 2*x - 6*b + 2*b. Suppose m - 18*m = -x. Is 78 greater than or equal to m?
True
Let y = 218836/11 + -16714. Let f = -411869/99 + y. Let p = 979 + f. Which is smaller: -2 or p?
-2
Let g be (-2)/(-4) - 30/(-4). Let y(n) be the second derivative of -n**5/20 + 2*n**4/3 - n**3/3 + 7*n**2 + 39*n. Let h be y(g). Which is smaller: h or -20/11?
h
Let v(j) = -6*j + 15. Let b be v(0). Let l = 18 - b. Let z be -3*(l + -2) - -7 - 3. Which is bigger: z or 7/6?
7/6
Let w(l) = l**2 - 12*l - 13. Let f be w(14). Let t = 0.065 + -0.041. Let k = -0.076 - t. Which is bigger: f or k?
f
Let r be (965/30)/(498/(-4)) + 2/9. Is r not equal to 25?
True
Let r = 0.6 - 0.55. Is r < 0.05?
False
Suppose -3*o + 2447 = 636*k - 641*k, 6*o + 2*k - 4810 = 0. Is 804 smaller than o?
False
Let w(k) = -69*k + 265. Let p(h) = -275*h + 1059. Let t(r) = 2*p(r) - 9*w(r). Let x be t(4). Suppose -y + 48 = 2*y. Which is smaller: y or x?
y
Let a(p) = p**3 + 10*p**2 - 10*p + 13. Let q be a(-11). Let t be (28/(-42))/(q/42). Is t bigger than -11?
False
Suppose 5*b + 2 = -2*m, -5*b + 4 = -3*m + 1. Suppose -3*k - 4*z = -0*z - 206, b = -2*z + 4. Let w = -6241 - -6306. Which is smaller: k or w?
w
Let i = 0.21 + 11.79. Let y = -1949 - -1981. Let w be 412/(-618)*6/y. Is i at most w?
False
Let n(w) = -w + 16. Let g be n(13). Suppose -i = -g*u - 22, -2*i - 84 = -4*i - 2*u. Suppose -3*l + 4 - i = -c, -4*c + 153 = -5*l. Which is smaller: 43 or c?
c
Suppose 5*x - 37 - 58 = 0. Suppose -20*i = -x*i - 6. Let w be (-3)/(i/10)*5. Do -26 and w have different values?
True
Let j = 6.821 - -0.709. Let k = 6.5 - j. Let y = 0.13 + k. Which is smaller: 1 or y?
y
Let p = 9290.1 + -9289. Which is bigger: p or -4/63?
p
Let r be (-40)/(-42) + 5/7*32/(-80). Is r greater than 359?
False
Let i = 0.85 + -65.85. Let u = i + 32. Let v = -33.22 - u. Is v smaller than -0.1?
True
Let o = 24697 - 16020. Which is smaller: 1 or o?
1
Let g be (-27816)/(-34) - (100/(-17) - -6). Let u = g - 830. Which is greater: -6 or u?
-6
Suppose 4 = -2*n - 6. Let k = 97228 - 583403/6. Which is smaller: n or k?
k
Let o = 155 - 289. Let m = -133 - o. Let z be 32/33 + (-28)/21. Is z less than m?
True
Suppose -8*z - 55 + 26 - 51 = 0. Which is bigger: z or -40?
z
Let q be 2966/(-1582) + 5 - 1. Let n = 2/113 + q. Which is greater: n or -2/7?
n
Let b = 12151 - 12124. Which is smaller: b or 2?
2
Let u be -2*((-242)/(-4) + 0). Let g(s) = 1104*s + 982. Let d be g(-1). Which is greater: d or u?
u
Suppose 11*g - 4*r - 200 + 123 = 0, g + 3*r - 7 = 0. Which is smaller: 50/9 or g?
50/9
Suppose -l = -v + 6, -24*l + 3*v + 6 = -27*l. Is -130/43 smaller than l?
False
Let s be -4*1 - 4*(6 + -7). Suppose -5*z + b = 21, 6*z - z - 5*b + 5 = s. Let h = 1205/12 + -320/3. Is h at least z?
False
Suppose -8*l + 7*l + 2 = 0. Suppose 3 = i - l*x - 2, -x = 2*i - 5. Suppose i*z + 87 = 5*r, z - 4*z - 12 = 0. Which is greater: r or 14?
r
Let x = -117/436 + 2/109. Let j = 4.1 + -5.1. Are j and x nonequal?
True
Let s(k) = -56*k - 31. Let j be s(-11). Let q be ((-2)/3)/(6/j). Let p = q + 64. Which is greater: p or -1/127?
-1/127
Suppose -4*k = -w - 4, k + 13 = -w + 4. Which is greater: k or -22/549?
-22/549
Let t be (-1)/(27/6) - 25/9. Let d be t + (2420/(-403))/(-2). Let w = d + 739/27001. Which is greater: w or -1?
w
Let z = 6340 - 6372. Is z >= -42?
True
Let g be 11/((-110)/(-50)) + 51. Let f be g/(-6)*7*24/112. Let m = -31 - -21. Do f and m have the same value?
False
Let n = -19771 - -19131. Is -657 != n?
True
Let v = 25726 + -30619. Does -4894 = v?
False
Let o = -363 - -182. Let h = o + 181. Which is smaller: -74 or h?
-74
Suppose 255*f - 272*f - 17 = 0. Is -3/980 bigger than f?
True
Let p = 3038.23 - 3021. Let o = -18 + p. Let t = -0.73 - o. Is 0 greater than or equal to t?
False
Let o(y) = 23*y + 217. Let