9 - (-1014)/(-91). Does -1/42 = j?
False
Let q be 260/(-32)*2 - -2. Which is greater: -3 or q?
-3
Suppose -5*o - 4*i = -24, 2*i + i + 9 = 3*o. Suppose -3*l + o = 2*u, -10 = 3*l - 2*u - 3*u. Let p be 135/(-141) - (-2 - -1). Which is smaller: l or p?
l
Let i be ((-3)/6)/((-2)/(-56)). Let h be (-10)/i + 6/21. Let l be (-1)/((-2)/(-6*h)). Is -0.1 bigger than l?
True
Let p be (4 - 9) + -43 - (8 + -7). Which is greater: p or -56?
p
Suppose 10 = -4*n + 2. Suppose -2*u + 2*g = -22, -4*g = 3*u - 44 + 4. Which is greater: n or u?
u
Let b(q) = -q**3 + 31*q**2 + 2*q - 61. Let i be b(31). Which is smaller: i or -4/883?
-4/883
Suppose 264 = -18*a + 23*a - 2*p, 3*p - 117 = -2*a. Is a at most as big as 54?
True
Suppose -238 = 5*a - 233. Which is bigger: a or -17?
a
Let x = 0.851 - -0.149. Let p(i) = -i**2 + 0*i - 5*i + i. Let k be p(-6). Are k and x non-equal?
True
Let s be 174/3944*(-16)/198. Is 0 less than s?
False
Suppose 4*k + 0*k = 0. Let p = 749/1240 + -1/248. Is p at most as big as k?
False
Let l be (-40 - (-4 + 8)) + 4. Let q = 23 + l. Let r be 7/(84/(-27))*8. Does r = q?
False
Let o = -4/1845 + 276802/23985. Is 12 at least o?
True
Let i be (0 - -1)*(-1 + 1)/2. Is i at least as big as -7/41?
True
Let l = -0.6 + 0.2. Let v(a) = a**3 - 14*a**2 - 15*a + 13. Let o be v(15). Let w be o/(-78) - 4/(-6). Is l greater than w?
False
Let v = -7 + 4. Let t be (v/6)/((-9)/(-42)). Is -1 bigger than t?
True
Let p = -209.01 + 209. Which is greater: -2/25 or p?
p
Let v be (2 - 1) + -15 + 14. Suppose 2*d = -a + 2*a - 10, -15 = -3*a + d. Suppose -3*f - a*s - 9 = 0, v = -0*f - f + 4*s + 13. Is 2 greater than f?
True
Let n be (-76)/28 - 4/14. Let r be (6*6)/3 + n. Let m = -19/2 + r. Is 0 equal to m?
False
Let g = 6/455 - 2796/5005. Are g and 5 equal?
False
Let f(l) = 2*l**2 - 2*l. Let d be f(2). Suppose 5*j + 4 + d = 4*m, -5*m + 5*j + 10 = 0. Suppose -m*i + 0 = 2. Which is greater: 2 or i?
2
Let i be (-1 - 2) + 3*-1. Let n be (3/i)/(1/2). Suppose 5*y + 7 + 3 = 0. Does n = y?
False
Let w = 15 - 1. Let f = w + 0. Let m = -63 - -76. Which is greater: m or f?
f
Suppose -6*z - 3*t = -z + 231, 93 = -2*z - t. Let v = z + 86. Are 37 and v non-equal?
True
Let q = 24971/110 - 227. Suppose u - 5*g = 0, 4*u - u - g = 0. Is u < q?
True
Suppose 0*o - o = 0, -2*o = -u - 12. Is u <= -12?
True
Let c = 162 + -164. Suppose f - 2*m - 4 = 6*f, 0 = 2*f - m - 2. Is f at least c?
True
Let v = -8 + 12. Suppose v*u + 4*a - 68 = a, 4*a = 16. Let y = 1176 - 1162. Are y and u nonequal?
False
Let f be ((-14944)/(-4400) - 9/(-15)) + -4. Is -0.2 < f?
True
Let q = -1548.9 + 1549. Is q <= -595?
False
Let b = 130 + -129.98. Is b < 9?
True
Let n = -161 - -159. Let f be 5/10 + (-58)/4. Let a be 12/42 - (-46)/f. Is a != n?
True
Let b = -112/851 + -8/37. Which is smaller: -1/3 or b?
b
Let u = 261 - 156. Let q be (-40)/u*2/(-8). Which is smaller: 0 or q?
0
Let u = 40 + -39. Let t be (-32)/21*7*u/(-6). Which is greater: t or 3?
3
Let b = 4.055 + -0.255. Which is smaller: b or -2/23?
-2/23
Let n = 49 - 26. Which is bigger: 2 or n?
n
Let q(o) = 8*o - 225. Let m be q(28). Is m >= -1.74?
True
Suppose 2*z + 0 = -2*u - 4, 18*u + 54 = 0. Suppose -3*x - 4*t - 847 = 0, -5*t - 276 = -3*x - 1114. Let p = x + 2245/8. Which is smaller: z or p?
p
Let w = 400 + -399. Is -1/89 at most w?
True
Let s(k) = -2*k**2 - 35*k - 12. Let i be s(-17). Let a be 4/(-9)*i*(-12)/(-760). Which is smaller: a or -1?
-1
Let u = -0.7 + -0.3. Suppose -8 = -4*d - 0. Suppose -d*b + 0*b = -4. Is u less than b?
True
Let c be 0 + (-3)/(-3) + -2. Suppose 0*x + 3*x - 14 = -4*w, 46 = 3*x - 4*w. Let q be (8/x)/((-22)/(-5)). Is q < c?
False
Let m = 477 - 814. Are -335 and m non-equal?
True
Let b be (-1966)/(-56)*-22 - (1 - 0). Let g = 773 + b. Are 0 and g nonequal?
True
Let w = -57 + 84. Let h be ((-2)/(-6))/((-63)/w). Let b = 22/15 - 4/5. Is b smaller than h?
False
Let v = 14 + -13.86. Let o = -2205 + 2205.24. Let g = v - o. Which is smaller: g or -8?
-8
Let q = 0.0956 + -17.0956. Which is smaller: 9/4 or q?
q
Let x be (50/35)/((-1)/(-14)). Suppose -3*d - x = 55. Let v be d/4 + 2/8. Is -6 bigger than v?
False
Let s = -349 + 349. Let g = -181 - -182.99. Let q = -0.01 - g. Is s < q?
False
Let d be 42/((-8 - -7)*2). Suppose 0 = -4*y + 7*y + 54. Which is smaller: d or y?
d
Let o = 60 - 178/3. Is o greater than -107?
True
Let l be (-35)/5 - 2 - -3. Let y = -0.2 - -0.1. Let n = y - 0.1. Is n less than or equal to l?
False
Suppose 0 = o - 3*l - l - 7, 4*o = l + 28. Let g(k) = k**2 - 7*k - 16. Let j be g(o). Is -15 < j?
False
Suppose 6*q - 4*q - 16 = 0. Let v be 6/q*8/(-44). Which is smaller: v or 1?
v
Let b = -5.02 - -0.02. Let n = b + 4.6. Let g be 70/(-21) + (3 - 0). Are g and n nonequal?
True
Let l = -2143/10 - -214. Let v be (1/3)/(11/33)*0. Is v equal to l?
False
Let k = -74 - 146. Let p be 6/10 - (-187)/k. Is 2/3 at most p?
False
Let p be -1 + (-40)/(-28) + (-261)/21. Suppose 3*l = 6*l + 6. Let m be p/44*l/(-9). Is m less than 1?
True
Let i be ((-12)/(-231))/(-2 + (-2 - -3)). Let t = i - 29/77. Which is bigger: t or -1?
t
Let b(u) = u - 8. Let q be (-3)/12 + 81/4. Suppose -q*m = -19*m - 8. Let p be b(m). Do p and 2/13 have different values?
True
Suppose 0 = -2*d + 4*f + 604 + 490, 2*d - 1103 = f. Is d less than 554?
True
Let f = 8 + -14. Let i = -6.4 - f. Let o = 151.2 + -153.2. Which is bigger: i or o?
i
Let j(u) = u**2 + 6*u - 11. Let w = 10 + -18. Let h be j(w). Suppose -h*o - 8 = -13. Which is smaller: o or -1/3?
-1/3
Let j(c) = -c**3 + 6*c**2 + c - 4. Let n be j(6). Suppose -2*a + p + 16 = -3*p, -n*p - 48 = -5*a. Suppose 0 = 4*g, m - 5*g = 3*m - 2. Which is smaller: a or m?
m
Suppose -2*j + 4 = 0, 17 = -y + 4*j - 11. Let r = -123 + 122.904. Let m = -0.004 + r. Which is smaller: y or m?
y
Let f = -35.51 + 5.31. Is 1 greater than f?
True
Let h = -252 - -1261/5. Which is smaller: h or -26.3?
-26.3
Let x(n) = -n**3 - 2*n**2 + 2*n + 1. Let a be x(-2). Suppose -8*l + 14 = -l. Which is smaller: a or l?
a
Let s be 118/6667*(-10)/1. Which is smaller: s or 0?
s
Suppose 0 = 7*l - 2*l - p + 5, 5 = -5*l + 2*p. Let u = -1035 + 79693/77. Which is greater: l or u?
u
Suppose -4*k = 2*p - p + 72, -p + 4*k = 64. Which is bigger: p or -64?
-64
Suppose -8*h + 3*h - 50 = 0. Let q = -10 - h. Suppose -x - 3 = -q. Do -4 and x have the same value?
False
Let n = -90 - -64. Let g be n/140 + 44/154. Is g >= -1?
True
Let f be 3/12 + 5348956/(-23632). Let t = f + -357/211. Let l = t - -228. Which is greater: l or -1?
l
Let q be (-1)/3 + 555/45. Suppose r = 4*r + 3*w, -3*w + 18 = -3*r. Let i be r/2*(-136)/q. Do i and 16 have different values?
True
Suppose 1030*p - 6 = 1024*p. Do -18/43 and p have different values?
True
Let z(v) = -2*v**2 + 5*v + 3. Let g be z(3). Let w be (0 + 0)/(g + -1). Suppose 2*r = w, -4*h + 2 + 58 = 2*r. Is h <= 15?
True
Let k be (-6)/2 + -3 - 2. Let t be (k/(-6))/((-4)/(-12)). Suppose -7 = t*n - j - 1, 0 = -3*n - 5*j + 7. Which is bigger: n or 1/6?
1/6
Let u = -0.3973 + 0.5973. Let q = -368 + 9203/25. Which is greater: u or q?
u
Let y = 11 - 16. Let m = -164 - -158. Which is smaller: m or y?
m
Suppose -4*y = -2*m, 0*m + 4*y = 5*m. Which is greater: -156/17 or m?
m
Suppose 10 = 2*g, 0 = y + 5*g - 24 + 6. Let o(l) = 5*l + 28. Let c be o(y). Which is greater: -45/7 or c?
-45/7
Let v = 27 + -18. Let t be (-58)/(-21) - (-6)/v. Let w be 0 - (1 - 3 - 1). Which is greater: t or w?
t
Suppose r + 3*r - 5*u + 875 = 0, -5*r - 1115 = -2*u. Let a be -2 - -1 - (r - 10). Let d be a/(-65) + 4/(-10). Which is greater: d or -2?
-2
Let t(u) = u**3 - 5*u**2 - 15*u - 15. Let s be t(8). Which is greater: s or 59?
59
Suppose -2 = -q + x, -2*q - 3*x + 3 = 9. Suppose q = -4*s + 117 - 25. Is s at most 23?
True
Let g be -5 - 1*20/(-5). Is 1/14 smaller than g?
False
Let k be (-434)/4*15/(239700/(-8)). Let l = k + -2/47. Is 0 >= l?
False
Suppose 2*n + 3 - 5 = 0. Let w(d) = -2*d + 9. Let u(l) = l**3 - 5*l**2 + 6*l + 4. Let f be u(3). Let s be w(f). Are s and n equal?
True
Let h(c) = 2*c - 5. Let s be h(5). Suppose -s*b = -1 + 6. Let o = -155.08 - -155. Which is smaller: o or b?
b
Suppose -3*k + 8 - 20 = 0. Let b be ((-4)/(-84))/(5/(-345)). Does k = b?
False
Let i be (2 - -1)*(-2)/6. Let t = 724 + -490. Let y be 20/t*24/40. Is i less than y?
True
Let b = 582 - 581. Which is smaller: b or