or g?
g
Let a = 280 + -276. Suppose 0 = a*q + 133 - 333. Which is smaller: 51 or q?
q
Let s = -12245 - -12761.1. Let k = s - 558. Let w = k - -42. Which is greater: w or -1?
w
Let d(u) be the first derivative of u**2/2 + 16*u - 243. Let j be d(-18). Suppose -2*v - 2*v + 3*q + 48 = 0, 3*q = -3*v + 15. Are j and v non-equal?
True
Let b(g) = g - 7*g + g - 2*g + 65 - g. Let x be b(8). Which is smaller: -7/127 or x?
-7/127
Let t be (-14)/(-630)*-12*9/(-2). Let b = 30 - 30. Suppose b = 5*i + 2 - 12. Which is smaller: i or t?
t
Let z = -1276 - -285. Is z at most as big as -993?
False
Let a = -686 + 1102. Is a <= 1659/4?
False
Suppose -2 = k + 3*h - 5, 0 = -3*k - 2*h + 9. Suppose 2*d - 8 = 0, 2*t = 5*t + k*d + 2868. Let r be 4*2/4 + 1965/t. Is 1 greater than or equal to r?
True
Suppose -7*o + 8 = -3*o. Suppose 10 = 3*c + o*c. Let s be ((-102)/(-18))/(c/12). Which is smaller: 33 or s?
33
Let l(m) = 13*m**2 + 14*m + 15. Let j(b) = -7*b**2 - 7*b - 8. Let u(k) = 11*j(k) + 6*l(k). Let f be u(-7). Suppose -4*i - 51 = -67. Which is greater: f or i?
i
Let r = 58808 - 283513366/4821. Do r and -1 have the same value?
False
Suppose 0 = 3*h + 4 + 8. Let b be (-2)/h + (-146)/(-4). Suppose -4*x + b = 29. Is 0 less than or equal to x?
True
Let y = -425 + 795. Let i = 457 - y. Is 2/5 <= i?
True
Let g = -4817 + 5095. Do g and 277 have the same value?
False
Let n(z) = -z**3 - 10*z**2 + 36*z + 399. Let g be n(-9). Let u = -3 - -1. Let x be (-28 + u)/3*g/(-52). Is x at most 0?
True
Let l be ((-1)/((-2)/(-4)) + 1)*0. Suppose -4*h + 1 - 17 = l. Let s be (h/(-12)*-2)/(-6). Is s at most -1?
False
Suppose -26*i - 34*i + 40 = -20*i. Which is smaller: -12/151 or i?
-12/151
Let b = 45372/71752181 + 3/18917. Which is bigger: -1 or b?
b
Suppose -2*j - 6 = 0, 2*x + 2*x - 2*j = 26. Let c be -1 + 65/(-1)*(-2)/x. Let n = c - 25. Is -1/67 at most as big as n?
True
Suppose 2 = -2*b + 4. Let p be (142/923 - 382/1638)*4/(-5). Which is smaller: b or p?
p
Let q = -34.2 + 41.09. Let j = q - 6.69. Let i = -2 - -4. Which is smaller: j or i?
j
Let k(v) = -v**3 + 16*v**2 + 18*v - 6. Let y be k(17). Let m be -4 - 9/(18/(-26)). Which is bigger: m or y?
y
Suppose -4*p = -1949 - 9131. Let o be p*(476/(-2695) - 2/(-7)). Let v = o - 302. Are v and -0.01 nonequal?
True
Let u = 19945 + -19711. Is 24 > u?
False
Let y be (2 + -5)/((-18)/8)*450. Suppose 9*q - y = 4*q. Suppose 0*w - 48 = 2*v + w, -w = -5*v - q. Are -26 and v equal?
False
Suppose 4*i + 19 = -0*q + q, -2*q + 5*i + 41 = 0. Let n = q + -21. Let f(t) = -t**3 - 8*t**2 - 2*t - 13. Let r be f(-8). Are r and n equal?
False
Suppose 2*y = -0*y. Let w be y + 318/(-314) + 1. Let o = -1706 + 1706. Is o at least w?
True
Let n be 35/(5/1710*3). Let u be ((-1000)/n - (-2)/7)*-3. Let a = -2 + 4. Is u at most a?
True
Suppose 1248 = 14*m + 2*m. Let d be 4/(-10)*(3 - m). Does d = 29?
False
Suppose 11*s + 2807 + 3881 = 0. Let c = s + 595. Is c greater than 2?
False
Let p = -15899/11220 - -1/2805. Is p greater than or equal to 7?
False
Let g be -6238*((-63)/14 + 4). Is 1/2 less than g?
True
Let g = 34 - 24. Let y(v) = 0*v + v**2 + 1 + 10 + 6 + g*v. Let d be y(-8). Which is bigger: 2/151 or d?
d
Let o be 32/(-8)*(-2)/4. Suppose -2*s - 230 = s - o*p, 0 = 2*s + 3*p + 175. Let v = -102 - s. Is v greater than or equal to -21?
False
Let a(v) = 11*v - 10. Let w(y) be the second derivative of 11*y**3/6 - 11*y**2/2 + 21*y. Let z(j) = -5*a(j) + 6*w(j). Let k be z(-3). Is -50 at most k?
True
Let y be -2 - (6/(-4))/((-6)/(-8)). Let g be 2025/(-2031) + (5/(-2))/((-270)/108). Is y greater than or equal to g?
False
Let w = -508.329 - -508. Let s = w + 0.229. Is 0.33 less than or equal to s?
False
Suppose 3*y = 2*u + 6, -u + 10 = -69*y + 74*y. Is -0.03004 at least as big as y?
False
Let y = -8075 + 7311. Which is smaller: y or -762?
y
Suppose -r + 3 = -10. Let l(p) = 3*p**2 - 59*p + 19. Let g be l(20). Suppose 110*h - g = 107*h. Is r at least h?
True
Suppose -22008 = 4*h + 4*t, 5*h + t = -3*t - 27506. Is -5497 != h?
True
Let k be (62/(-10) + 3)/(4/(-10)). Suppose 2*s - s + 4*x = k, x + 7 = 2*s. Suppose -c = -15 + s. Is c >= 10?
True
Suppose -1787 = -6*h + 4783. Are 1094 and h equal?
False
Suppose -130*f = 44*f - 37*f + 3288. Let i be 2/(-6)*(-1 + 74). Is f not equal to i?
True
Suppose 4*t - 272 = -3*s, -199 = -4*t - s + 73. Suppose p + 87 + 260 = 5*f, -2*f = -4*p - 128. Is t greater than f?
False
Let v(r) = -r**3 - 138*r**2 - 2361*r - 21. Let u be v(-20). Is 40/203 bigger than u?
True
Suppose 2835 = 42*l - 1617. Let b(c) = 5*c**2 + 8*c - 28. Let h be b(-6). Are l and h non-equal?
True
Suppose 3824 = -120*y + 14264. Which is greater: y or 84?
y
Let j = 30.8 + 194.2. Let u = j + -216. Are 16 and u equal?
False
Let y = -76.2 - -76. Let b = -606968/161 + 3770. Let v = -48/161 + b. Does y = v?
False
Suppose -8*g - 63*g - 852 = 0. Is -7 <= g?
False
Let l(r) = -31*r - 1236. Let h be l(-40). Which is smaller: h or 33/10?
33/10
Let d = 138.8 + 38.2. Let i = -274 + d. Let b = -118 - i. Is 0.2 less than or equal to b?
False
Suppose 10*l = 11*l - 2. Suppose -3*p = -4*c - 18, 3*p - l*p - 16 = 3*c. Let z = 3065/4 + -772. Is c at least as big as z?
False
Suppose 5*y + 2055 = -5*v, -v + 81*y - 86*y = 387. Is -402 greater than v?
True
Let y = 78 - 80. Let w(d) = 471*d + 3. Let q be w(y). Let c be (-2)/(-5) - q/15. Which is smaller: c or 64?
c
Let i = -0.069 - 0.591. Let d = i + 0.26. Let p = d + 0.68. Which is bigger: 2/9 or p?
p
Suppose 16*r + 300215 = 113*r. Which is greater: 1/2 or r?
r
Let m be (-32)/272 - (6944/(-68) + -2). Which is smaller: 107 or m?
m
Let y = -16 - -22. Let h = -2.96 - 548.04. Let a = 550.96 + h. Is a > y?
False
Suppose 17*b + 13*b + 11040 = 0. Which is greater: -22 or b?
-22
Let s = -11429269/2730 - -407/546. Which is bigger: s or -4187?
s
Suppose -1838 = 2*d + 5*a, -12*d = -8*d + 2*a + 3660. Let y = d - -905. Is y not equal to 0.5?
True
Suppose 689*o - 743*o = -13824. Does 1278/5 = o?
False
Suppose o - 23 = 53. Suppose -c = -5*t + 379, 10*t + c = 5*t + 371. Is t less than or equal to o?
True
Let w be (37 + -31 - (6 + -1))/((-1)/1). Which is greater: -2/6337 or w?
-2/6337
Let o = -193 - -677. Let g = o + -529. Is -45 at most as big as g?
True
Let r(o) = 7*o + 1. Suppose 8*y - 3*y = 11*y. Let d be r(y). Is 4/181 != d?
True
Let k = 251 - 164. Let h = -51 + 33. Let a = h + 105. Is k bigger than a?
False
Let x = -347 + 93. Let s = 216 + x. Let b be 10/(-15)*(-3)/6. Is s < b?
True
Suppose -45*h = 7*h + 52. Let k = 126 - 132.7. Let t = k + 7. Is h bigger than t?
False
Let g(l) = -6*l - 37. Let f be g(-8). Suppose 5*r = -w + 9*r + f, 4*r + 17 = -5*w. Do 38/11 and w have the same value?
False
Let i be -2 - (-1 + -2 + 2). Let d be 0/6 + (1293184/(-174))/(-4). Let x = -1858 + d. Is x < i?
False
Let d = -5102 + 56245/11. Does d = 11?
False
Let t = -72 + 143. Let f = 1907 - 1989. Let w = t + f. Is w <= -3?
True
Let w be 468/(-92) + 3888/276 + -14. Is -83/22 bigger than w?
True
Let d = 0.07 + -0.87. Suppose 120*k = -458 - 622. Which is bigger: k or d?
d
Let n = -4/141 - 287/4794. Is n less than or equal to -15/7?
False
Let a(p) = -p**3 + 44*p**2 - 28*p + 1231. Let z be a(44). Is z not equal to -1/9128?
True
Let n(d) = -10*d**2 + 44*d - 29. Let r be n(3). Is r at least -36?
True
Let t(f) = f**3 + 14*f**2 - 13*f + 17. Let d be t(-15). Let r be (d/(-52))/(2/(-8)). Let x be (r - (-5)/10)*32. Which is greater: x or -17?
x
Let m = 39.71 - 81.71. Which is bigger: m or 12?
12
Let m = -436 + 873. Let s = m + -478.6. Which is greater: -0.1 or s?
-0.1
Let t = -15 - -24. Suppose i + 60 = t. Let r be (-1156)/i - 4/6. Is r greater than 22?
False
Let g = 3 - 2. Let v = -2/1141905 + 3426019/173569560. Which is smaller: v or g?
v
Let r = -96.6 - -25.6. Let k = -0.006 + -65.994. Let u = r - k. Is 2/3 smaller than u?
False
Suppose 0 = i - 0*i - 4*v + 6, 5*v = 2*i + 12. Suppose 66 = 45*b - 12*b. Suppose 0*a = -2*t - b*a - 4, 2 = -a. Is i less than or equal to t?
True
Suppose 5*s - 28 = -33. Let p(r) = 19*r - 106. Let f be p(4). Is s < f?
False
Suppose 3*v + 2*g + 252 = -10, -v - 93 = -5*g. Let k = 182 + v. Suppose 0 = 4*q - h - 19 - k, 3*q = 4*h + 88. Is 0 at most q?
True
Let o = -7 - -17. Let i be (-5)/5*5 - (-2 - 41). Suppose v = 3*b - 31, -2*b - 2*v + i = -7*v. Which is smaller: o or b?
b
Let o 