+ 10 = -u + 13, 7 = t + u. Which is smaller: -69/260 or t?
-69/260
Suppose -26 = -2*z - 4*d, 1 = -4*z - 3*d + 48. Suppose 36 = 2*l - 5*b + 3*b, 2*l = -b + 21. Suppose 2*v = -l + 39. Is z <= v?
True
Let p = 24 - 17. Let k(s) be the third derivative of -s**4/24 + 7*s**3/6 + 45*s**2. Let j be k(p). Which is smaller: j or 21?
j
Let m be 544/187 - 1/(-11). Suppose -q = 3*x + 2*q + 54, 0 = -m*x + 4*q - 61. Are x and 1 non-equal?
True
Let d = 18107/4429 - 572/103. Let j = 2171/1247 + d. Let l = 0 + -1. Is l less than j?
True
Suppose -4*d + 101 = 5*l, 6*l - 51 = -2*d + 3*l. Suppose 2*i + 5*v = -62 - d, -2*i + 5*v = 66. Which is greater: -39 or i?
i
Let b = -13690 + 13689.93. Is -3/83 at most b?
False
Suppose 2*g - 14 - 4 = 0. Let j(f) = -4*f**3 - 3*f**2 - 3*f. Let x be j(-1). Let n be g - 4 - x - -3. Is n at most 8/3?
False
Let m = 1181 + -1448. Which is smaller: -268 or m?
-268
Let q = 39.98 - 40.98. Is q != 435?
True
Suppose 0 = 36*d + 3*d - 2*d. Is 1/493 greater than d?
True
Let j be 15/12*(-9 + 13). Suppose -r + 2*u - 3*u - 111 = 0, -j*r - u - 547 = 0. Are -109 and r equal?
True
Let c = -4/183 + 259/3477. Let g = -7 + 23. Let h be -5 - (-1)/(4/g). Is c less than h?
False
Let k be ((-810)/225)/(2 + 0). Is -9/5 at most k?
True
Let p = -14375 + 14324. Let s = -2 + -46. Do p and s have the same value?
False
Let x = -227 - -673/3. Suppose 0 = 2*l - m - 100, -4*m = 3*l - m - 159. Let v = l - 53. Which is greater: v or x?
v
Let h = -2/3383 + 267281/40596. Let d = -29/4 + h. Suppose 0 = -5*w - 5 - 0. Is d at least as big as w?
True
Let g = 0.00976 + 163.99024. Is 11 bigger than g?
False
Let i = -310.04 + 307. Let z = i - -1.04. Does z = -16/5?
False
Suppose 9*b + 68 = 5*b. Let r be b/(0 - (3/15)/1). Let h = -30 + r. Is 54 less than or equal to h?
True
Let g = 1.06 - 1.3. Let u = g - 0.06. Let c = 3.08 + 0.92. Is c < u?
False
Suppose -5*d = 4*y + 8, -4*d + 6 - 38 = 0. Let n be 2/(-7) + 0/(-1). Which is smaller: y or n?
n
Let s(t) be the second derivative of -t**3/2 + 6*t**2 + 5*t. Let z be s(12). Let c = z + 17. Is 0.1 not equal to c?
True
Let f(h) = 2*h**2 + 4*h - 4*h**3 + 3*h**2 - 6*h - 2 + 0*h. Let a be f(2). Let v be (-196)/a - (-6)/(-27). Which is smaller: v or 12?
v
Let n be -2 + 1 - 28/(-10). Let j(o) = -o + 5. Suppose 3*k = 4 + 8. Let z be j(k). Is n >= z?
True
Let y = -2065/44 - -750/11. Are y and 22 equal?
False
Let a = -119 - -134. Let o = a - 33. Let g be (-3*1)/(o/(-12)). Which is smaller: -4 or g?
-4
Let w be (5/2 - 0)*24/20. Suppose -90 = w*x + 2*x. Let j = -33 - x. Which is smaller: j or -16?
-16
Let j = 397 - 396.9451. Let r = 0.0549 - j. Is r > 42/11?
False
Let s be 6 + -6 + (3 - 3). Let h be 3 - 496/116 - (-2 - -1). Which is smaller: s or h?
h
Let f(u) be the third derivative of u**6/30 + 7*u**5/60 - u**4/6 + u**3/3 - 47*u**2 - 2*u. Let c be f(-3). Which is smaller: c or -35?
-35
Suppose -4*m = -x + 40, 2*x - 3*x = m - 15. Let y = 7865 - 70885/9. Let l = y + 551/18. Which is smaller: l or x?
l
Let s(i) be the first derivative of i**2/2 + i + 22. Let n be s(-5). Let j(r) = r**2 - 1. Let x be j(n). Is x at most as big as 14?
False
Let o(f) = f**3 - 3*f**2 - 17*f - 23. Let m be o(6). Let d be (-27)/33 - -1 - (-345)/(-22). Is d at least m?
True
Let g(z) = -z**2 + 10*z + 36. Let l be g(-3). Let s(p) = p**3 + 4*p**2 - 5*p - 25. Let r be s(l). Which is smaller: r or -1/206?
r
Let r = 4952 - 4920.81. Let v = r + -0.19. Let x = v + -30.96. Are -2 and x non-equal?
True
Let a be 4/(-1)*(-50)/1700. Let m = -15/23 + 98/115. Which is greater: m or a?
m
Suppose -34*v = 93*v + 34036. Which is bigger: v or -241?
-241
Suppose 5*a - 3*q = -359, 2*q - 15 + 19 = 0. Is a less than or equal to -70?
True
Let n = -3/2003 - -4057/34051. Let c(b) = b**2 - 8*b + 8. Let q be c(6). Let h = -4 - q. Is h < n?
True
Suppose -3*k + 9*f - 7*f + 158 = 0, 4 = 2*f. Let h = 58 - k. Suppose 60 = -7*d + h. Which is greater: -9 or d?
d
Let q be ((-2220)/24 - -16)*94/3. Which is smaller: q or -2396?
q
Let x be (22 + (-8)/(-8))*(0 + 68). Suppose -22*g = -26*g + 4*v + x, 2*v = g - 393. Is g != 388?
True
Let w = 31490 - 30902. Which is smaller: -10 or w?
-10
Let x = 35 - 29. Suppose 13*n = x*n - 182. Let b be n/76*-2 + -1. Are b and 0 equal?
False
Let n be (663/91 + -7)/((-2)/(-98)). Which is smaller: -53 or n?
-53
Let x = -31399 + 31726. Is x greater than or equal to 12?
True
Let i = -35 - -34.9373. Let h = i - -1.3627. Does 1 = h?
False
Suppose 3675 - 5118 - 4807 = 250*l. Is l at least 73?
False
Let q be (-1)/(-2)*(-10)/(-64). Suppose 29*u + 1150 = 146*u + 1033. Is u <= q?
False
Let k = -1.15 + 0.999. Let z = -3.849 + k. Which is smaller: 13 or z?
z
Let q(x) = 67*x + 288. Let j be q(-4). Let a be j/48*-3 + 123/98. Is 1 < a?
False
Suppose -53 = -3*m + d - 24, -m = 5*d - 47. Is 409/32 at most as big as m?
False
Let m = 834.5 - 834.4. Are -50.02 and m unequal?
True
Let c be (-21)/(-11) - 5310/5841. Let h be ((-4)/(-622))/(3/1). Is h > c?
False
Let z = 32236/19 - 1697. Let x(q) = -7*q. Let p be x(0). Which is bigger: z or p?
p
Let v be (-1811073)/804980 - 3/4*-3. Which is bigger: 1 or v?
1
Let x = -77 + 92. Let m be 5/x - (-14)/3. Let r be (-2 - (-25)/m)/(-3). Is -2/61 not equal to r?
True
Let q(h) = 30*h - 14. Let m be q(3). Let l be m/480 + (-3)/((-30)/(-2)). Let v be (3/6)/((-2)/4). Which is greater: l or v?
l
Let s = 4262.73 - 4263. Which is bigger: s or 0.2?
0.2
Let f(q) = -37*q - 160. Let i be f(-5). Let z be (502/(-8))/(i/(-100)). Is z greater than 251?
False
Let n be ((-13)/(-5))/(4/52). Let z(p) = p**3 - 2*p**2 - 15*p - 20. Let b be z(6). Let g = n - b. Which is smaller: 0.03 or g?
g
Let h = 352846310483497/790420592505 + 4/511599089. Let s = h + -2232/5. Which is smaller: s or 0?
0
Let j(g) = g + 2. Let y be j(-7). Let d be 8 + (-6 - y) + -5. Suppose -2*z - 3*z - 4*v = 19, -3*z - 6 = -3*v. Which is bigger: d or z?
d
Let l = -13 + 14.1. Let c = 2.9 + l. Let v = 1.41663 + -1.34663. Which is bigger: c or v?
c
Let i = 4608.9926 + -4608. Let s = i - -0.0074. Are 0.12 and s unequal?
True
Let a be (7*(3 - -9))/2. Let r = -97 + 140. Suppose 0*o - r = -o. Is a at most as big as o?
True
Suppose 2*m = 8 - 2. Suppose 2*t + 1 = m*t. Let z = -219 - -20804/95. Which is greater: t or z?
t
Suppose 3*s - 3*r = -387, 4*r + 416 = -3*s + 64. Let w be 11/s - (280/32 + -9). Is w at most 0?
False
Let d = -14 - -13.3. Let m = 5.3 - d. Let t be (-2)/5 - (-8)/(-20). Which is bigger: m or t?
m
Let l = 21497293 + -6694794472538/311425. Let d = 20563080441/21176900 - l. Let t = d + -971. Which is greater: 1 or t?
1
Let a be -2 + (-5 - -6) - 6/2. Let j be 0*(-2)/a*2/(-3). Let l = 96 - 76. Which is smaller: l or j?
j
Let l = 70 - 71. Let b be l*(2*(-21)/(-6) + -6). Which is greater: b or 147?
147
Let t = 126.7 - 43.6. Let d = t - 83. Is d != 172?
True
Let l = -200.9 + 217. Let f = -84 - -100. Let r = l - f. Is -2/23 bigger than r?
False
Let j = -26981/3 + 17585/2. Is -201 at least j?
True
Suppose -152*y + 161*y = 7290. Suppose -2*g = -574 - y. Is g less than 693?
True
Let v(f) = -85*f + 2964. Let r be v(33). Do -13 and r have the same value?
False
Let w = 100 - 98. Suppose -w - 176 = 2*l. Is -88 > l?
True
Let j = 4626 - 4581. Which is smaller: 34 or j?
34
Let p be (-1)/((-88)/48) - 25130/495. Is p less than or equal to -49?
True
Suppose 0 = -20*w + 2*w + 18. Let c be 2 + 355/(-130) + w/2. Which is smaller: 1 or c?
c
Let t = 1436 + -1435. Is t smaller than 6/5605?
False
Let s = 34511.884 + -34519. Which is bigger: 1 or s?
1
Let g = -7353 - -7352. Which is smaller: g or -2/659?
g
Let i(z) = -z**2 + 10*z + 2162. Let b be i(-42). Which is greater: b or -350/17?
-350/17
Let q = 574 - 460. Let o be ((-5)/((-5)/(-1)))/(3/q). Which is smaller: o or -7?
o
Let h(k) be the first derivative of 21*k**2/2 - 12*k + 3419. Suppose 5 = 4*j + 2*a - 9, 2*a - 6 = 4*j. Let p be h(j). Is 9 greater than p?
False
Let p(y) = 23*y + 8815. Let o be p(-91). Is 6724 > o?
True
Let c(i) = i**3 - 3*i**2 - 7. Suppose 0*a + 2*a - 4 = l, -2*a = -2*l. Let v be c(l). Suppose -v = -2*f + 19. Do 14 and f have the same value?
True
Let b(h) = -h**2 + 92. Let c be b(-12). Is 3 at most c?
False
Let m = -7939 - -7849. Is m at most as big as -9?
True
Suppose 6*o - 135 - 93 = 0. Let w(a) = a**3 - 10*a**2 + 13*a + 1. Let r be w(9). Which is bigger: 