- 14*f - 1. Let d be n(-6). Let k be (1/(-1)*-2)/((-49)/d). Which is bigger: 0 or k?
k
Let w = 167/10 - 39599/2370. Let k = w - -655/49533. Which is bigger: k or -0.2?
k
Let p = -1756 + 1755. Which is smaller: p or -6/811?
p
Let s = -74.02999 + 0.02999. Is s != 3/26?
True
Let g be -1*4 + (-24)/(1 - (-130)/(-280)). Which is greater: g or -4?
-4
Let v = 11.39 + -11.59. Is 146 >= v?
True
Let a = -52930 + 52916. Let f = 0.8 + -0.4. Which is smaller: f or a?
a
Let w = -13015 - -286333/22. Is -63 != w?
True
Let l = 537 - 22007/41. Let v(n) = n**2 - 6*n. Let a be v(6). Which is smaller: l or a?
a
Let d = 2305 - 18695. Which is bigger: d or -16389?
-16389
Let s = -61 - -61. Let m(q) be the first derivative of -q**2 + q + 4. Let l be m(s). Which is smaller: 1/3 or l?
1/3
Let j = 10 - 8. Suppose 0 = 3*h + 6, -4*h = j*i - 82. Suppose 0 = 45*g - 943 - 992. Do i and g have the same value?
False
Suppose 94 - 54 = 8*t. Suppose t*m + 230 - 2 = 4*d, -2*d - 6 = 0. Which is smaller: -51 or m?
-51
Suppose 0 = j + 5, -2*z + 2*j - 5 + 23 = 0. Suppose z*b + 5*n = -10, 2*b = -b + n + 2. Which is smaller: b or -2/83?
-2/83
Let s(f) = 1491*f - 4431. Let y be s(3). Are 1278/31 and y equal?
False
Suppose 2*j = -5*q - 344, 26 = 4*q + 4*j + 306. Is q at most as big as 22?
True
Let n = 74.4 + -629.4. Let w = 514 + n. Is 4/5 < w?
False
Suppose 202 = -9*w - 698. Let t be w/(-40)*(-23 - -1). Let j be 0 - (t - (3 - 4)). Which is bigger: j or 53?
j
Let h = -0.67 + 0.59. Let x = -0.06 + h. Is -1/4 at least x?
False
Let k be 13/(611/(-41502)) - 2 - 3. Let a = k + 888. Let b = 0 - -1. Which is bigger: b or a?
b
Let h be (-11)/(-22) - 44530/(-20). Do -2 and h have the same value?
False
Let v(s) be the second derivative of -2*s**3 - 90*s**2 + 76*s. Let g be v(-24). Are 107 and g equal?
False
Suppose 2*p = -5*j + 550, 9*j - 4*j - 2*p - 530 = 0. Suppose -2*k + j = -2*c, -c + 1 = -0*c. Which is smaller: 54 or k?
54
Suppose 0 = 10*w - 24*w - 1120. Let l be w/14 - (-108)/18. Is l >= -9?
True
Let l = 167 - 164. Let b be l/(-9)*-6*(-3)/(-41). Do 1 and b have different values?
True
Let s be ((4 - 1) + -1)*62/4. Let z = s + -64. Let p be 32/40*5/z. Which is greater: p or -1?
p
Suppose -8*n = -17*n + 139 - 31. Is -7/32 >= n?
False
Suppose -n + 5*x - 22 = n, 2*n + 3*x - 10 = 0. Let b = -10876/765 + 250/17. Which is smaller: n or b?
n
Let h = -33137.72808 - -33138. Which is bigger: 1 or h?
1
Let u(c) = 4*c**2 - 12*c + 12. Let d(v) = 5*v**2 - 12*v + 13. Let h(i) = -2*d(i) + 3*u(i). Let r be h(5). Let b = 4 + r. Is b != 2/5?
True
Suppose 2*x + 5*k - 39 = -61, 5*k + 10 = 0. Suppose 6*r - 27 = 9*r. Is r smaller than x?
True
Suppose 5*g - 5*l = 1625, -3*g - 2*l - 114 + 1074 = 0. Let t = 3217/10 - g. Which is smaller: 6 or t?
t
Let o = -76.816 + -0.184. Let g = 67.1 + o. Let s = 16.9 + g. Which is bigger: s or -8?
s
Let t(s) = 115*s**2 + 20*s + 51*s + 2 - 241*s**2 + 116*s**2. Let k be t(7). Which is bigger: k or 13?
13
Suppose 4*o = -3*v - 28, 3*o - o + v = -12. Let a be (-2 + 2 + o)*-1. Let d(f) = -6*f - 61. Let q be d(-10). Are a and q non-equal?
True
Let x = -13717 + 13722. Let u(r) = -r**2 - 6*r - 5. Let p be u(-4). Suppose w = -3*n - 91, -p*w - 138 = -w - x*n. Which is smaller: w or -80?
-80
Suppose 0 = 45*r + 179 + 1306. Is r < -1/4?
True
Let g be (-9 + 7)*127/(-2). Let f be 2 + -64*4/g. Suppose -4*v - 6 + 15 = a, -2*a + 13 = 3*v. Which is greater: v or f?
v
Suppose 62*v - 29*v - 6*v + 10206 = 0. Which is greater: v or -358?
-358
Let q be (-6)/21 - 1*15*1/21. Do q and -44/261 have the same value?
False
Let h = 277 + -273. Suppose -b + h = -78*i + 79*i, -2*b + 4 = 0. Is 2 at least i?
True
Let k = -0.4201 - -0.2201. Is k greater than -20?
True
Suppose -23*k = 1497 + 2137. Suppose 0 = -4*o - 5*s - 631, 3*o - s + 478 = -0*o. Which is bigger: k or o?
k
Let b(l) = -l**3 - 4*l**2 - 3*l - 9. Let y be b(-4). Let j be ((-36)/5)/(-2) - y. Which is smaller: j or 9/2?
j
Let m be (-126)/((-3)/(-4)*(-152)/171). Let s = 743/4 - m. Is s greater than or equal to -3?
False
Let u(h) = h**3 - 2*h**2 + h + 1. Let k be u(2). Let a = -1700 - -1706. Suppose b - a = -3*p + 6*p, -6 = -3*p - k*b. Which is greater: p or -1/11?
-1/11
Let j be (-4)/6*(4 - 22/4). Let q be (310/(-93))/((-44)/18). Is q > j?
True
Suppose -42 - 54 = 4*w. Let q be ((-39)/(-4))/(9/w). Let f be q/(-20) - (-1 - (-6)/4). Which is greater: f or -1?
f
Suppose 10*s = 5*s + 3*r + 1671, 4*r = s - 324. Let a be (2/(-632))/((-210)/s). Which is smaller: 1 or a?
a
Let r = -29644/1827 - -2/609. Which is greater: 0.1 or r?
0.1
Let s(h) = h**3 - 12*h - 1. Suppose -37*a = -34*a + 12. Let x be s(a). Let g be 2/(-8) - (-67)/(-4). Are g and x equal?
True
Let l = 83 + -1. Suppose -2*u - 4 = 0, -4*u = 5*q - 8*u + l. Let d be 94/6 - (-12)/q. Which is smaller: 11 or d?
11
Let z(d) = -219*d + 5. Let c be z(-4). Let b = -3/171907 - -1066339142/1203349. Let f = b - c. Is 6 bigger than f?
True
Let d = 1 + 2. Let l be 18*((-28)/d)/(-2). Let s(r) = -r**2 - 352*r + 22008. Let x be s(54). Is l != x?
False
Let j(d) = d**2 - 2*d - 5. Let k be j(4). Let r be (2 - 39/9) + k. Let t be 40/110*33/6. Are t and r non-equal?
True
Let u be (32/6)/(-5 - 2611/(-525)). Let c = -215 - u. Is c at least as big as -6?
False
Let j(o) = o**3 + 8*o**2 + 13*o + 6. Let f be j(-5). Suppose 13*t = f*t + 6, -21 = -5*q + 3*t. Which is bigger: 42/19 or q?
q
Let t(n) = -2*n**3 + 9*n**2 + 19*n - 1. Let z be t(-3). Suppose -2*l = -3*l + 83. Which is smaller: z or l?
z
Suppose 217*n - 264*n = -47. Is -2/3079 less than or equal to n?
True
Let i(g) = -g**3 + 6*g**2 - 1. Let s = -3 + 7. Let q be i(s). Let t(b) = -b**3 - 13*b**2 - 5*b - 32. Let z be t(-13). Is q bigger than z?
False
Let o(b) = b**3 + 7*b**2 + 14*b + 4. Let v be o(-3). Let x be ((-4576)/(-140) - v/(-5)) + 5. Which is smaller: 37 or x?
37
Let c = 207 - 474. Let u = c - -267.3. Let b be -1*(-1)/(2/(-22)). Which is smaller: u or b?
b
Let u(a) = 17*a**2 + 309*a + 2664. Let d be u(-9). Which is greater: 1257 or d?
d
Let g be (-14)/(-21) + (-992)/264 + 3. Is 24 <= g?
False
Let k(u) = u**2 - 6*u - 22. Let h be k(9). Let c(j) = 20 + 3*j - h*j - 27. Let w be c(-21). Is 36 < w?
False
Suppose 3*w = -4*z + 176, -3*z = 5*w - 57 - 75. Let p be 12/108 + 70/18. Which is greater: p or z?
z
Let i(h) = 2*h**2 + h - 2. Suppose -p = 4*a + 7, -4*p - 1 = 5*a + 5. Suppose t = -n + p - 0, -n = -t + 1. Let q be i(t). Is q bigger than 4?
False
Suppose x = -4*x + 105. Let j be (-210)/12*6*(-4)/6. Suppose 0*s - 5*s = u - 32, 3*u + 2*s - j = 0. Is u >= x?
True
Let t = 70 + -53. Let i be t/(-68)*2/(-4). Do i and 2 have different values?
True
Let l = -4842845/79 + 61301. Is l bigger than 0?
False
Let m be (5 + -1561)*(-3)/6. Let a be ((-3)/(-2))/((-3082)/m + 4). Let c = a - 142/5. Is 11 bigger than c?
True
Let o be (-1)/(2/3284*-3). Let v be (-20)/50 - (-8301)/15. Let y = o - v. Are y and -6 equal?
False
Let j = -14901793/1173 + 12704. Do -1 and j have different values?
True
Suppose -3*n + 3*s + 15 = 0, n - 25 = 5*s - 0*s. Which is greater: n or 6/2011?
6/2011
Let v(a) = -2*a**3 - 30*a**2 - 50*a - 1. Let w be v(-12). Which is bigger: -1854/7 or w?
-1854/7
Let m = -134195/34 - -3947. Which is smaller: m or -1?
-1
Suppose 4*q = -2*f + 36, 4*f - 21 = 2*f - q. Suppose -2*r = -2 - f. Suppose -9 + 4 = -5*c - r*v, 4*c - 5 = -5*v. Are 1 and c non-equal?
True
Suppose 2589*o + 1007 = 2642*o. Is o at most 547/29?
False
Let v be 6/(-7)*1204/344*16964/6. Is -8481 less than or equal to v?
False
Let k = 56 - -65. Let y = 121 - k. Which is smaller: y or 2?
y
Suppose -151 = -4*j + 33. Suppose -397 = 10*t + 63. Let c = j + t. Which is bigger: c or 5/7?
5/7
Let k be ((-2)/6)/(64/(-1152)). Suppose k - 9 = -r - o, -4*r + 5 = -3*o. Which is smaller: r or 14/9?
14/9
Let y = -2936.84 - -2936. Which is smaller: y or -0.3?
y
Suppose 0 = 5*a + d - 17 + 5, 4*d + 15 = a. Suppose -2*q = 3*q - 3*g - 11, -a*g = 6. Let w be (-36)/24 - (0 + -2). Which is bigger: q or w?
q
Let k = 45058/15 - 3004. Let g = -8 + 35. Let q = -18 + g. Which is greater: q or k?
q
Let s be (24075/24)/(-5) + 1. Let n = 199 + s. Suppose l + 5*v + 11 = 0, 3*l + l - 5*v = 6. Are n and l nonequal?
True
Suppose 596*p + 99 = 1196*p - 597*p. Is p > 34?
False
Suppose -36*m - 7490 = -25166. Which is smaller: m or 489?
489
Let u = 2/58069 + -1