s k <= g?
False
Let q(c) = 16*c - 161. Let z be q(10). Does 3/74 = z?
False
Let h = -81 + 87. Let i = 2 - -10. Let j be (-10)/i + (-6)/(-4). Which is greater: j or h?
h
Let t be (-7)/(7/4) - (-2)/1. Let b = 0.19 + -15.19. Is t bigger than b?
True
Let d = 1.6 + -2. Let c = 54 - 53.2. Let h = d + c. Which is bigger: h or -2/11?
h
Let m be (-160)/620*(2 - 2 - -1). Which is bigger: m or 0?
0
Let a = 131 - 92. Suppose -5*x = a - 9. Let t be 2*4/8*-5. Which is greater: x or t?
t
Let f be (-7 - -10) + 2/(-1). Let t be 35/30 - (1 + -1). Which is greater: t or f?
t
Suppose -5*a - 815 = 235. Is a greater than -1?
False
Suppose 5*l = 8*l - 9. Is 4 < l?
False
Suppose h = -2*h + 399. Suppose 5*j - 93 + h = 0. Which is smaller: j or 2/11?
j
Suppose 22*r = 23*r - 1. Which is greater: r or -7/57?
r
Let m be (-70)/(-12)*96/(-120). Does -4 = m?
False
Suppose 2*p - 72 = -p. Let w = -46 + p. Let d be (-9 - -5) + w/(-4). Which is smaller: 2 or d?
d
Let v = 3 + -4. Suppose -u = 3*n + 1, -4*u - 4*n - 12 = -0*u. Let w be (-27)/12*u/(-30). Which is smaller: w or v?
v
Let y(g) = -g**3 - 4*g**2 + 5*g + 5. Let l be y(-5). Suppose l*c - 41 = -1. Let d be 9 + 1*(0 - 1). Is c >= d?
True
Let t(m) = -27 - 125*m + 123*m - 5. Let h be t(-5). Are -22 and h unequal?
False
Let b be 7 - 16/(-4 - -8). Let j be (b/1)/9*-3. Which is greater: j or -3/22?
-3/22
Let l be -1*1 - (-36)/9. Suppose -3*v = -l + 15. Let k be 14/v*(-3 - -5). Do k and -8 have different values?
True
Let p(y) = 6 - 9 - y + 1. Let v be p(3). Let s be 2/v - (-64)/10. Is 4 at most as big as s?
True
Let l(f) = -4*f**2 + 8*f - 2. Let b be l(3). Let z be ((-10)/(-10))/((-1)/b). Suppose 0 = k - 2 - 11. Which is smaller: z or k?
k
Let o = -20 - -24. Suppose 0*a - o*a = 8. Is a at least -2?
True
Let d be (-2 - (-10)/4)/(6/12). Let a(c) = c - 2. Let b be a(d). Let p = -0.2 - -0.3. Which is greater: p or b?
p
Suppose 0 = c + 3*c + 2*u - 18, -5*u = -3*c + 7. Suppose c*q = -4 + 8. Does -4/9 = q?
False
Let j be (5 - 2) + ((-37)/(-4) - 6). Which is bigger: j or 6?
j
Let z be -4 + ((-246)/(-130) - -2). Let y = z + 1109/11505. Is 1 greater than y?
True
Let s = -48 - -53. Suppose -9*n = -s*n. Is 6/37 not equal to n?
True
Let p(c) = -11*c + 50. Let a be p(5). Let x = -13 - -10. Is x less than a?
False
Let o = 0.1 - 0.11. Let x = 0.302 + -0.202. Is o != x?
True
Let m be ((-30)/50)/(62/(-10)). Which is smaller: m or -1?
-1
Let h = -19.5 + 17. Let m = h - -2.7. Is 1/6 less than m?
True
Let i = -858 + 5994/7. Is i greater than -1?
False
Let a = -246 + 257. Is a at least as big as 11?
True
Let b(w) = -w**3 - 6*w**2 - 5*w + 2. Suppose 0 = -c - 4*y + 15, 4*y - 2 = -2*c + 8. Let a be b(c). Suppose q - a*q = 4. Is -4 <= q?
True
Let g be ((-1)/3)/(4/60). Which is smaller: 9 or g?
g
Suppose -4*l + 197 = -5*i, -i + 47 = l - 3*i. Let d be l/(-30) - 3/(-2). Is d greater than or equal to 1?
False
Let o(j) = j**3 + 9*j**2 - 2*j - 34. Let z be o(-9). Which is smaller: -13 or z?
z
Let y = -64/5 - -103/10. Let m(j) = j**3 - j**2 - 5*j + 2. Let c be m(3). Suppose 0 = -4*x + 2*d - 18, -c*x - 2*d = -0*x. Is y != x?
True
Suppose 3*y = -5*s - 42, -s + 3*s - 2*y + 4 = 0. Let r = 62 + -50. Let a be (r/(-8))/((-6)/(-16)). Is s greater than or equal to a?
False
Suppose 0*n - 12 = -n. Let x = n - 14. Let f = x - 4. Which is smaller: f or -5?
f
Let p(v) = 15*v**3 + 3*v**2 + 2*v + 2. Let l be p(-2). Let r = l + 1539/14. Suppose 0 = 3*h - 0 - 3. Which is greater: r or h?
h
Let k be 18/(-28)*(-5)/((-6960)/(-32)). Which is smaller: k or 2/5?
k
Let d be ((-1)/(-3)*2)/((-76)/342). Suppose 44 = 2*n - 0. Suppose -3*f - 2*f = -4*h + 17, 0 = h + 4*f + n. Which is smaller: d or h?
d
Suppose -31*g - 34 - 28 = 0. Suppose -3*x - 5*r + 76 = -0, -26 = -x - 2*r. Which is greater: g or x?
x
Let f = -276 + 277. Let s be (-9)/78*(-12)/9. Is f greater than s?
True
Let f be 4/14 - (-324)/(-1085). Let u = 1935 - 1936. Which is smaller: f or u?
u
Suppose 0 = 2*z + l + 3*l + 8, -z + 4*l = -8. Let m be (-324)/(-78) - 2/13. Suppose z = -w + m*w. Which is bigger: -4 or w?
w
Let j be (-3)/6 - (-6)/4. Let s(u) = -16*u**3 + u**2 + u - 1. Let g be s(1). Let p be (g/(-20))/((-6)/(-16)). Which is smaller: p or j?
j
Let t = -9425/17 + 554. Suppose 0 = 4*a - 8*a. Which is smaller: t or a?
t
Let u(j) = j**3 - 10*j**2 - 4*j + 109. Let w be u(9). Which is bigger: 1 or w?
1
Let h = -23.1 - -23. Let d be ((-7552)/9680)/(6/(-5)). Let q = d + 2/121. Is q greater than or equal to h?
True
Let p(k) = -2*k + k + 8 + 0 - 3. Let q be p(-5). Let d be ((-4)/(-2))/(q/25). Which is smaller: d or 6?
d
Let b = -3/118 + 892/33925. Is 1/2 > b?
True
Let a(l) = -l**3 - 2*l**2 + 48*l - 1. Let b be a(6). Is -3/1432 at least as big as b?
True
Let o = 161 + -55. Let k = o + -105.9. Is -3/5 >= k?
False
Let f = 0 + -0.76. Let p = 0.06 + f. Are -0.1 and p unequal?
True
Let n(d) = 15*d**2 - 9*d + 23. Let t be n(2). Which is smaller: -12 or t?
-12
Let b be (-2)/(-9) - (-148)/(-18). Let z = 15 + b. Which is greater: z or 6?
z
Let t = -9 + 18. Let p(g) = g - 8. Let x be p(t). Which is smaller: -1 or x?
-1
Let f be 457/(5 - (-16)/(-4)). Let q be 15/(-35) - f/(-21). Let j = 21 - q. Is -1 at most j?
True
Let d(v) = 2*v**2 - 9*v + 4. Let x be d(4). Is 13/22 >= x?
True
Let y be 2/(-4) + 1/4. Let z = 13.98 + 0.02. Let k = z - 26. Do y and k have the same value?
False
Let b(r) = -2*r**2 - 37*r - 83. Let u be b(-19). Which is greater: -101 or u?
-101
Suppose 34 = -2*n + 2*p, -2*n = 7*p - 6*p + 31. Which is greater: -3 or n?
-3
Let f = -52 - -38. Let j = f + -2. Let i = 17 + j. Which is bigger: 4 or i?
4
Suppose 4*f + 54 = 6*f. Let t = 26 - f. Let s be (1 - t)*1/(-2). Is -1 smaller than s?
False
Suppose 0 = 4*a + 12, 2*a - 4*a = 4*g + 918. Let z = g - -3421/15. Which is bigger: z or -1?
z
Let p = 473 + -335. Let w = -139 + p. Which is smaller: 1/12 or w?
w
Suppose 0 = -2*o - 2*o - 4*i + 988, -o - 4*i = -232. Suppose 0 = -7*b + 16*b - o. Which is smaller: b or 27?
27
Let a(l) = -l**2 - 5*l - 8. Let k be (15/6)/((-4)/(-8)). Let g be a(k). Which is bigger: -59 or g?
g
Let a = -2 - -2. Let m(w) = w - 3. Let f be m(7). Suppose n - 6 = -p - 0*n, f = 4*p - n. Which is smaller: a or p?
a
Let p = -0.1556 - -0.5556. Is p bigger than 288?
False
Let j = -20 + 20.7. Let t = j - 0.1. Is t smaller than -4?
False
Let u(a) = -3*a. Let t be u(1). Let g be (33/22)/(t/(-8)). Let v be 0 + g/(-3 - -7). Is 8/9 > v?
False
Let t be -5 + (5/(-45) - (-2)/6). Is -4 greater than or equal to t?
True
Let a = -1320 + 17156/13. Which is smaller: a or -1?
-1
Let j be -4*(3 + (-18)/8). Let v = 1352 + -1352.3. Which is smaller: j or v?
j
Let k be (-1 - 30)/(1/1). Suppose -47 = 8*o - 127. Let s be 14*(-3 - k/o). Which is smaller: s or 2?
s
Let p = 407 + -407. Is 1/182 at most as big as p?
False
Let u(v) = v**2 + 10*v - 27. Let a be u(-12). Which is smaller: a or -82/25?
-82/25
Let x = -11 - -11.03. Let g = 1086556/7281 - 23/2427. Let m = 149 - g. Which is smaller: m or x?
m
Let w = 0.03 - 0.01. Let r = w + -0.02. Let z = 0.45 + 0.65. Are r and z equal?
False
Let o be 8/20*10/(10/5). Is o at least -270?
True
Let p = 839741/229 + -3667. Is p smaller than 0?
True
Suppose -8*c + 3*c + 30 = -2*r, -10 = 2*r. Suppose -5*j + 2*k + 1 = k, 2*j = -c*k + 18. Suppose -w = j - 10. Which is bigger: 8 or w?
w
Let w(r) = 21*r - 355. Let f be w(13). Which is bigger: -165/2 or f?
f
Let d(n) = n**2 - 10*n - 43. Let u be d(14). Let m = -6 - -20. Which is smaller: m or u?
u
Let x be (-10 + 52)*4/18. Let p = 277/30 - x. Which is bigger: -1/4 or p?
p
Suppose -2*a - 3*y = -6, -2*a - 13 = -5*y - 3. Let p = -4565/13 - -351. Let l = 17/26 + p. Are a and l equal?
False
Let x(a) = -a**2 - 25*a - 49. Let s be x(-6). Which is bigger: 63 or s?
s
Suppose -3*d = -d + 28. Let b = 2095/2 - 1060. Is b at least d?
True
Let u = -56 - -57. Let k be (-28)/35*15/(-51)*2. Which is greater: u or k?
u
Let c = 3 - 2. Suppose -64*q - 47*q + 441 = 36*q. Which is bigger: q or c?
q
Let d = -272.9 - -273. Is d greater than or equal to -0.6?
True
Let k be (-5)/((-10)/(-533))*2. Is -534 < k?
True
Suppose -8*v + 52 = 236. Let p = -3 + 3.1. Which is bigger: v or p?
p
Let n = 18 - 6. Let y(i) = -8*i - 3. Let p be y(-2). Let q = n - p. Is 3/10 equal to q?
False
Let q be 27 + 2 + 3/3. Let u be 1*(133/(-28))/((-2)/(-8)). Let y be