s smaller: z or 4/9?
4/9
Let b be 2 + -62 + (-3)/(-3). Let l = -286 + 227. Is b > l?
False
Suppose 25 = 5*m - 5*l, -m - 3*l = 11 - 4. Suppose 3*t + 20 = -t. Does t = m?
False
Let d = -271 + 215. Are -58 and d equal?
False
Suppose 8 = 2*i, i + 3*i - 72 = -4*m. Let f = m + -15. Let r be (-2)/4*f*4. Is r <= 6/7?
False
Let k = 1911 + -55412/29. Which is smaller: 1 or k?
k
Let h = 604898/695 + -4352/5. Is h less than or equal to 0?
True
Suppose -14*g - 195 = 855. Is g bigger than -75?
False
Let b(g) = -3*g - 8. Let i be b(-5). Suppose h + 132 = i*h. Which is smaller: 20 or h?
20
Let c be (3 - -56) + (-5 - -3). Is c bigger than 62?
False
Let v be 25/(-21) - (-3)/9. Let d = 168 + -169. Which is greater: d or v?
v
Let d = 5803 + -5830. Let f be -1*2*39/3. Which is greater: f or d?
f
Suppose -3*z - 50 = 3*n + 25, 0 = 5*n - 2*z + 139. Is -37 at least as big as n?
False
Let g = -1.28 - -0.08. Let a = g + 0.2. Let j = 2.01 + -2.1. Which is smaller: j or a?
a
Let g = -1/35 + -9/35. Are g and -0.56 nonequal?
True
Let f be 1099/(-70)*14 - 5/25. Which is greater: -216 or f?
-216
Let q(m) = -2*m + 0*m + 14 + 4*m. Let z be q(-6). Suppose -z = 5*t - 7. Is t equal to 2/9?
False
Let p = -7122 + 28319/4. Which is smaller: -43 or p?
-43
Let v be 4/10 - 16/(-10). Let y(w) = w**3 + 7*w**2 - 11*w - 19. Let m be y(-8). Suppose 0 = m*g + 15, -2*n - v*g = 2*g + 10. Which is bigger: -1/8 or n?
n
Suppose -5*t - 3*g = -137, -29 = -t - 4*g + 12. Suppose -t = 3*s - 7. Suppose -9 - 6 = 3*d. Is s at most d?
True
Let y(g) = -g - 15. Let h be y(7). Let f be ((-1)/4)/((-3)/h). Is f != -2?
True
Let q = -0.327 - 0.973. Are 0.8 and q equal?
False
Let p = 234971/167 - 1407. Which is smaller: 1 or p?
p
Let c = -55855/2 - -7205147/258. Let t = 45098/559 - 1050/13. Let u = t + c. Is u > -1?
True
Let i = 1746291/62 - 177293419/6634. Let l = 1441 - i. Suppose -7*h = -3*h. Which is smaller: l or h?
l
Let t be (3/3)/((1914/12)/(-11)). Let i be (-2)/(-3) + (-1)/(-3). Which is greater: i or t?
i
Let m be 6 + (-11)/(-22) - (-2 + 4). Which is smaller: -1 or m?
-1
Suppose -11*r - 2*c = -12*r - 28, 23 = -r + c. Which is bigger: r or -53/3?
-53/3
Let b(f) = -f**2 - 48*f - 47. Let y be b(-47). Which is bigger: 3/140 or y?
3/140
Let q(h) = -h**2 + 8*h + 10. Let p be q(9). Let v be (-65)/(-39) + (-1 - 0 - p). Is 1 greater than v?
True
Let t be (-52)/(-44) - 6 - -5. Which is smaller: 0 or t?
0
Let l(f) = -3*f**3 + 17*f**2 + 2*f + 25. Let n be l(6). Which is greater: 46.7 or n?
46.7
Let d be (-22)/77 + 254/(-140). Let v = d - -8/5. Is -2/7 at least v?
True
Let w be 0*(-21)/28*(-2)/3. Suppose w = -q - 4 - 5. Is q at most as big as 3?
True
Let d(t) = t**2 - 2*t - 2. Let w be d(3). Let s be (-3)/12 + (-21)/(-12)*-1. Let i be (s/(-20))/(w/2). Which is smaller: i or -5?
-5
Let g = -14366 - -14372. Let b be 1 + 0 - (-2 - 1). Which is smaller: g or b?
b
Suppose 0 = -7*r - 18 + 25. Are -1/206 and r nonequal?
True
Let m = 31 - 26. Suppose 0*k = -k, -3*l = m*k. Which is bigger: l or 1/9?
1/9
Let y be (-121)/28 - 208/(-364). Let s be (-2)/(-1) - (5 - 2). Let o be 2/(-2)*(-5)/s. Which is smaller: o or y?
o
Let a be (-2)/(-14) - (-6759)/(-567). Are -1 and a nonequal?
True
Let f be (6/15)/((-3)/(-345)). Suppose -4*t = -3*x + 5*x - f, 3*t - 32 = -x. Let a = -4 - -13. Is a at most t?
True
Let h = 55 + -54.99. Let d = 1/21 - -37/105. Which is smaller: h or d?
h
Suppose -5*t - 77 = 33. Let z be 7/t*(-8)/14. Which is bigger: -2/11 or z?
z
Suppose 3*j = 2*m + 14, 4*j - m = 3*m + 24. Suppose 2*c - 46 = 3*b, 29 + 19 = 2*c - 2*b. Let n be 4/6*39/c. Do n and j have different values?
True
Suppose 0 = -l + j + 4, -37 = 2*l + 3*j - 30. Do -15 and l have different values?
True
Let j(w) = -8*w - 10. Let d be j(-7). Suppose -3*t = m + d, t + 0*m + 16 = -m. Let i = -15 - t. Is -2/3 less than i?
True
Let o be -1 - 1 - 40/(-18). Let u(y) = -4*y**2 + y**3 - 12*y**2 + 1 + 2*y**2. Let m be u(14). Which is bigger: m or o?
m
Let s be ((-16)/(-32))/((-1)/12). Let r be 75/(-10) + (-1 - 3/s). Let w(j) = j**3 + 3*j**2 + 3*j. Let n be w(-3). Which is smaller: n or r?
n
Let u = 29 - -22. Let w = u - 58. Which is greater: -9 or w?
w
Let h be (-792)/1254*2/(-92). Which is smaller: h or -1?
-1
Let d = 104 - 105. Let q = -18 - -23. Does q = d?
False
Suppose -5*z + 2*i = -0*z - 310, 0 = -2*z - 3*i + 105. Let c be 186/(-8) - 45/z. Which is smaller: -22 or c?
c
Let y = -206 - -88. Let z be (-44)/(-110) - y/5. Are 23 and z nonequal?
True
Let j = 0.9 - 0.2. Suppose 0 = -5*t - 10, -z - 2*z + 4*t = -50. Let f be (-4)/6*6/z. Which is smaller: f or j?
f
Suppose -6*o = -5*o - 24. Let g = o - 25. Are g and -1/24 unequal?
True
Suppose -9*g - 34 = -286. Are 28 and g non-equal?
False
Suppose 0 = -11*k + 27 + 28. Suppose -k*w = -3*v + 47, v - 2*v - 4*w + 27 = 0. Which is bigger: v or 18?
v
Let f(c) = 2*c + 1. Let g(o) = -4*o - 2. Let l(u) = 5*f(u) + 3*g(u). Let r be l(4). Let h = -31 + 21. Is h at least as big as r?
False
Let p be (63/(-9) + 6)/(15/51). Which is smaller: -4 or p?
-4
Let d be -1085 + (-1)/((-10)/(-80)). Which is smaller: -1094 or d?
-1094
Let y(u) = u**3 - 6*u**2 + u - 28. Let o be y(4). Is o equal to 0.7?
False
Suppose 0 = 4*k - 5 - 3. Suppose -k*i - 12 = 20. Let y = i + 4. Is -11 smaller than y?
False
Suppose -2*j + 28 = -32. Let m be j*(-4 + (-23)/(-5)). Let x = m + -19. Which is bigger: x or 1/23?
1/23
Let a = 15 - 14. Let b be -1*((-1937)/(-22) - -2). Let g = 90 + b. Is g >= a?
False
Let r = -29/15 - -8/5. Is r at least -0.547?
True
Let a be ((-59)/408)/(2/(-6)). Let m = a - 3/8. Let y be -2 + 2 + 0 - 0. Which is smaller: m or y?
y
Let u = 115.3 - 125.3. Do -17 and u have the same value?
False
Let q = -39.7 + 3.7. Let j = 403.1 - 403.1. Which is greater: j or q?
j
Suppose 4*h - 219 = -223. Which is smaller: h or 155?
h
Let g be (65/10 - 7)*0. Which is smaller: g or -4/439?
-4/439
Let i(l) = -2*l - 16. Let m be i(-9). Suppose m*b = -2*b + 2*p - 334, 2*p + 346 = -4*b. Is b not equal to -85?
False
Let c = -0.7 - -1.3. Let q = -232/9 - -26. Is q at least as big as c?
False
Let r = -24.25 - -0.25. Let q = -27 - r. Is -3 at most q?
True
Let s = 4.03 - -0.97. Is 29/3 equal to s?
False
Let a(m) = -2*m**3 + 23*m**2 + 10*m + 38. Let p be a(12). Which is greater: -5 or p?
p
Suppose 5*z + g - 2*g = -240, 2*g - 235 = 5*z. Which is greater: -0.3 or z?
-0.3
Let g = 288/2135 + -3/61. Suppose -5*r + 3 = 3*y + 36, 5*y - 1 = r. Which is greater: y or g?
g
Let b be (-1 + 0)*-4 - (-22 + 26). Is b != -11/21?
True
Let r be (-4073)/12237 + (-156)/(-468). Which is smaller: 0 or r?
0
Suppose 14*d + 20 = 19*d - 3*n, d - 3*n = 16. Which is smaller: d or -5/84?
-5/84
Let b = 10 - 6. Let x be 4/(-3) + 14/42. Is x > b?
False
Suppose 0 = -2*x - 5*w - 2, -7*w = -4*x - 2*w - 4. Let d = -17345/11 + 1575. Are x and d equal?
False
Let f be (6 - 8)*4/96. Which is smaller: 11 or f?
f
Let n = 27 - 7. Let g = -41/2 + n. Let f be (5 + (-268)/56)/((-2)/(-8)). Is f <= g?
False
Let q be (0 - 3) + (-3 - -19). Suppose 4 = -3*a + q. Suppose -a*c + c + 8 = 0. Is c greater than 4?
False
Let o be (2 + 0)*(-10)/(-4). Suppose -g - 1 - 6 = 2*y, -o*g - 13 = -y. Let m be (-1 + -2)*y/3. Is m not equal to 2?
False
Let o be 6 - (-45)/(-10) - 1/(-2). Let w be (0 - -1) + 2 + 0. Suppose w = o*g + g. Which is smaller: g or -3/10?
-3/10
Let z = 2577 + -2368. Which is smaller: z or 1874/9?
1874/9
Suppose 74*k - 70*k - 40 = 4*t, 4*k - 10 = -2*t. Let h = -1 - 5. Is t greater than or equal to h?
True
Let x(k) = -5*k**2 - k - 1. Let j be x(1). Let t(b) = b**2 + 8*b + 3. Let c be t(j). Which is greater: c or 3?
3
Let j = -76 - -77. Which is bigger: -4 or j?
j
Let v(h) = h**2 + 15*h + 18. Let n be v(-14). Suppose -x = 4*r - 6 - 2, 0 = n*x + r + 43. Suppose -p + 40 = -5*p. Is x less than or equal to p?
True
Suppose -4*s = -5*j, 3*s - 6*j + 8*j = 0. Are s and 7/40 equal?
False
Let v = -250 - -274. Which is smaller: v or 1?
1
Suppose -69*v = -75*v - 36. Let k = 0.05 + 0.25. Are k and v non-equal?
True
Let l(w) = w**3 - 13*w**2 + 27*w - 66. Let o be l(10). Which is smaller: o or -91?
o
Suppose 2667 = 7*t + 651. Is t bigger than -1?
True
Let o = 925131/6538 + -2/3269. Is o bigger than 142?
False
Let b be -1 + (-2 - -4) - (-270)/(-450). Which is bigger: b or -276?
b
Let s = 0.1984 - -0.0016. Which is smaller: s or 1