i - q. Which is greater: h or 6?
6
Let u = -144.4 + 131. Let o be ((-2)/(-5))/(-17*(-100)/(-4250)). Is u less than o?
True
Let v = 134 + -123.712. Let y = v - 0.288. Is -1/12 smaller than y?
True
Let q(a) = a**2 - 238*a + 10959. Let w be q(186). Are 1291 and w nonequal?
True
Let s(u) = 2*u**3 - 191*u**2 - 369*u + 202. Let v be s(97). Does v = -7362?
False
Let y = -15292/39 + 37113632/94653. Which is bigger: 1 or y?
1
Let i be 22*(-133)/420 + -5. Let y = -49/6 - i. Which is greater: 3 or y?
y
Let q = -20.17 - -60.17. Is 2/11 greater than or equal to q?
False
Suppose -7*m = -9*m + 10. Let p be 6*m/(-20) + (-149)/(-102). Is 0 less than p?
False
Let z = -685 + 684. Let p be (2*(-21)/(-12))/(z/1). Which is smaller: p or 0.07?
p
Suppose -f = 4*o - 7*o + 422, -4*f - 428 = -3*o. Suppose 0 = 3*y - 5*y - o. Let d = -73 - y. Which is greater: -9/4 or d?
-9/4
Let h be 424/(-1378) - 17/(-13). Is -1/1649 at least as big as h?
False
Suppose 0 = 3*y - g - 75 + 76, 4*y + 3*g = 16. Which is smaller: y or -18/41?
-18/41
Let h(f) = -f**2 + 22*f - 53. Let c be h(18). Suppose 0 = 5*u - 3*x - 174, -23*u + c*u + 3*x = -141. Does u = 38?
False
Let q = -3316 + 3442. Is -0.08 at least q?
False
Let l = 134.7 - 85. Let m = l - 49.9. Which is bigger: m or -0.34?
m
Suppose -4*m = 2*k - 22, 2*k + 3*m + 2*m = 25. Suppose 2*a = -0*a + 4*x - 1764, -a - x - 879 = 0. Let g be 1/k + (-64)/a. Is -1 != g?
True
Let g(d) = 2*d**2 - 4*d - 6. Let a be g(18). Suppose -5*x + a = -120. Suppose -39 = 3*t + x. Which is smaller: t or -60?
-60
Let k be (46 - 32)/(1 + -1 - 2). Let z be (2/24)/(k/(-777))*4. Which is smaller: 7 or z?
7
Let n = 212294/165 - 3860/3. Is n < -3/8?
False
Let t = -1405 - -1409. Let o(a) = a**2 + 3*a + 8. Let y be o(-6). Let s = 77/3 - y. Which is greater: t or s?
t
Let i = 221.2 - 241. Let u = -956 + 976. Let t = u + i. Which is greater: -1/17 or t?
t
Let o be -19 + (196/14 - 1997). Is -2003 at most as big as o?
True
Suppose 10*d + 26 = -3*d. Let m be 14/(-4) + d/(-4) + 9. Let j be 4/(-3*(-1 - 0)). Is j != m?
True
Let h(s) = -63*s + 3. Let c be h(-1). Let v be (-2 - c/(-28))*3/(-5). Which is smaller: v or 0?
v
Let m = 226 - 277. Let x = m - -50.8. Let z = -56 + 18. Is z not equal to x?
True
Let m(v) be the second derivative of -v**3/6 - 176*v**2 + v + 9. Let b be m(15). Which is greater: -365 or b?
-365
Let o(s) = -2*s - 4. Let v be o(-3). Suppose i = -i + v. Let q be ((-7893)/630 - -12) + 0 + 3/5. Is i at most q?
False
Let u be (-1)/(-2) - 1138/2292. Suppose -242*b + 11 + 198 = -33*b. Are b and u unequal?
True
Let v(j) = 3814*j + 76226. Let s be v(-20). Let d be -1 - (-1 - 271/(-5)). Is d <= s?
True
Let l(s) = 3*s**2 - 24*s + 44. Let g be l(5). Is g greater than 787?
False
Let v = 16104 - 16104. Which is bigger: 2/3833 or v?
2/3833
Let s be 6663377/(-5451957) - -1 - 2/(-9). Is s < 0?
False
Let t(i) = i**3 - 10*i**2 + 3*i - 4. Let q be t(9). Suppose 694 = 390*r - 866. Which is bigger: q or r?
r
Suppose -2*i - 3 = -o, 4*o - 3*i - 9 = 2*i. Suppose a = 4 + o. Let k be 11/55 + 844/180. Do k and a have the same value?
False
Suppose 0*u - 3*u = b + 42, 2*b - 70 = 5*u. Let q be 8/20*(-5)/u. Let p = -0.463 + 0.563. Which is smaller: p or q?
p
Suppose -88*k + 87*k = 69. Let m be (-6)/((-90)/k) + (7 - 3). Is m at least as big as 56?
False
Let a(n) = 12*n + 25. Let y be a(-2). Let t be 3/(6102/(-3634)) - -2. Let j = 1/113 + t. Is y > j?
True
Let v = -716 + 721. Suppose -6*w - 3 = -3*z, -v = -5*z + 4*w - 5*w. Which is smaller: z or -2/425?
-2/425
Let s = -5936.42 + -44.58. Let o = s + 5965.933. Let b = 0.067 + o. Which is smaller: -3/5 or b?
b
Let n(i) = 3*i**2 - 12. Let h be n(2). Which is bigger: 45/41 or h?
45/41
Let r = 291 + -293. Let j be r/(-9) - (2 + 3)/(-180). Is 0.12 at least as big as j?
False
Let d = -85 + 141. Let s(k) = k**3 - 53*k**2 - 73*k + 1076. Let m be s(54). Let y = d - m. Which is bigger: y or -9?
y
Let l = -7026067/3308 + 1416/827. Which is smaller: -2122 or l?
l
Let j(k) = 251*k - 341. Let z be j(5). Which is bigger: z or 915?
915
Suppose -126 = -16*b + 109 - 219. Suppose x + 5*i + 23 = 3*x, 2*i + 32 = 2*x. Which is smaller: x or b?
b
Let f(z) = -25*z - 4144. Let i be f(-149). Which is smaller: -421 or i?
-421
Suppose 0 = 28*m + 1919 + 10261. Does m = -400?
False
Let u = 24.916 + -0.116. Let g = u + -24.7. Is -58 >= g?
False
Let s = -2.5 - 0.9. Let t(p) = 6*p**2 + 23 - 20*p + 8*p + 8*p - 2*p**3 + 3*p**3. Let y be t(-7). Does s = y?
False
Let r = 7262 + -109013/15. Let o = -2947/485 - 12/97. Let b = o - r. Which is smaller: 1 or b?
b
Let p be 66/(-198) + (-5812)/6. Does p = -969?
True
Let m be (-378)/(-424)*(-5 - 1 - 4197). Let z = m - -3747. Are 1 and z nonequal?
True
Let o = -23 + -15. Let f = -34 - o. Suppose -j = -3*j - f. Which is smaller: j or -12/13?
j
Let a(s) = -s**3 + 27*s**2 + 8*s - 180. Let c be a(23). Which is smaller: 2124 or c?
c
Let r be (-2)/6010*1*(-2225)/2670. Are r and -1 unequal?
True
Let p be (16/6 - 1)*348/290. Let d be (-4 - (p - 3)) + 4. Which is greater: d or -5/24?
d
Suppose 3*b + 2*b + 10 = 0. Suppose 3*k - 4 = -19, -5*m - 50 = 5*k. Let d be (11/b - 15/m)/(-2). Is 1 greater than d?
False
Suppose 245*j - 1063403 = -289693. Is j bigger than 3158?
False
Let j be 3 - 123/39 - 1020/(-4845). Is j less than -1?
False
Let a = -10 + 25. Suppose -15*w - 4*s = -19*w, 4*w + 5*s - 45 = 0. Does a = w?
False
Let h(o) = 864*o**3 + 57*o**2 + 59*o. Let y be h(-1). Is -868 at least y?
False
Let c = 4107.1 - 4107. Is c not equal to -55.8?
True
Let t be -2*((-14)/(-4) - 0). Let o be (1 - -760)/(t + 0). Let g = -4127/35 - o. Is g < -9?
True
Suppose o - 4*v = 437866786, o - 1313600413 = -2*o + v. Let a = 2403450891159/5489 - o. Let n = 1/499 - a. Are n and 1 nonequal?
True
Let r = 1485.12 + -1526. Let a = -0.88 - r. Let d = -38 + a. Is d at most 2/51?
False
Suppose 0 = y + 7*y + 7*y. Let m = -3 + 1. Let h be 0 + (-10)/4 - m. Which is smaller: y or h?
h
Let y be (-1 + 3)*((-12)/(-453))/4. Let w = y + 147/302. Suppose 0*g = 24*g - 432. Which is greater: w or g?
g
Let m(v) = -6*v - 7*v + 14*v. Let a be m(3). Suppose a*b + 12 + 0 = 0. Which is bigger: b or -7?
b
Let j = -73201 + 1317619/18. Suppose -10 = 4*x + 2*q, -4*x + 2*x + q = 7. Which is greater: x or j?
j
Let z be ((-4)/(-3))/((-3)/(-81)). Suppose -c + z = -2*i + 175, -56 = -i - 4*c. Let d be (-2)/(-4) - 42/i. Is 0 greater than d?
True
Let u = -848 - -1522. Suppose 3*v + 133 = -z, -86 = -4*z + 2*v - u. Is z not equal to -146?
True
Suppose 80*t = -15*t + 3325. Which is smaller: t or 68?
t
Let x = 45561259503 + -33593501224317329/737326. Let d = -1/4262 + x. Which is smaller: d or 0?
d
Let m(j) = -j**3 - j - 4. Let x be m(-2). Suppose 0 = -v - 781 + 789. Which is bigger: x or v?
v
Let y be (2/(-4) + 0)*0. Let z be ((-21)/36 - 6/(-24))*8/236. Which is greater: y or z?
y
Let n = 27305360/173 - 157834. Which is smaller: n or 1?
n
Let o be ((-6)/16)/((-372)/70804). Is o <= 71?
False
Let f = 14.893 + -43.193. Which is smaller: f or 1.6?
f
Let v = -28.2712 + -0.0088. Let x = v - -3.28. Let q = -672/5 + 134. Is x greater than q?
False
Let g(y) = y**3 + 67*y**2 + 1076*y - 26. Let d be g(-40). Is d greater than 97?
True
Let n = 149.88217 + 0.11783. Which is smaller: -4 or n?
-4
Suppose 0 = -13*y - 14 + 79. Let d be 0 + y/(15/12). Suppose 0 = d*w - 6*w - 14. Is w >= -7?
True
Let c be (23/5)/(1/5). Suppose -3398 = -c*v - 960. Does v = 107?
False
Let n = 2600.5 + -2584.5. Which is bigger: n or 164?
164
Suppose 8*p = 2*t + 13*p - 93, -150 = -5*t + 4*p. Let u = 34/19 - -3022/95. Are u and t equal?
False
Let q(j) be the third derivative of -j**5/60 - 4*j**4/3 - 7*j**3 + 18*j**2. Let c be q(-27). Let k = c - 65. Do 28 and k have the same value?
True
Let x = -7876.4906 - -142.8806. Let z = -7702 - x. Let j = -32 + z. Is 0.1 at most as big as j?
False
Suppose 0 = -10*y + 11*y - 72. Suppose -7*f + y = -10*f. Is -22 greater than f?
True
Let t = -174.4 + 174. Let u = -19 + 48. Let n = u + -33. Are n and t unequal?
True
Let u(c) = 2*c - 14. Let g be u(-6). Let m = -174 + 276. Let w = m - 129. Which is greater: w or g?
g
Suppose 3*f + 327 = o, -23 = -2*f - 5*o - 224. Which is greater: f or -118?
f
Let h(y) = -y**2 - 23*y + 76. Let k be h(-26). Suppose 0 = -4*b + 3*z - 24, 4*b - 5*z + 28 = 4. Let f be (b*k/104)/(18/(-48)