4*q + 13, 2*b = 5*q - 31. Which is greater: b or o?
o
Suppose s = -d + 136 - 42, 0 = -4*s + d + 401. Let k be 6/9 + (-48)/s. Suppose 0 = 5*t - 25, 28 = 4*h + 3*t + 9. Which is greater: k or h?
h
Suppose 76 = -4*r - 8. Do r and -4/3 have the same value?
False
Let g be 3688/44 - (1 + (-13)/11). Let m be (-44)/(-66) - 58/g. Which is smaller: 1 or m?
m
Suppose -9*p = -4*p + 7*p. Which is smaller: 20.7 or p?
p
Let q be 5 + (-16)/4 + 2. Suppose -5*z + 3 + 2 = 0, -3*z = -4*x - q. Which is bigger: -1 or x?
x
Suppose 5*k - 115 = 5. Suppose -2*c - 2*l = 0, 3*c + 5*l = 6*c - k. Let z be (-9)/c - (1 - -6). Is -10 greater than z?
False
Suppose -3*a - 4*n + 28 = 0, -n = -2*a - 0*a + 4. Suppose 3*t = t + a. Is 11/4 greater than t?
True
Let y = -10705 + 8210733/767. Let t = y + -5363/2301. Is -1 <= t?
False
Let w = 3.86 - -94.34. Let g = 99 - w. Are -0.06 and g unequal?
True
Let g = -5.79 + 7.79. Which is greater: g or -0.0629?
g
Let b(w) = w - 3. Let a = 9 + -4. Let h be b(a). Suppose 20 = -5*l, -2*l - 18 = -h*g + 2*l. Is -2/15 at least as big as g?
False
Let i(r) = -2*r**3 + 9*r**2 - 2*r - 1. Let h(x) = -3*x**3 + 8*x**2 - 2*x - 1. Let y(b) = 3*h(b) - 4*i(b). Let j be y(-12). Is j >= -24?
True
Suppose 0 = h - 2*x + 5, -h = -x - 4*x + 11. Let c = 17 + -12. Let m be (-5)/(-12)*(-10)/c. Which is smaller: m or h?
h
Suppose -1866 = -16*g + 4470. Is 395 smaller than g?
True
Let x be -4 + 1 - (3 - -4). Let z(y) = -y**2 - 11*y - 7. Let q be z(x). Let g(o) = -2*o + 28. Let n be g(11). Is n < q?
False
Let v be 2/6 + 25/(-87). Let k be (-10 - (-632565)/53244) + (-7)/4. Let z = k + v. Which is bigger: 1 or z?
1
Suppose 5*g - 29 = c, 0*c = 2*g - c - 11. Let r be -1*(-2)/(-8) - 10/(-8). Let u be r/(-3) + (-16)/(-3). Which is bigger: u or g?
g
Let h = -22170 + 4544862/205. Which is greater: h or -1?
h
Let v = 208.5 - 7.5. Is 0 < v?
True
Let y(j) = 3*j**3 - 2*j**2 - 2*j - 1. Let b be y(-1). Let a be (0 + 0/b)/2. Let p be 4/10*(-4 - -3). Are p and a nonequal?
True
Suppose -4*x - m + 26 = 9, 5*m + 15 = 5*x. Let j be (0 + x/(-310))/((-28)/(-105)). Are j and -1 non-equal?
True
Let d = -179/1455 - 1/97. Is d bigger than -1?
True
Suppose -4*o + 4*c = -28, 0*o - c = -3*o + 25. Let j(y) = 4*y - 37. Let g be j(o). Which is smaller: g or 4/25?
g
Let r(u) = 3*u + 5. Let l be r(-3). Let g = -3 - 0. Let o = l - g. Which is greater: -6/13 or o?
-6/13
Let t be 1*(-1)/(-1) - 8. Let k(h) = h**3 - 6*h**2 - 10*h + 17. Let j be k(7). Let c = j - 4. Which is bigger: t or c?
t
Suppose 2*n + x - 296 = 0, 5*n - x - 4*x - 725 = 0. Let r = -146 + n. Which is greater: 1/20 or r?
r
Let l = -109/39 - -45/13. Which is smaller: l or 1?
l
Let a = 0.73 + -0.83. Let n be (3/(-3))/(1*(-22)/(-4)). Are a and n nonequal?
True
Let f = -11 + 12. Let o be (-8)/(-12)*f/3. Let z be 1/(2/(-1))*2. Which is smaller: z or o?
z
Let s = -226/687 + -1/229. Which is smaller: 4.1 or s?
s
Let o(d) = d**2 - 5*d - 23. Let x be o(10). Suppose f - x = 5*f - 5*p, 0 = f - 4*p + 4. Let u = -10 - f. Is -1 greater than u?
True
Let l(w) = w**3 + w**2 - 3*w - 3. Suppose 0*h = 4*b + 4*h + 24, -4*b = -3*h - 4. Let t be l(b). Are -6/7 and t equal?
False
Suppose a - 59 = 17. Which is smaller: 77 or a?
a
Let b(u) = -7*u - 92. Let i be b(-13). Is -7/22 < i?
False
Let r be 6/27 + (-29)/9. Let b be 3 - r/(-4) - 2. Let q be (2/7)/((-6)/(-14)). Which is smaller: b or q?
b
Let h(j) = -j**2 - 60*j - 116. Let u be h(-58). Which is smaller: u or -15?
-15
Let w be ((-19)/2)/(195/(-130)). Do w and -18 have the same value?
False
Let l = 0.159 + 32.841. Which is bigger: l or -2/9?
l
Let h = 7 - 4. Let d be 23/2 + h/(-6). Suppose 13*n - d*n - 2 = 0. Is n smaller than 1?
False
Let t = 2527 - 10297/4. Is t bigger than -46?
False
Suppose -4*a + 4 = 3*y - 0, -4*a - 4*y = 0. Suppose -5*d - 2 = -7, 4*d - 24 = -a*q. Suppose 3*b + 26 = q*b. Is 12 at most as big as b?
True
Suppose -7*r = -4*r - 6. Is r less than 7?
True
Let u = 16 - 12. Let m be u/8*2*4. Suppose 2 = j - m*t - 17, j + t = -6. Which is smaller: j or -10/7?
-10/7
Let o = -7 + 3. Let x be ((-22)/33)/(o/3). Which is smaller: 0 or x?
0
Let l(f) = f + 5. Let q be l(0). Suppose 0 = -q*z + 10 + 15. Let j be (z/(-25))/((-64)/(-10)). Do j and -1 have different values?
True
Let f be (-22572)/231*1/3. Which is smaller: -33 or f?
-33
Suppose -5*f - 340 = 4*q - 3*f, 0 = -2*q - 4*f - 176. Which is bigger: -85 or q?
q
Let t be (0/((-30)/5))/(-2). Which is smaller: 160 or t?
t
Let r be (-6)/18*75/35 + 0. Are 0 and r non-equal?
True
Suppose -p + 41 = -4*t, t = -p + 4*t + 42. Suppose -4*g - o - p = 0, -4*g - 30 = -0*g - 2*o. Are g and -10 unequal?
False
Let b be 2/(-16) - 1274/(-9520). Are -1 and b unequal?
True
Let h = -58.1 - -58. Which is smaller: h or -0.218?
-0.218
Let l = -9 - -14. Suppose -l*d = -6*d + 1. Suppose d = y + 4. Which is bigger: 2/7 or y?
2/7
Suppose -2*r = -r - 6*r. Suppose -5*f = h - 2*f - 18, -2*h = 4*f - 26. Suppose h*s - 5*s - 14 = 0. Which is smaller: r or s?
s
Let x = -139/4 + 34. Which is greater: x or 6?
6
Let g(d) = 2*d**3 - 16*d**2 + 19*d - 31. Let f be g(7). Is 4 at least as big as f?
True
Let j be -3 + (7 - 4) + 30 + 5. Are 37 and j equal?
False
Let h be (-7)/21 + (-50)/(-6). Suppose -60 = h*d - 13*d. Do 10 and d have different values?
True
Let z = 0.1284 + 0.0216. Is -8 less than z?
True
Let x = -3 + 1. Let j be x - (-2 + 0 - -1). Is -2/9 >= j?
True
Let q(j) = -14*j - 13. Let t be q(-10). Is 128 > t?
True
Let r = 78 - 78. Let m = 5 + -7. Which is smaller: r or m?
m
Let u be ((-32)/(-12))/((-3)/9). Let m be (-52)/u + (-1)/(-2). Let z(g) = g**2 - 8*g + 10. Let f be z(m). Which is smaller: 12/7 or f?
12/7
Suppose 51*c - 52*c = -9. Suppose 0*b + 3*w = -b + c, 6 = 4*b + 2*w. Is b greater than 0.32?
False
Let l be (-2)/6*(1 - 13). Suppose l = -x + 5*h, h - 3*h = -3*x + 1. Let z(y) = y**2 - 2*y. Let m be z(0). Which is greater: m or x?
x
Let z = 26 - -32. Let x = 54 - z. Which is smaller: -2 or x?
x
Let w be (-1)/2*(659 + 23). Does -340 = w?
False
Suppose -z = 2*w + 1315, -4*w = 5*z - 2*z + 2631. Let r be w/(-315) + (-4)/5. Is 0 greater than r?
False
Let m = 34 - -7. Let a(s) = -15*s - 5. Let d be a(-3). Are d and m non-equal?
True
Let d = -11/1416 - -4571/952968. Is d bigger than -1?
True
Suppose -2498 = -48*t - 290. Is 41 > t?
False
Let x = 1046 + -1047. Is -155 bigger than x?
False
Let o = 50.1097 - 0.1097. Is o equal to 5?
False
Let z be (-2)/(-7) - 241304/(-588). Let j = z + -12730/31. Which is smaller: 1 or j?
j
Let b(i) = -i**3 - i + 4. Let f be b(0). Suppose 0 = 9*v - 5*v + f. Which is smaller: 1 or v?
v
Let u(t) = -149 + 14*t + 86 + 132. Let x be u(-5). Let i be ((-4)/(-51))/(2/(-3)). Which is smaller: i or x?
x
Let x = -16/41 - -122/943. Does x = 0.07?
False
Let b = 296 + -296. Which is greater: b or 2/541?
2/541
Let o be 7623/(-12530) + (-27)/(-45). Do o and 1 have the same value?
False
Suppose 5*l - 44 = 56. Suppose 3*v = -l + 8. Let r = -701/235 + 18/47. Which is bigger: r or v?
r
Suppose 149 = 5*h + a, 5*a - 14 - 122 = -4*h. Suppose 24*b + 35 = h*b. Is b at most -2/9?
False
Let c be 31171/3416*(-1)/(2/12). Which is smaller: c or -55?
-55
Let d = 72 - 73. Let b = -107/4 + 2049/76. Is b at most as big as d?
False
Let w be (5 + 2)*1/1. Let k(y) = -6*y - 1. Let x be k(-1). Suppose f - 3*s - 16 = 0, -x*f - 2*s = 3*s - 20. Are w and f equal?
True
Let z = 1.34 + -1.18. Which is smaller: 0.01 or z?
0.01
Let a be (-7)/(-14)*-15*2. Let o(h) = h**2 + 15*h - 1. Let b be o(a). Let m be 2/(-7) - (-18)/(-728)*-10. Is m equal to b?
False
Suppose -3*n + 26 = 5*s, -2*n - 4*s + 3*s + 29 = 0. Let u = n + -15. Is u at most as big as -0.27?
False
Suppose 2*g - g + 27 = -2*q, 3*g - 39 = 4*q. Let b = q + 13. Which is greater: b or -4?
b
Let v be ((-10)/3)/((64/18)/8). Let g(f) = f + 1. Let l be g(-10). Is v greater than or equal to l?
True
Suppose -254*a - 90 = -248*a. Is a greater than or equal to -21?
True
Let d = 1495.1 + -1495. Let k = -2 - -5. Is d at most as big as k?
True
Let i = -427 + 414. Is -0.21 smaller than i?
False
Let v = 21 + -20. Let g be (-2 + v)/(-1 + 0). Which is smaller: 1/9 or g?
1/9
Let n = 1 - -8. Let k be 5/(8 + -3) - 12/n. Is -11 less than or equal to k?
True
Let z(l) = l - 26. Let y be z(-12). Let j be -4 - (y/16 - (4 + -2)). Is 0 less than j?
True
Let k(u) = -u**3 - 5*