-15
Let f be -1 - (-4 - (12 + -4)). Suppose 6 = f*t - 16. Suppose t*j - 3*d - 16 = 0, -j + 3*d + 27 = 2*j. Which is smaller: 12 or j?
j
Suppose 225 = 5*c - 3*x, 3*c - 3*x = 172 - 43. Suppose -9*h + 7*h + c = 0. Suppose 5*t - 29 = -h. Are t and -1/5 equal?
False
Let k = -875 - -621. Let a = -257 - k. Is a smaller than -48?
False
Let a = -56 + -13. Let x = -25.6872 + 25.7372. Is a greater than or equal to x?
False
Let d(m) = 3*m - 5. Let h be d(19). Let k = -50 + h. Suppose 2*s - 10 + 2 = 3*u, 8 = k*s - 2*u. Which is greater: 42/13 or s?
s
Suppose 96*l + 1138 = 178. Is l at least as big as 51/4?
False
Suppose -16*b - 8390 = -5702. Which is bigger: b or -156?
-156
Let b be (-3 - (63/(-6))/3)*32. Suppose b*d - 128 = 12*d. Suppose 2*c = d - 0. Is c less than or equal to -1?
False
Let r = 3.48437 - 0.08437. Which is bigger: r or 2/5?
r
Let u = -1.05 - 51.95. Let m = -14 - u. Let k be (6/(-60 - -6))/(-10 + 488/48). Do k and m have the same value?
False
Suppose -90 - 15 = -3*y. Let v(x) = -x**3 - 13*x**2 - 43*x - 341. Let u be v(-12). Which is greater: y or u?
y
Let r(c) = c + 9. Let s be r(-6). Suppose s*l = -57 - 72. Let x be (1 - 4) + -1*l/12. Is 2 <= x?
False
Let l be 10*(-1)/6 + 1. Let g = -10 - -10. Let j = g + 1. Which is greater: j or l?
j
Let i(x) = -x**3 + 80*x**2 + 82*x**2 - 8 - 15*x - 175*x**2. Let m be i(-12). Is m != 25?
True
Let l = 1585/1013 - -12905537/9117. Is l <= 1417?
False
Let z be (0 - 1/(-15))*83/(747/108). Which is smaller: 420 or z?
z
Let g = 0.79 + -0.6. Let x = 12.81 + g. Let h(d) = 2*d - 2. Let i be h(1). Which is smaller: x or i?
i
Let r = 745.746 + -45.746. Is r at most as big as -2/5?
False
Suppose 22*m - 4*c + 4 = 19*m, 5*m = c - 1. Which is smaller: m or 637?
m
Let i = 44 - 47. Let z be (-6 - -1)*i/(-5)*-2. Which is greater: -58 or z?
z
Suppose n + 31 = 3*c, 2 - 26 = -2*c + 4*n. Let q be 30/(10 + -7) + (1 - -2). Is q smaller than c?
False
Let c = 14009/3210 + -33/1070. Suppose 0 = p - 5*p + 12. Which is smaller: p or c?
p
Let d = 339/260 - 23/20. Let m(p) = 3*p + 1. Let c be m(-1). Let l be (-2)/(1/(c/4)). Is l equal to d?
False
Let j be ((-2)/(-6))/(11/450). Let f be -5 + -11 + 34 + -3. Which is greater: f or j?
f
Let a(g) be the third derivative of g**6/20 + g**5/60 - 4*g**3/3 - 46*g**2. Let p be a(-2). Let n = -52 - p. Which is greater: -2/5 or n?
n
Suppose -3*i + 339 = -3*x, -2*x - 2*i + 442 = -6*x. Suppose 0 = -89*k - 93*k - 532 - 14. Let r be (-3 + k)*9/(x/64). Is -0.1 smaller than r?
True
Let d be 3/10 + (-8376)/(-80). Let z be 515/d - 0 - 5. Is z less than -2/3?
False
Let j be (-107057)/18 - 36/(-81) - 2/(-12). Is j less than or equal to -5948?
False
Let o = -65.323 + 65.1. Let j = 0.967 - o. Which is greater: j or 2?
2
Let u(g) = g**2 + 8*g + 5. Let v be u(-5). Let h = 7221 + -7246. Which is smaller: v or h?
h
Let h(w) = 12*w**2 + 23 - 24 - 13 + 14*w - w**3. Let a be h(13). Do a and -2/43 have the same value?
False
Suppose -17*p + 14*p - 324 = 0. Let g be p/252 + (-2 - 137/7). Which is bigger: -89/4 or g?
g
Suppose -3*g + 8 = g, -4*m + 5*g = 18. Let y be 0 + (m - 2) + (-1 - 40). Is -47 at most as big as y?
True
Suppose 40*w - 35*w = 5. Let b be (69/12)/((-5)/40). Let t = -183/4 - b. Is t smaller than w?
True
Let h = -58 + 256. Suppose 5*t - v = 253, -5*t - 4*v + 65 + h = 0. Which is smaller: t or 50?
50
Let s be (-60563)/36210 - (-1)/3*5. Is s > -1?
True
Let c = -544 - -1584. Let w be (-234)/c - (-2)/8. Are 1 and w equal?
False
Let q = 1315.5 - 622.5. Is -1/8 greater than or equal to q?
False
Let k = -24 - -540. Suppose -527*d = -k*d - 2167. Which is smaller: d or 2?
2
Let h be (-28)/(-16)*-11*(-42)/36*4. Which is smaller: 91 or h?
h
Let y(c) = -153*c + 75*c + 71*c - 20. Let r be y(-3). Are -1/212 and r unequal?
True
Suppose -2*h + 8 = -2*i, 0 = 11*i - 9*i + 5*h - 27. Let t = -1871 + 477107/255. Which is greater: t or i?
i
Let d(t) be the second derivative of -t**3/6 - 2*t**2 - 16*t. Let h be d(-8). Suppose -5*v - 3*f - 2*f = -60, -2*f = h*v - 44. Is 10 bigger than v?
False
Suppose 4*f + 32 = 8*f. Suppose 0 = 2*a - 18 - 174. Let z be 80/a + (-2 - (-26)/12). Is f less than z?
False
Let m(z) = -z**3 + 16*z**2 + z - 18. Let t be m(16). Let g be (-3)/(-10)*t + (-58)/145. Suppose 2*x + 6 = -0*x. Is x at least as big as g?
False
Suppose -2*w - 5*k - 99 - 69 = 0, 5*w - 2*k = -333. Is -35 at least w?
True
Let s(d) = 101*d + 909. Let k be s(-9). Does k = 12/55?
False
Suppose 0 = 3*j + 17 + 20 + 5. Do j and -66/5 have different values?
True
Suppose 9*u - u - 552 = 0. Suppose -3*l = -l + w - 46, -5*w + u = 3*l. Let h be l*(-2)/(-14) + (-12)/42. Is 8 at most h?
False
Let u = -1792 - -1242. Let t be (-1200)/u*3/(-30). Is t less than 0?
True
Suppose 32*p + 3862 = -9130. Let l = 250 + p. Is l greater than or equal to -158?
True
Let p = 140.3 - 135.2. Let k = 0 - 0.1. Is p greater than or equal to k?
True
Suppose 182 = 3*m - 133. Let s = m - 152. Suppose 4*c = 2*p - 196, -2*c + 0*p - 106 = -3*p. Does s = c?
True
Suppose k = -0*k. Suppose 4*d + 77 = -5*q, -12 = -k*d + 4*d. Let f = -0.40737 - -0.30737. Which is bigger: q or f?
f
Let w = 2399 - 21569/9. Let d be (-8)/(-56)*(-9)/((-54)/42). Is w smaller than d?
False
Let s = -780 - -245. Let m = -534.9 - s. Does -7/19 = m?
False
Let c = 29 - 18. Let k = c + -5. Let v = 178 + -357/2. Which is greater: v or k?
k
Suppose -2*q = n - 415, -14*q + 406 = -12*q + 4*n. Which is smaller: 242 or q?
q
Let u(q) = q**2 - 12*q + 24. Let z be u(9). Let l be (-580)/116 + (z - -2)*287. Which is bigger: 0.2 or l?
0.2
Let j = -2094.0175 + 2.0175. Is 5 smaller than j?
False
Let a be -15*(-6 - (-17)/3). Suppose 0 = 2*q - x + 13, -a*q + 0*x = 3*x + 49. Which is greater: q or -5?
-5
Suppose -41*i + 46*i - 4500 = 5*k, -3*k = -i + 2702. Do k and -900 have different values?
True
Let t = 14 + -24. Let x = -12442 - -136746/11. Let l = x - -1/22. Is l greater than or equal to t?
False
Let a be 16/7 + (2 - 4). Let r = -1067 + 1318. Is r < a?
False
Let o be 2 + -17 - -1 - 5271. Is -10571/2 less than o?
True
Suppose 4*d = 4*i - 12820 - 11212, 18032 = 3*i - d. Is i smaller than 6011?
False
Suppose 10 = 5*h, -2*f = 3*h - 25 + 5. Suppose 0 = 5*l - 15, -4*a + 5*l - 12 - f = 0. Does a = -1/155?
False
Let p = 283 - 291.9. Let k = p - -9.9. Do -13.4 and k have the same value?
False
Let h = -13 + 18. Suppose b + 2*o - o = -8, h*b - 2*o = -75. Let w(j) = -j**2 + 14*j + 133. Let x be w(-7). Which is bigger: b or x?
b
Let f be 234910/(-28) + -2 + (-28)/7. Let g = -8392 - f. Which is greater: 1 or g?
g
Let c = 47419 + -22518. Let t = c + -5403527/217. Do t and 1 have the same value?
False
Suppose 5*o - 52 = -26*k + 23*k, 0 = 4*k + 3*o - 62. Let d = -9 + 9.1. Is k > d?
True
Let v be 561/(-27) - 4/18. Let k be 20/v*(-2)/(-8). Is k >= -1?
True
Suppose 0 = 12*r + 190 - 658. Let k be (-13)/(-2) - r/78. Let h = 8 + 1. Is k smaller than h?
True
Let p = -9944 + 2428. Is -3 at least as big as p?
True
Let c = 11/575 + -2874/120175. Which is greater: c or 1?
1
Suppose 7*d + 32904 - 116085 = 0. Let i = d + -6785195/571. Is 1 equal to i?
False
Let o be 645358/5208 + 2/(-4)*2/(-4). Is o smaller than 124?
False
Suppose -y = 3*h - 17, -2*y + 6 = 4*h - 18. Suppose -4*x = y*v + 338, 4*x = 8*x - 4*v + 368. Let p = -88 - x. Is -3/35 <= p?
False
Suppose 216 = -t + 3*p, 17*p - 12*p + 184 = -t. Which is greater: t or -211?
t
Let t = 3405 - 3501. Is t >= 14?
False
Let z(m) = -10*m + 33. Let r be z(5). Let y = r + -10. Let o be (-5)/10*3*(-6)/y. Are o and 8.4 unequal?
True
Let m be (-2)/13 + 9996/78 - 1. Suppose 3*z - z + 3*o = -94, o + m = -3*z. Are z and -2/5 equal?
False
Let g = 5685 + -9180. Which is smaller: g or 1?
g
Let g = 922814 + -15682798/17. Which is bigger: 296 or g?
g
Let d = 2/2063 + 41246/14441. Let y be -1 + 2 + 5 - (-9 - -6). Suppose -i + 4*i = y. Which is smaller: d or i?
d
Let w = -6 - -7. Let c = -19088 + 9219502/483. Which is smaller: w or c?
c
Let n = -275 - -247. Let g be 2/4*(9 + -21). Let u be g/(-9)*(-3)/(-2). Is n at most u?
True
Let q be -6 + 10 + (7448/(-40) - 0). Which is smaller: -181 or q?
q
Suppose 2*c = -8, -2*m + c + c - 16 = 0. Which is smaller: m or 79?
m
Let z = -8.7 + 45.7. Let y = 147.3 - 184. Let i = z + y. Is i != 2/7?
True
Suppose -o = -5*j + 251, 3*o - 404*j + 401*j + 705 = 0. Is -228 bigger than o