bigger: 29 or q?
29
Let r = -33 - -301. Suppose 0 = -3*k + o + r, -5*k - 203 = -o - 653. Let h = 101 - k. Which is smaller: h or 9?
9
Let m = -11.012 - -22.833. Let t = m + -0.021. Is t less than -1?
False
Let b = 9706 - 4321. Let g = b - 2547107/473. Which is smaller: g or 1?
g
Let n = 33 - 34. Let u = -2.1 + -3. Let m = u - -7.1. Which is greater: n or m?
m
Suppose -3*l + 5*f = 2*f + 9, 0 = 3*l + 4*f - 12. Let c be ((-136335)/(-72204) - l) + 13/(-52). Let u = c - 1/547. Which is greater: u or 2?
2
Suppose -c + 5*r = -682, 0 = -4*c - 5*r + 1461 + 1267. Is 683 > c?
True
Let f = 28 - 11. Let o = -17 + f. Let w be (-10 - -13)*(-5)/3. Is w at most as big as o?
True
Let l(z) = z**3 + 22*z**2 - 14*z - 37. Suppose 0 = -2*t + 3*f - 37, -5*t - 7*f = -8*f + 112. Let y be l(t). Is -244 != y?
False
Let a = 207 - 209. Let y be (((-360)/50)/9)/(a/(-25)). Are 5 and y unequal?
True
Let y = 2321 + -2324. Which is bigger: -195 or y?
y
Suppose 0 = -p - 9 + 12. Let k be -2 + 3 + p + -1. Suppose -93 + 66 = k*o. Which is greater: -2 or o?
-2
Let g = -4687/182016 + 1/2304. Suppose -3*m + 7 = -2. Suppose 0 = m*v + v. Which is smaller: v or g?
g
Let q = -10.844 - -10.6. Let g = q - -0.204. Let a be (-1 - -2) + 5/(-7). Is a less than or equal to g?
False
Let t(b) = 22*b**3 + 6*b + 2. Let f be t(5). Suppose 3*u - i + 5*i = -f, -4*u - i - 3718 = 0. Let o be (-16)/4 + u/(-235). Which is bigger: 0 or o?
0
Let w be (43/5)/(5/(-380)*4). Which is greater: -162 or w?
-162
Suppose 169 = y + 4*c, 12 = 5*c + 42. Which is smaller: 962/5 or y?
962/5
Let t = -3280052/9 + 363732. Which is smaller: t or -718?
t
Let p = -7747/4 + 1936. Which is smaller: -11/10 or p?
-11/10
Let t = 51333 - 26282481/512. Is t at most as big as 0?
False
Let n be (3/9)/(5/60). Let r be ((-3)/n)/(9/(-60)). Let m = 3 - 3.4. Is r less than m?
False
Let u = -6189.1 + 5694. Let z = 495 + u. Is z at least as big as 142?
False
Suppose 10*a - 13*a + 15 = 0. Suppose 0 = -a*b + 5*w + 50, b + 10*w - 4 = 5*w. Let j = 1 - 0. Is b at most j?
False
Let t(i) = -7*i**3 + i**2 + 4*i + 2. Suppose 8*o + 8 = -0. Let b be t(o). Let v be (54/195)/(-9)*(-7 + 2). Is b >= v?
True
Let g(k) be the second derivative of k**3/6 - k**2 - 58*k. Let b be g(0). Are 16 and b unequal?
True
Suppose 7*q + 98 + 3542 = 0. Let g be 3/(-7) + q/28 + 4. Suppose 4*i - 18 = 2*r, -r - 2 = -i + 4. Is g smaller than i?
True
Let v(n) = 96*n**2 - 10*n + 6. Let t be v(3). Suppose -21*d = 9*d - t. Which is bigger: d or 6?
d
Let b = 2782.9 - 2783. Which is greater: -1331 or b?
b
Suppose -5*l - 22 = -3*l. Let b(n) = -2*n**3 - 85*n**2 + 55*n + 506. Let v be b(-43). Is v equal to l?
False
Let l(g) = 4*g. Let u be l(7). Let m = -26 + u. Let t be 5 + 2 + -7 + (-47)/m. Is -25 != t?
True
Suppose 3*i - 152 = -d - d, 2*d - 52 = -i. Let l be (10/i)/((-16)/10 + 1). Which is smaller: l or -34?
-34
Let x be -7 - 832/(-105) - (-2)/(-5). Is x != 1?
True
Suppose 10*f + 4057 + 2439 = -4*f. Which is bigger: f or 0.9?
0.9
Suppose -5*n = 39*f - 36*f - 5378, -4*f + 7196 = -6*n. Is 1794 < f?
True
Let s = -85 - -85.098. Let q be -478*7/28 + 7. Let p = 113 + q. Is p at most s?
False
Suppose -5*n + 3*w = 29178, 3*n + 3808 = 3*w - 13694. Let b = -17906/3 - n. Is b equal to -132?
False
Let x(j) = j + 5. Let b = 12 + -16. Let a be x(b). Suppose 11 - 26 = -h. Which is smaller: h or a?
a
Let g(s) be the second derivative of s**5/20 + 19*s**4/12 + 19*s**3/6 + 11*s**2 - 17*s. Let m be g(-18). Suppose -29 = -m*h - 69. Which is bigger: -5 or h?
-5
Suppose 35*p = 47*p - 168. Suppose 0 = -4*c + 10 - p. Which is smaller: -7/9 or c?
c
Let o = -0.02 - -1.02. Let w = 1846 - 1838.7. Which is greater: w or o?
w
Let h = 7682 - 2276. Is 5406 > h?
False
Let j(f) = -f + 10. Let x(c) = -c + 9. Let u(m) = 4*j(m) - 6*x(m). Let a be u(11). Suppose -2*t + 2*w = 0, 4*t - 9 - 15 = -2*w. Are t and a non-equal?
True
Let b be (-79)/14 + 3 - ((5 - 11) + 5). Are b and -0.06 unequal?
True
Suppose -8 + 6 = -62*t - 2. Which is smaller: t or -3/304?
-3/304
Let k = -7/1545 + 5723/1945155. Is k > 0?
False
Let g = -299 - -423. Which is greater: g or 129?
129
Let u = -2.344 + -354.456. Let r = u - -357. Is 0.49 < r?
False
Let c be ((-718)/4 - 10)*10. Is c smaller than -1894?
True
Let j = 44 - 39. Let f = 12.3 + -12. Let a = 2.7 + f. Which is bigger: a or j?
j
Let v be 3*(-5)/10 + (-14220)/16. Let b = 956 + -70. Let q = b + v. Is q at most as big as -4?
True
Let b = 381.9 + -365. Let u = b + -16.951. Is 1/4 at most u?
False
Let f(t) = 3*t**2 + 78*t + 251. Let o be f(-4). Let x = -25 + 12. Are x and o equal?
True
Let o = -39 - 16. Let u be -64 - (0 + 2 + 1 + -1). Let q = u - -12. Is q < o?
False
Let t = -19.2 - -16.2. Let r = -3.7 - 10.3. Which is smaller: t or r?
r
Suppose -5*w + 3*f + 18 = 2*f, 4*w + 2*f - 6 = 0. Let s be (2 - w)/(-1)*2. Let p be s + ((-2)/4 - (-24)/16). Is p >= 14/5?
True
Suppose 12*p + 26 + 10 = 0. Let z(q) = 7*q**2 - 19*q - 50. Let w be z(p). Is 70 <= w?
True
Let h be 3*(-28)/(-42)*-1*2/(-4). Which is smaller: h or 1/7178?
1/7178
Let a be (-3*(-7)/(-14))/(3/(-50)). Let z = -25 + a. Which is smaller: z or 28?
z
Suppose 8 = b - 2*f, 0 = 3*b - 5*b - 4*f + 8. Suppose -7*d + b*d + 38 = 0. Let w = d + -16. Is w at most 21?
False
Suppose 17*o - 18*o = -114. Let s be (-1)/(-5)*-1 - 76/o. Is s equal to -2?
False
Let d = -0.03 + -0.17. Let n(p) be the second derivative of -p**3/6 + 13*p**2/2 + 5*p + 4. Let h be n(4). Which is smaller: h or d?
d
Let u = 14 - 61. Let l = -48.9 - u. Let t = l - 1.2. Which is smaller: t or -0.1?
t
Let b be (2/(-10) + -1)/((-33)/(-2145)). Is -69 < b?
False
Let c be (17 + -16)/((-1)/(-20)*-1). Let b be c/(-100) - (-47)/(-240). Let q = 487/1680 - b. Is q not equal to -17?
True
Suppose 2*o + 11*n = 13*n, -2*o - 5*n = -21. Let i be 1/o*(-183 - (3 - 3)). Is -58 at least as big as i?
True
Suppose -135 - 18 = 9*o. Let v be (2/(-1))/(((-238)/8)/o). Is 0 less than or equal to v?
False
Suppose 11 = 5*z + 4*h, 2*z - 5*h + 0 - 11 = 0. Suppose z*b = 11*b - 8. Let d = -13/47 - -67/752. Which is greater: d or b?
b
Let i(f) = -12*f. Let q be i(5). Let j = -87 - q. Which is smaller: 0.03 or j?
j
Let d = -123/4 + 100/3. Let s = -2351/6 - -1184/3. Let a = d - s. Which is smaller: 0.04 or a?
a
Let f = -6150 + 8018. Is -2/7 >= f?
False
Let a be 39853*(-6)/2700 + 6/27. Let b = a - -175/2. Which is smaller: b or 0?
b
Let l = -1337 + 1291. Which is smaller: -24 or l?
l
Let d be -1*((-65)/(-1) - 1). Let n = 122/3981 + 17822359/278670. Let i = d + n. Do 0 and i have different values?
True
Let c = -1064/5 - -213. Suppose m + 0*m - 5 = 0. Suppose -m*t + 9 = 4. Is t < c?
False
Suppose 5*f - 5189 = w, -5749 + 1592 = -4*f - 5*w. Suppose 2*j - f = -j. Let q be ((-344)/j + 1)*(-3 - -1). Is 0 > q?
True
Let g(r) = -r**2 + 15*r - 29. Let k be g(17). Let t = 57 + k. Let f be 66/(-4)*(-2)/(-6). Which is greater: t or f?
f
Let a = -3003 - -3339. Which is bigger: a or 331?
a
Suppose 0 = -2*t - 4*y + 2, 2*t + 0*t = 4*y + 10. Let u = 5 - t. Let s = u - -3. Which is greater: 1 or s?
s
Suppose 5*i = -4*a - 20, -2 - 14 = -3*a + 4*i. Suppose a = -3*j - 2*b - 19, -1 + 12 = -2*j - b. Suppose -5*m - s = 7, 2*m - 4 - 2 = 4*s. Are j and m equal?
False
Let q(p) = 225*p - 1593. Let o be q(7). Is o smaller than -18?
False
Suppose -10*v + 3*v - 322 = 0. Let a = 77 + -39. Let b = a + v. Is b equal to -8?
True
Let w = -150 + 151. Let o be (-156)/(-585)*(w - 0)*123. Are 34 and o unequal?
True
Let y = -431 - 608. Is y at least -1041?
True
Let m = -1.493 - -667.493. Let o = m + -667. Do -189 and o have different values?
True
Suppose 9*z - 13*z - 12 = -4*c, 2*c + 2*z + 10 = 0. Is 2/593 >= c?
True
Let i be 2/21 - (178/7 - 25). Which is smaller: i or 9548?
i
Let y(p) = -p**2 - 22*p - 3. Let h be y(-11). Let a = h - 117. Is 3/38 greater than a?
False
Let n(h) = -h**3 + 5*h**2 + 14*h - 40. Let s be n(6). Let y be (1 - 0/1)/((-3000)/s). Is y smaller than 1?
True
Let i = -9332.648 - -8903.6. Let x = -429 - i. Which is bigger: 2 or x?
2
Let o = 3137 - 3138.461. Let g = -0.461 - o. Which is smaller: -0.108 or g?
-0.108
Let s = -5870 - -5865. Let m be 26*-2*(-1)/(-10). Are s and m non-equal?
True
Let g = -122.401 - -13.401. Which is greater: g or -65?
-65
Let k(c) = -14*c + 87. Let x be k(-12). Let t = 259 - x. Let m be 0 + (3 + -15)/(-4). Which is 