1/3?
True
Let z be (-2 - -1) + 2 + (-39011949383)/4652988747. Let a = -10/898087 + z. Let v = a - -8/157. Which is bigger: -7 or v?
-7
Let u(j) be the first derivative of j**4/4 - 10*j**3/3 + j**2/2 + 8*j + 3. Let x be u(10). Let i be (-968)/x - (-9)/(243/(-6)). Which is greater: i or 0.1?
0.1
Let g = -9.155 + 0.055. Let c = 7.73 + g. Let a = -1.37 - c. Is a greater than -22?
True
Let a be 50/(-140) + (-3 - -3). Suppose -4*g = g - 5. Which is greater: a or g?
g
Let x = 50706 - 253542/5. Let h(y) = y + 2. Suppose -3*i + 6*i = -15. Let w be h(i). Is x > w?
True
Let q(v) = -35*v - 2. Let n(z) = -34*z + 1. Let u(p) = -6*n(p) + 5*q(p). Let m be u(2). Which is bigger: 43 or m?
43
Let z = -422 + 2. Is -0.2 not equal to z?
True
Let u be -152 + 151 - 1/(-46)*-166. Are -6 and u equal?
False
Let g be (-204)/16 + (-26)/(-2). Is g at most as big as -650?
False
Let h = 43 - 46. Let i be 1/((-3)/(h + 0))*7. Which is smaller: 22 or i?
i
Suppose 0 = 4*g - 2*p - 2946, 0 = 3*g - 5*p - 1118 - 1109. Are 735 and g equal?
False
Let c = 287 - 308. Let j = 20.7 + c. Which is greater: -3.4 or j?
j
Let h = -2775/2 + 1381. Which is smaller: h or -3.3?
h
Let u = 14.6 - 22.7. Let w = u - -8.2. Let l = -1.3 - -6.3. Which is bigger: w or l?
l
Suppose 24*d = -15*d - 65*d + 29224. Is d at most as big as 281?
True
Suppose 2*o + 4 = d, 5*o - d - 45 + 40 = 0. Let j = -4 - -9. Is o at most j?
True
Let j = -9/7 - -43/28. Let z = 482.94 - 493. Let c = -0.94 + z. Is c >= j?
False
Suppose -18*o - 12*o + 11910 = 0. Let u = 428 - o. Which is smaller: 34 or u?
u
Let t = -802 - -1129. Let h = t - 320. Is 23 bigger than h?
True
Let u = 317.48 - 320. Let c = u + 2.42. Which is greater: c or 2/5?
2/5
Let t = 70 + 37. Let m = t - 103. Which is bigger: 5/2 or m?
m
Let l = 43295.72472 + -43271. Let t = 0.37428 + l. Let f = 0.099 - t. Is f != 0.2?
True
Let f = -2 - 6. Let n = 42/2104916095 - -641609997541317/98034362208530. Let s = -3/4234 - n. Which is bigger: f or s?
s
Let t = 229 + -292. Let w be ((-1)/(-26))/(t/(-54)). Does w = -1?
False
Let a be (-4)/(-14) + (-23)/(-28). Let q = a + 157/364. Let r(j) = -107*j - 427. Let b be r(-4). Which is smaller: b or q?
b
Let l = 25257/11 + -2296. Which is smaller: -0.9 or l?
-0.9
Let l = -10546127694190741 + 97633803867618915939304/9257787. Let h = l + 22699/1971. Let n = h + 2/427. Is 2 less than n?
False
Let y = 614.5 + -614. Which is greater: -485 or y?
y
Let a = -2313 + 1623. Is -689 < a?
False
Suppose -2*i = 3*q + 49, 4*i = -5*q + 2*q - 107. Let n(w) = w**3 - 9*w**2 + 5*w + 12. Let l be n(7). Let s = i - l. Is 21 smaller than s?
True
Let q(b) = 11*b + 49. Let y be q(-2). Suppose 0 = -23*s + y*s + 20. Is s smaller than -4.5?
True
Let q be (3 - (-10)/(-5)) + 3675/7. Which is smaller: q or 528?
q
Let q be ((3/1)/(-9))/(2/(-996)). Let z = -185 + q. Are -0.2 and z non-equal?
True
Let y = 647.7 + -619.7. Which is smaller: -253 or y?
-253
Let l = -44429/283 + 157. Let z be -1 + (-28)/6 + 140/28. Which is greater: z or l?
l
Let o be 0 - 2/1 - (-90)/15. Suppose -o*f = -3*j + 52, 3*j - 4 = 2*f - f. Which is greater: -18 or f?
f
Let k = 15560 - 15530. Are k and 741/25 nonequal?
True
Suppose 3*h + l + 20956 = 0, 5*h = -2*l - 17103 - 17822. Which is greater: -6986 or h?
-6986
Suppose 7*y - 4*y = 3*u + 147, -4*u - 5*y = 214. Is -42 less than u?
False
Let x = -156 + 118. Let u = x - -29. Let p = 3 - 13. Are u and p unequal?
True
Suppose 5*z - 9*l + 5*l = -25, -z + 3*l - 16 = 0. Let s be -8 + z*1276/(-158). Is -1 at most s?
True
Let n(l) = -l**3 + 99*l**2 - 192*l - 192. Let a be n(97). Let h = 167815/23 + -7295. Is a at most h?
False
Let b = -3 - -3. Let l(u) = -u**3 + 6*u**2 - 10*u + 3. Let a be l(4). Let m be 109/(-36) - (a - -2). Which is smaller: b or m?
m
Let s = -623 - -314. Suppose 5*d + 1522 = -3*y, -5*y = -52 + 22. Which is bigger: d or s?
d
Let d(l) = -l**2 - 5*l + 1. Let n be d(-5). Which is smaller: n or 37/77?
37/77
Suppose 4*d - 2*u - 20 = -6*u, -2*d + 11 = 3*u. Suppose -d*h = -7*h + 720. Suppose 5*q + 6*g + h = g, 2*q - g + 96 = 0. Is q greater than or equal to -49?
True
Let p be (-13)/(-3)*(-3)/(-7). Let t be (-2 + 32/(-5))/(63/(-210)). Let k be (-44)/(-14) - (-2)/t*-2. Is p smaller than k?
True
Let i(y) = y**2 - 3*y - 14. Let z = 51 + -54. Let g be i(z). Suppose -2*q - 5*q = g*q. Which is bigger: q or 3/40?
3/40
Let u(k) = -k**2 + k + 12. Let t be 9 - 14 - -1*5. Let i be u(t). Let c(n) = n**2 - 8*n + 30. Let g be c(i). Which is smaller: 79 or g?
g
Let g = -1928 - -1925. Which is greater: g or 117?
117
Let d = -3.9557 + -0.0443. Let z be (-4)/(-18)*-75*6/5. Which is bigger: z or d?
d
Let f(p) be the first derivative of -p**3/3 + 3*p + 1. Let h be -3*(-14)/(-35)*(-10)/(-6). Let o be f(h). Are -4/31 and o unequal?
True
Let k be (-2)/3*7*3. Let u(s) = -s**3 - 15*s**2 - 14*s + 1. Let q be u(k). Let n be ((-6)/7)/(10/(-14)). Is n != q?
True
Suppose 0 = -3*n + 8*n + 3*x - 857, -4*x - 153 = -n. Suppose -n - 140 = -5*m - z, -2*m = 4*z - 138. Let j = -63 + m. Which is smaller: -6 or j?
-6
Let r be 3/((19 - 16)*-1). Is r at most 2/233?
True
Let m = -2249 - -2253. Is m > 286?
False
Let w = 687313/43 - 15985. Let r = w - -726/215. Is r less than or equal to -1/3?
False
Let k be ((-435)/12)/5*(1 + -107 - 8). Are 827 and k equal?
False
Let g be (-9)/(445/150 - 3). Suppose -5*d = -0*d + g. Is d greater than -54?
False
Let g be (-19)/((-5985)/61054) - 1*4/(-10). Are g and -2 equal?
False
Suppose -14*b + 3*b = -88. Suppose b*i = 16*i - 88. Is 14 greater than i?
True
Suppose 4*i - 405344 = -25*i + 268790. Are 23246 and i nonequal?
False
Let s = -985 + 959. Let z be (1 + 26 - 1)/(-1) - 1. Is z equal to s?
False
Suppose -j + 3*w - 519 = 4*j, 0 = 5*j - 5*w + 515. Let u = j + 106. Is 4/5 <= u?
True
Let n = 284 + -176. Suppose 2*m - 10*m + 864 = 0. Is m less than or equal to n?
True
Let z be 9/(-12) - (910/(-8) - 10/5). Which is bigger: 691/6 or z?
691/6
Let f = -99 - -99.039. Let w = 0.087 - f. Let u = 27 - 28. Is u at least w?
False
Suppose -2*a - 9*a = 22. Let s be (5 - (-29)/(-6))/(a/(-3)). Which is bigger: -1/4 or s?
s
Let q = -699 - -702. Suppose 83*d - 79*d = q*y + 87, 2*d - 58 = 2*y. Let z be 3*(2 - (-32)/(-3)). Which is greater: y or z?
z
Let z = -562 - -562. Let r = 896/48151 + -2/179. Is r at most as big as z?
False
Let y(z) = 8*z**2 + 112*z - 665. Let g be y(6). Do g and -10 have the same value?
False
Let f = 605 + -599. Let q be ((-6)/(-12))/(1/10). Suppose -1 = p + 4*h, 2*h + q = 3. Which is bigger: f or p?
f
Let d(o) be the second derivative of o**5/20 + o**4/12 - o**3/2 + 3*o**2 - o. Let m be d(2). Suppose 4*y - 4 = -m, 5*t + 2*y - 16 = 0. Is 4 > t?
False
Suppose 7*r + 5*z = 2*r + 430, -3*z + 6 = 0. Let q be 6/14 + 132/r. Let k be 178/72 + 2/(-8). Which is smaller: k or q?
q
Suppose -3*d - 5*l = -144 - 62, 2*d - 133 = l. Suppose 3*b + 4*p - 191 = 0, 118 = 2*b + 3*p - 9. Let g = d - b. Is 13 at most as big as g?
False
Let l = 14653/10176 + -361/192. Is l at most -1?
False
Suppose 4*n = t + 226, 6*n - 270 = n - 5*t. Let o be (-24)/n + 17/7. Suppose -o*z = -4*z. Is z greater than 2/9?
False
Let d be ((-2502)/7)/(12*(-8)/(-64)). Let s = d + 241. Which is smaller: s or -0.1?
-0.1
Let f = 0.2 + -0.6. Let t = 1187 - 1178. Is t greater than f?
True
Let d be 265/(-1749)*(-6)/(-106). Is 0.2 at most as big as d?
False
Suppose -4*t + 23303 = n, 14*t - 4*n + 5837 = 15*t. Which is smaller: 5826 or t?
t
Let y = -181 + 179. Let w be y + 76/(-4)*-1. Does 82/5 = w?
False
Let k = -1.3977 + 40.9577. Is k < -2/3?
False
Let h = 33625/7592 - -186/949. Suppose -4*z + 3 = 4*p - 1, -2*z - 28 = -3*p. Which is greater: h or p?
p
Let n = 6.846 + -3.846. Is -12.17 smaller than n?
True
Let h be 3*(3/24 + 65/312). Is h not equal to 1/178?
True
Let a = 2.1 - 2.57. Let u = 0.589 + a. Let y = 0.081 + u. Which is greater: -7/4 or y?
y
Suppose -2*b = -4*c + 26, 5*b = c - 6*c + 40. Suppose -c*w = -8*w + 225. Do w and 225 have the same value?
True
Let s be 2/4 - 83/(-2). Let w be s/((-1 + 0)*(5 - 6)). Suppose -45*r = -48*r - w. Which is bigger: r or -12?
-12
Let t = 0.1429 + 4.8571. Suppose 0 = 106*r - 105*r + 27. Which is greater: t or r?
t
Let j be 194284/(-32) + 165/440. Which is greater: -6072 or j?
j
Let w(m) = m**3 + 6*m**2 - 3*m - 14. Let y be w(-6). Suppose 3*x + y = 2*x. Does -1