-22)/(-110))/(2/(-10)). Let f = 31165/49 - 636. Which is smaller: c or f?
c
Suppose y + 22336 = g, 3*y + 39049 + 5615 = 2*g. Is 22343 >= g?
False
Let q = 0.1408 + -0.7438. Let p = 0.703 + q. Is -14/3 equal to p?
False
Let a = -3 + 4. Let w be -5 - (4/1 - (242 - 8)). Let u = 232 - w. Is a > u?
False
Let d = -128.6 - -128.45. Which is greater: 0.248 or d?
0.248
Let c be ((-24)/(-7))/((-1170)/630). Is c at least -8/15?
False
Let z(j) = 267*j - 104. Let g be z(1). Is 163 >= g?
True
Suppose -58*z - 26*z - 4225 = 2999. Which is greater: z or -62?
-62
Suppose 7*i - 36*i = 145. Let j = 8 + -8. Let k be i + j - (5 + -9). Which is bigger: k or -1/44?
-1/44
Let o = 38054/691383 - 26/451. Is o greater than or equal to -1?
True
Let w(k) be the first derivative of -31*k**2 - 84*k + 257. Let t be w(5). Does t = -394?
True
Let m = -380 + 377. Let i be 4*m/18 + (-1440)/(-54). Let z be ((-26)/(-5))/(2/10). Is z equal to i?
True
Let o = -0.1758 + 0.0758. Which is bigger: o or -0.116?
o
Suppose -3*a - 4*l - 720 = 0, 5*a = 15*l - 10*l - 1130. Which is bigger: a or -223?
-223
Suppose 4*j + j + 233 = 2*p, 2*p = -2*j + 226. Let f = 4 + p. Let u = f - 52. Is u greater than or equal to 66?
True
Suppose -5*b - 2249 = 3*o, 4*b = -5*o - 75 - 1719. Let k = b - -443. Do 30 and k have the same value?
False
Suppose -4*h + 126 = -3*s, 126 = -3*s + h - 2*h. Let a be (s/(-546))/((-3)/(-28 + -2)). Are a and 2 equal?
False
Let t be (2 + 6/1)/(2/(-129)). Let a = t - -517. Which is greater: 21/10 or a?
21/10
Suppose 0 = -26*n + 17 - 3 + 12. Which is bigger: n or 14/571?
n
Let c(l) = 2*l - 84. Let o be c(36). Let b be (1 + 1)/(56/o + 4). Suppose 0*u = u - 2. Is u at least b?
True
Let d = -5635.81781 - 0.18219. Is 1 < d?
False
Let t be (-2 + 17/11)*((-864)/(-40))/(-9). Which is smaller: 6/5 or t?
t
Let i be 10/(80/(-344)) + -6 + -2. Let m be ((-35)/10 + -1)*(-56)/(-5). Which is bigger: i or m?
m
Let i = 0.048 + 21.952. Let b = -3262 + 3240. Let y = i + b. Which is greater: y or -56?
y
Let s(z) = z**2 + 2*z - 4. Let q be s(-6). Let m = -1971 - -1951. Let k = q + m. Which is smaller: 2/259 or k?
k
Suppose 10*q + 13 - 53 = 0. Let o be (-220)/(-224) - -3*q/(-96). Which is greater: o or 7?
7
Suppose a = -2*d + 166, 5*a = -1635*d + 1638*d - 262. Which is bigger: d or -3?
d
Let u = -1294 + 487. Let n = 879 + u. Let a = 0.9 + 0.1. Is n equal to a?
False
Let k be (-13 + (1 - -3) - 164/(-3))*-141. Which is bigger: -6436 or k?
-6436
Let m(b) = b**2 + 13*b + 13. Let v be m(-14). Let y be -3 + (-4)/(16/(-28)). Suppose v = 2*k - y*k + j, k = -2*j - 1. Are -11 and k equal?
True
Let x = 132 + -132. Let a = 1278 - 813. Which is smaller: a or x?
x
Suppose -12*j = -18*j + 150. Suppose 5*w + 10 = f - j, -5 = f. Let m be 4 + 1/(2/w). Is m smaller than 0.06?
True
Let b be (-27 - (-1220)/45)/(2 - (-6)/(-4)). Which is bigger: 11 or b?
11
Suppose g = -3, 3*f - 4*g + 8*g + 33 = 0. Let q(d) = 12*d + 4*d + 2*d - 11*d + 13*d - 65. Let y be q(3). Do y and f have the same value?
False
Let b = -9885 - -9885. Which is smaller: b or 2/10151?
b
Let m be (1504/(-21242))/(1*-2). Let q = 3/247 - m. Let w = -4516 - -4517. Are q and w nonequal?
True
Suppose 7510 = -3*p - 4*y, 0 = -2*p + 42*y - 37*y - 4953. Which is bigger: 0 or p?
0
Let n = 51.07 - -120.93. Is -3/16 greater than n?
False
Let z(j) = 13*j**2 - 16*j + 30. Let m(u) = -2*u**2 + u - 1. Let s(n) = 6*m(n) + z(n). Let d be s(6). Which is greater: -2/55 or d?
d
Suppose -l = -3*l + 2*s + 22, 3*l - 29 = 2*s. Suppose 75 = -l*u + 12*u. Let b be 183/u + (2 - 44/20). Is 38/3 at most as big as b?
False
Let d = -26 + 7.2. Let h = d + -4.2. Let n = h - -22. Is n not equal to 34?
True
Suppose 4*z = -o + 8, 3*o = 4*z + 68 + 20. Suppose 2*f + o = 72. Is f > 177/7?
False
Let t = -79 - -79.33. Which is greater: 1.3 or t?
1.3
Let f(z) = 8 + 5*z + 8*z - 2*z - 5*z**2 - 24 + 4*z. Let o be f(1). Is o smaller than -4?
True
Suppose -p + 1 = -8. Let o(j) = 8*j - 17. Let z be o(p). Suppose -z*u + 2 = -53*u. Which is smaller: u or -2/331?
-2/331
Let r(b) = -b**3 + 20*b**2 + 20*b + 27. Let m be r(21). Suppose -m*l = -0*l - 252. Suppose -x + 3*x + l = 0. Is x != -21?
False
Let p(g) = -g**3 + 28*g**2 - 29*g - 358. Let q be p(20). Is q bigger than 2263?
False
Let k = -0.0828 - 46.9172. Let b = 77 - 31. Let n = k + b. Is -1 smaller than n?
False
Let l be (-28)/(-18)*(-4)/6. Let m = l - -254/297. Let o = -251.95 + 252. Which is smaller: m or o?
m
Let j be (66/(-36) - -2) + 75/(-18). Suppose -g + 2 = -3*d - 13, 85 = 3*g + d. Suppose 3*l - 5*l = 3*o + g, 0 = -4*l. Which is smaller: o or j?
o
Suppose -8*g + 82*g + 495 = -25*g. Is g not equal to -291?
True
Let i = 1614 - 1630. Which is greater: 7 or i?
7
Let b = -73.3 + 303.3. Let x = b + -239. Is x less than or equal to -0.055?
True
Suppose -1345 = -10*t + 220 + 1195. Is 279 > t?
True
Let x = -103.79 - -103.49. Which is bigger: 0.03036 or x?
0.03036
Let t be -1*(3 + -4)*9. Suppose -3*o = -t*o + 12. Suppose -5*a = 4 + 36. Is o smaller than a?
False
Suppose -8*l + 2*l = 5*l. Suppose 13*n + 0*n + 13 = l. Which is smaller: 6/121 or n?
n
Let m = -1/1892 + -13239/9460. Is 0.161 greater than m?
True
Let z = 0.227 - -89.773. Let g = z - 91. Does g = -54?
False
Let v = -2879 - -2875. Is -0.99 not equal to v?
True
Suppose 0 = 2*o + o - 12. Suppose 18 = -o*j + 10*j. Suppose j*b + 6 = z - b, 0 = -z - 2*b. Are 3 and z unequal?
True
Suppose -2*s - 2*l + 482 = 0, 3*s + 198 - 905 = l. Suppose 4*z = -19 - s. Is -125/2 <= z?
False
Suppose 5*r = -4*h - 2 - 83, 23 = -r - 2*h. Let x = 169 + -269. Let z = -115 - x. Do r and z have the same value?
False
Let t be -4 - ((-104997)/32340 - (-54)/(-72)). Which is bigger: 1 or t?
1
Let t = -3551 - -3237. Are t and -315 non-equal?
True
Let y = 0.9 - -0.1. Let o = -715 - -713. Let s = y + o. Which is smaller: s or 18?
s
Let d be 2 - (997 + (8 - 7)). Let i be (-13)/(-78) - (-130)/d. Which is smaller: 1 or i?
i
Let m be (-2)/(-8) - 902/88. Let a be 40/m + (6 + -2 - 0). Which is bigger: -1/805 or a?
a
Let v(n) = -n**3 - 11*n**2 - 6*n - 40. Suppose 156 = -14*b + 2. Let d be v(b). Is d less than or equal to 26?
True
Let b be (-40)/2*-4*6340/400. Is 1269 < b?
False
Suppose -28 + 0 = -2*k. Let j = k - 19. Let l(g) = -7*g - 36. Let x be l(j). Which is bigger: -2/91 or x?
-2/91
Let h = -3511.1 - -3511. Is -1541 not equal to h?
True
Let z(i) = 44*i**2 - 11*i - i**3 - 27 - 75*i**2 + 45*i**2. Let k be z(13). Which is greater: k or -1/49?
-1/49
Let b = 693 - 6220/9. Let w(l) = 25*l**2 - 224*l - 8. Let a be w(9). Which is smaller: b or a?
a
Suppose b - 24 = 2*k + 3*k, -2*k + 66 = 5*b. Suppose -13*z + 6*z + b = 0. Let n be (-2)/7 - 130/(-112). Which is bigger: z or n?
z
Let z = 24 + -3. Let r = -23.95 + -0.05. Let h = z + r. Which is smaller: h or -0.03?
h
Let k be ((-381)/(-109220))/((-4)/30). Is -1 equal to k?
False
Let z = 95038 + -665191/7. Let w(m) = 10*m**2 + m + 1. Let u be w(-1). Is u >= z?
False
Let h = -2.001 - -349.001. Which is smaller: h or -6/11?
-6/11
Let i = 4862 + -4868. Let f be ((-1)/(-6))/(5/(-190)). Which is bigger: f or i?
i
Let w be (140 + -176)/(1/3). Which is smaller: w or -970/9?
w
Let x = 1980 + -2093. Which is greater: -111 or x?
-111
Let r = -221 - -317. Suppose -15 = -5*w - 0*w, -5*y + 5*w = -5. Suppose 4*g - 480 = -5*z, -y*z + 480 = z + g. Is z greater than r?
False
Let f(a) = -a**2 + 69*a - 122. Let v be f(-67). Do v and -9235 have the same value?
False
Suppose 5*p - 4 = -4*n + 36, -5*p = -3*n - 5. Suppose 0 = 3*m - 4*l - 1, -3*m - p*l - 34 + 3 = 0. Which is smaller: m or -4?
m
Let d(m) = -4*m**3 - 4*m**2 + 14*m - 2. Let f be d(3). Let o be 12/f*(-6)/(-9). Is o <= 1?
True
Let p be 636724/(-2639) + 4/14. Let l = p - -241. Which is smaller: -1 or l?
-1
Let c be (-6354)/861 - (-48)/112. Is c not equal to -7?
True
Let r be 5*4/(4 - 8). Let q(v) be the second derivative of v**4/12 + v**3/3 - 3*v**2 - 5*v. Let y be q(r). Is 5 > y?
False
Let f be (-9 + 7)/(6/(-27)). Let x be f/6 - (7 - (-133)/35). Which is bigger: x or -10?
x
Suppose 0 = -36*i + 11737 - 38161. Which is smaller: i or -736?
-736
Let v(y) = -y**3 + y**2 + 4. Let w be v(0). Suppose 25 = -7*d + w. Let a be 72/d*(-21)/60. Which is bigger: 8 or a?
a
Let g = 8 - 34. Let v(m) = 3*m + 15. Let y be v(g). Let x(t) = -2*t**3 + 8*t**2 - 3*t + 2. Let n be x(5). I