n?
False
Let s(l) = 2*l**2 - 7*l - 44. Let z be s(7). Let v(a) = -20*a + 34. Let j be v(z). Are j and -67 non-equal?
True
Let d = 143.6 - 222.65. Let l = 79 + d. Let r be 4/18*(-21)/14. Which is greater: l or r?
l
Let h(c) = -58*c + 304. Let y be h(5). Which is bigger: 244/19 or y?
y
Let o(v) = -6*v**3 + 32*v - 247. Let p be o(8). Is -3063 at least p?
True
Let q be -1 + 7/(65583/9495). Is q bigger than -1?
True
Let k be ((-4)/(-14))/((152/(-112))/(-19)). Suppose 2*d - k*d - 2*q = 4, -2*d - 3*q = 0. Is -27/4 greater than d?
False
Let a(i) = 2*i**3 - 108*i**2 + 87. Let w be a(54). Which is smaller: w or 90?
w
Suppose -b = r - 4, -7*b + 12*b = -2*r + 20. Suppose 23*z - 24*z = r. Is -1/69 greater than or equal to z?
False
Suppose -2*k - 2074 = -4*z, 4*z - 1551 = 4*k + 2585. Is -1038 equal to k?
False
Let x(j) be the first derivative of -j**4/4 + 8*j**3/3 + 9*j**2/2 - 9*j - 39. Let d be x(8). Is d <= 63?
True
Suppose -3*b - i = -0*i + 72, -3*i + 72 = -3*b. Suppose -x - 6*x - 19 = 30. Is x less than b?
False
Suppose 5*k - 2 - 4 = -2*d, 0 = 2*k + d - 3. Suppose k = 5*t + 3*h + 24, -4*t - 10 = h + 12. Let n be 54/24*t/(-27). Is 2 equal to n?
False
Let r be (-197)/13*9/(-2). Let g = -135/2 + r. Let f be (-45)/(-6)*((423/(-135))/(-1) - (3 + 0)). Which is greater: f or g?
f
Let c(g) = g**3 - 5*g**2 - 3*g - 18. Let w be c(6). Suppose -8*m + 7 - 15 = w. Is m greater than or equal to -10/49?
False
Let u = 10327/20 - 2143/4. Let h be (-8)/8*-1 + 7*-3. Which is smaller: h or u?
h
Let z = -1031.06 + 1018. Let h = 0.44 - z. Let j = h + -10.5. Which is bigger: 2/45 or j?
j
Suppose -14*t = -12*t - 6. Let y = -55.878 + 56. Let k = y + 1.878. Is t >= k?
True
Suppose -124 = 33*s - 25. Which is bigger: s or 10/13?
10/13
Suppose -52 = -3*l + 2*q + 8, l + 5*q = 3. Let v = 23 - l. Let g = 1.1 - -0.9. Is v greater than g?
True
Let z be (-624)/10 - (-52 + 44). Let v = -55 - z. Does -1 = v?
False
Let m = 26.19 + -19.19. Is m greater than or equal to -71?
True
Suppose 5*k = -5*t + 155, -80*t = 4*k - 85*t - 124. Suppose -k*c = 29*c + 11100. Is c greater than -188?
True
Suppose 13*q - 6*q - 35 = 0. Suppose q*a + 33*o + 81 = 36*o, 0 = 4*a + 5*o + 87. Is a smaller than -4?
True
Let j = -362108 - -2527948/7. Which is bigger: j or -974?
j
Suppose 367 = 4*i - 4*m + m, 0 = 4*i - 2*m - 370. Suppose -2*o + i = -0*o. Suppose 478 + o = -15*w. Which is bigger: -36 or w?
w
Suppose 3*u + 18 = 3*c, 5*u = 2*c + u - 18. Let z(l) = -2*l - 3. Let k be z(-4). Let g be (-5)/(-4) - (0 + k/(-20)). Is c less than or equal to g?
False
Let p = 12609/7 - 4021837/2233. Is p greater than or equal to 0?
True
Let q be 4/18 + -164*14/(-36) + -4. Is 237/4 bigger than q?
False
Let y be (-1)/(2 - (-69)/(-33)). Let k = -0.132 - -105.132. Let r = k - 105.2. Is r at most as big as y?
True
Suppose 0 = 38*o - 17*o + 1764. Let m = o + 84. Is -13/12 greater than or equal to m?
False
Suppose 0 = -83*c - 7259 - 10337. Which is smaller: c or -216?
-216
Let z = 459 - 647. Do z and -195 have different values?
True
Suppose 29*g - 22111 = 16*g + 16122. Is g at least 2941?
True
Let m be (54/36)/((-2)/(8/(-27))). Suppose -5 = -q - 3*w, -3*w + 3 - 6 = 3*q. Let t(g) = g**3 + 4*g**2 + g + 4. Let n be t(q). Are m and n nonequal?
True
Let d(h) = h**3 - 6*h**2 - 7*h + 1. Let u be d(7). Let i = 140 + -146. Let o be -2*(18/i)/33. Which is greater: o or u?
u
Let p(m) = -13*m - 12. Let i(z) be the third derivative of -z**4/24 - z**3/6 - 2*z**2. Let g(j) = -2*i(j) + p(j). Let w be g(2). Which is smaller: -34 or w?
-34
Suppose -s + 6*s - 1491 = -3*z, 2*z = 4*s - 1206. Let v be 90/s + 2206/(-20). Is -110 less than or equal to v?
True
Let d = 3418/15 + -228. Let q = 2955 + -65005/22. Do d and q have the same value?
False
Let m be 27/36*((-5)/4 + (-1473590)/(-120)). Is 9209 greater than m?
False
Suppose -15*y = -4*j - 20*y - 101, 0 = 2*j + 5*y + 33. Suppose -f - 140 + 43 = 0. Let i = f - -64. Is i at least j?
True
Let z(s) = -5*s**2 + 73*s + 45. Let o be z(41). Which is greater: -5366 or o?
-5366
Let a be -1 + -34*1/(-32). Let u be 11/2 + (-12)/(-24). Suppose t - x + 5*x = 11, -x + u = -3*t. Is t at least as big as a?
False
Let z be 1/2 + (-14)/(-4). Let m(t) = 2*t**3 + 7*t**2 - 15*t - 42. Let k be m(-4). Which is bigger: k or z?
z
Let a(l) = -l**3 - 19*l**2 + 45*l - 17. Let x be a(-21). Let k = x - -113. Are 30 and k equal?
False
Let h = 1145 + -1141. Suppose -h*v - 9*v = -156. Let f = 2909/284 + 36/71. Is v < f?
False
Suppose -4*u + 12 = -5*u. Let p(r) = 2*r - 9. Let c(i) = i**2 + 3*i - 19. Let d(n) = -2*c(n) + 5*p(n). Let b be d(3). Which is greater: u or b?
u
Let i be 10098/(-216) - -46 - (-23)/4. Is i bigger than 679?
False
Let u(n) = -n**2 - 23*n + 113. Let y be u(-27). Suppose 3*g = -2*f + f + 53, -y*f + 25 = 0. Is 0.4 at most as big as g?
True
Let g be 2/((-1976)/238) - (-68)/136. Which is bigger: g or 1?
1
Let d be 8*-1 + (-94)/(-47) + -434. Are d and -881/2 equal?
False
Let k be 32356/(-44) + (-3 - -14). Is -724 greater than k?
True
Suppose -3*f - 5*d + 11 = -30, -2*f = -3*d - 2. Suppose -32*y = -f*y. Which is greater: y or -2/9?
y
Let b = 8030 - 7547. Is 477 <= b?
True
Let v be (0 - (-4)/(-15))*(-37008)/(-1120). Let a = v + 106/25. Which is smaller: -4 or a?
a
Let l = -4.19 - -4. Let c = -175.9673 - 0.1327. Let d = 176 + c. Is d greater than l?
True
Let z = -37 - -42. Suppose -z*l + 55 + 25 = 0. Let j be ((-32)/l)/(23 - 0). Which is bigger: j or -1?
j
Let i be (3 - 4)*-2 - -71. Suppose 0 = -3*c + 5*r + 209, 2*r + 33 - 183 = -2*c. Is c >= i?
True
Suppose -4*w = -0*w + 96. Suppose 59*b - 322 = 73*b. Is w equal to b?
False
Let h = -45 + 14. Let d = -7 - h. Let z be (-62)/d - 2/3. Are z and -2 unequal?
True
Let o = -76 + 40. Let y = o + 41. Let p be (5*y/(100/(-104)))/2. Which is bigger: p or -12?
-12
Let t = -235667/1412 + 54/353. Let b = t + 167. Does b = 2?
False
Let l = 1470 - 1471. Which is smaller: l or 40/149?
l
Let d(h) = 257*h**2 - 832*h - 8. Let v be d(3). Which is bigger: v or 12?
12
Suppose -8*k + 180 = -7*k + 4*u, 0 = -4*k + 5*u + 720. Let y be (-64)/k - (-2)/5. Which is smaller: y or 0.4?
y
Let j = 38649.04 - 38649. Is -2.3 at most as big as j?
True
Let q = 0.45 + -26.25. Let u = 9.1647 + -9.2647. Which is smaller: q or u?
q
Let j = 258.571 - 259. Let d = j - -0.099. Let o = d + 0.33. Is 0.22 less than o?
False
Let b be (-8 - -12)*(3 + -1). Suppose 0 = b*r - 14*r + 12. Suppose r = 4*o + 2. Do o and 2/437 have the same value?
False
Let c be 16/(-250)*15/18*(-30 - 12). Is 2 equal to c?
False
Let v = 13477 - 67163/5. Which is smaller: v or -1?
-1
Let k be 609/(-217)*((-48)/(-18) - 5). Is 8 <= k?
False
Let l be 3*(-11)/66*34*11. Suppose y - t = -y + 101, 5*y + 4*t - 259 = 0. Let o be (-8)/18*y/l. Which is greater: o or 0?
o
Let m = -340 + 27. Let t = 1251/4 + m. Which is bigger: t or 124?
124
Suppose 0 = -15*y + 25*y - 30. Suppose -4*w - 4*f = -7*w + 3, 0 = 4*w + y*f - 4. Which is smaller: 2 or w?
w
Let m = -8292 - -8291. Are m and -14.36 non-equal?
True
Let z be 35/14 + (-12390)/(-60). Which is bigger: 210 or z?
210
Let w = 12.7 - 12.626. Let a = -570.474 + 570. Let z = w + a. Is -0.3 at most z?
False
Let o = 9535 + -9601. Suppose 5*i - 73 = -4*g - 401, -3*i - g = 201. Let h = i - o. Which is smaller: -10/13 or h?
h
Let g = 57840 - 272484238/4711. Which is greater: g or 1?
1
Let t = 1300 - -1024. Which is greater: 1 or t?
t
Let v(y) = -y**3 + 12*y**2 + 12*y + 26. Let h be v(13). Suppose -2*a - h = -3*a + 3*o, 5*a - 17 = 3*o. Is a <= 2/285?
False
Let o = 4164 - 4163.91. Are 257 and o unequal?
True
Let f be ((-8)/6*3/3)/(466/(-23067)). Which is smaller: 67 or f?
f
Let f = -2698 - -5535/2. Let n = f - 70. Are 7 and n non-equal?
True
Let q be (-164)/20 + 3/15. Let b be ((-44)/10)/(q/20). Let a be (53 + -8)/5*1/1. Which is smaller: a or b?
a
Let z be 957/(-15) - ((-216)/30)/9. Are z and -190/3 unequal?
True
Let k = -9.92 + 3.26. Which is bigger: k or 2?
2
Let d = -115 - -117. Suppose -d*n + 15 = -3*b + 5, 0 = -b + n - 4. Let y = 0.04 - -0.36. Which is smaller: b or y?
b
Suppose -243 = -t - 63. Let r be -1*(-3 + 2) - (-77 + 67). Suppose 0 = -r*g + 2*g + t. Is 22 >= g?
True
Let u(p) = -572*p + 4559. Let n be u(8). Is 43 <= n?
False
Let s = 85/11 - 521/187. Suppose -f = -1, 8*f = 2*q + 5*f - 9. Is s bigger than q?
False
Let 