1/2?
False
Let r = -114 + 50. Let z be 25 + -23 + r/31. Is 1 less than z?
False
Let q = 1 + -2. Let f be (-3)/(-2)*(-435)/(-783) - 19/18. Which is smaller: f or q?
q
Let x(j) = 25*j**2 - 2*j + 1. Let n be x(1). Let d(g) = g**2 + 2*g + 1. Let z be d(-1). Let u be -2*((-3)/n - z). Which is smaller: u or -2/5?
-2/5
Let i be 10198/(-5) - 10/25. Let t be (-8)/40 + (-7658)/i. Let h = t + -43/12. Which is smaller: 0 or h?
h
Let s = -17.1 + 18.01. Let g = s + -0.41. Which is smaller: -0.3 or g?
-0.3
Let v be 5*((-4)/(-50))/(276/1020). Is 2 smaller than v?
False
Suppose -4*j + 20 = j. Suppose -j*g = -10*g + 66. Which is smaller: g or 10?
10
Let m = -2/357 - 668/8211. Suppose -17 - 3 = -4*p. Suppose p*b + 0 - 5 = 0. Are m and b equal?
False
Suppose -12 = -9*o - 291. Which is smaller: o or -0.14?
o
Suppose 0 = 3*c - 2*p - 7, -4*c - 1 = c + 3*p. Let x = 7/1403 + 62/1403. Is c not equal to x?
True
Let m = 128.35 - 137. Let c = 5.46 + m. Let r = c + 0.19. Is 4 <= r?
False
Let p be (245/14 + -4)*18. Is p bigger than 242?
True
Let m(s) = -38*s + 6. Let n be m(-2). Let w = n - 82. Is w smaller than 3?
True
Let x = -0.5 - -27.5. Let p = x - 56. Which is greater: p or 1/3?
1/3
Let w be -52 - (-3 + 2 - -3). Let b be (-14)/(-56) + w/152. Let v = 1 - 1. Which is smaller: b or v?
b
Let p = -694 + 1545. Is 850 at most as big as p?
True
Let q = 360 - 1638. Is -1279 at least as big as q?
False
Let y = -0.7 - 0.3. Let k = 8 + -25. Which is bigger: y or k?
y
Let l = 0.55 + -3.05. Which is bigger: 6 or l?
6
Let i = 232162033/43 + -5398829. Let t = 288 - i. Let h = 96/215 + t. Do 0 and h have different values?
True
Let p be 168/1295 - (-12)/20. Is p less than 0?
False
Suppose -2*r = 0, 4*u - 6*u + 3*r - 2002 = 0. Let a be 11/(u/270) + 3. Are a and -1 unequal?
True
Let p(t) = 13*t + 429. Let q be p(-33). Is q less than 22.1?
True
Let a(m) = 2*m**2 + 9*m - 4. Let r be a(-5). Let f be (-2)/(-43)*r*2. Is 0 equal to f?
False
Let t = 15872/5845 + -1/835. Which is bigger: 2 or t?
t
Let v be 1 + -4 + (-3 - -10). Suppose -4*k = -5*s - 31, -2*k - v*s - 7 + 3 = 0. Suppose -3*b - 17 = -k*x, 2*b - b + 4 = x. Do -3/10 and b have the same value?
False
Suppose -7*w - 3*l = -2*w + 14, 0 = w + 5*l - 6. Let c = 8 + w. Let x be (c + 1)*(-14)/105. Which is greater: 2/9 or x?
2/9
Suppose t = -2*c - 1, 4*c = 2*t - 18 - 20. Suppose -t*n = -8 - 1. Let d be (-2)/(-12) + 62/(-300). Are d and n unequal?
True
Let p = -8 - -7. Let x be (-1 + p + 0)/(-1). Suppose x*z + 2 = -10. Which is smaller: -5 or z?
z
Let k be 2/3 - 38/30. Let b be (2 + 5)*15/(-300). Let g = b - k. Which is smaller: g or 1?
g
Let w be (-2 - 4) + -30 + 17. Which is smaller: -21 or w?
-21
Let z = -4.3 + 4.5. Suppose 0 = 2*f - 81 + 33. Is z less than f?
True
Let a = 9/620 - 19147/310. Is a smaller than -61?
True
Let d be 1*(-8)/(-28) + (8 - 37/7). Let o = -852/5 - -6891/40. Is d less than o?
False
Let b = -3.645 + 0.645. Which is smaller: 3/10 or b?
b
Let m be 2/5 + (-66)/(-10). Suppose 4*g + m = -0*r - 5*r, 0 = 5*r + 5*g + 5. Suppose -87*x = -80*x + 28. Which is smaller: r or x?
x
Let f(o) = -o + 3. Suppose 0 = 4*w - 2 + 10, 5*w = -5*l - 50. Let k be f(l). Let q be (-224)/(-385) + (-2)/k. Is q at most as big as 1?
True
Suppose 4*c + 4 = 0, 5*c + 0*c = -2*d + 767. Suppose 3*r = -d + 353. Which is smaller: r or -16?
-16
Let q = -449 + 444. Is -69/13 equal to q?
False
Let u be -4 - 3/7*(-182)/21. Let b = -65 + 64.06. Let i = -0.06 + b. Which is greater: i or u?
u
Let x be 3/4*2/4. Let r = -39/8 + x. Which is smaller: r or -7?
-7
Suppose -4*z - 5*t + 282 = -2547, 3*t - 15 = 0. Are 702 and z equal?
False
Let z(r) = r**2 + 13*r - 5. Let i be z(-13). Let f be 3/(-9)*(2 + i). Is f bigger than -2?
True
Let f be 3/((-16 + 5)/341). Does f = -836/9?
False
Let z(r) = -3*r**2 + 145*r - 49. Let t be z(48). Let v be 70/29 + -2 + 0. Which is smaller: v or t?
t
Suppose 28*b = 27*b + 112. Which is smaller: -1/2 or b?
-1/2
Suppose 2*d - 7*d - 2*q = -182, 0 = -d - 4*q + 40. Let k = d + -36. Is 4/23 less than k?
False
Let w(b) = -6*b + 8. Let p(s) = -s**2 - 5*s + 1. Let t be p(-4). Let d be w(t). Which is greater: d or -21?
-21
Let v be (-728)/(-8) + -5 - -10. Is v at least as big as 99?
False
Suppose 0 = -2*j + 81 + 67. Which is smaller: 73 or j?
73
Let t(c) = c - 6. Let f be t(9). Suppose -y = f - 11. Let r = -48 + 56. Is y less than or equal to r?
True
Let m(g) = -g**3 + 18*g**2 - 18*g + 2. Let q be m(17). Let s = -6 - 8. Is q at most s?
True
Let c = -3230 - -4711. Does c = 1481?
True
Suppose 6 = 4*l + v - 3*v, -2*v + 6 = 0. Suppose 2*j - 10 = 2*d, -j = -l*j - 4*d + 4. Which is greater: j or 46/9?
46/9
Suppose 4*b + b = 20. Suppose -2*d - 66 = -b*s, 0 = -3*s + 3*d + 2 + 52. Let h = s + -8. Is h less than 7?
False
Let f = 123 - 256. Do -130 and f have different values?
True
Suppose 10*t + 44 = -26. Let p(c) = -c**2 - 11*c - 26. Let k be p(t). Is k less than 12/11?
False
Let x = -16 - -25. Let o = 4085 - 16341/4. Which is smaller: o or x?
o
Let q = -0.0713 + 149.9713. Let h = q + -159. Let r = 9 + h. Are 11 and r equal?
False
Let s be (-700)/750*(262/(-266) + 1). Which is smaller: s or 0?
s
Let g(y) = -2*y**2 + 8. Let a be g(-3). Let z(b) = 7*b + 30. Let u be z(a). Is u at most -40?
True
Let f(z) = 6*z + 4. Let b be f(6). Let r be (4/(-8))/((-2)/b). Let k be r/(-30)*(-6)/2. Which is bigger: -1/8 or k?
k
Let q be 0 - 7 - (14 - 18). Let d be q/(-2)*16/372. Which is smaller: d or 1?
d
Let o be (2/6)/(11/3 + -4). Which is smaller: o or -42/103?
o
Suppose -3 + 2 = b. Let y = 63749/81 + -787. Let l = -338/567 + y. Are l and b equal?
False
Let g(s) = s**3 - 11*s**2 + 143*s - 460. Let n be g(4). Let y be (-2)/60 + (2 - 2). Is y at least n?
False
Let v = 1607 - 98025/61. Which is smaller: v or -1?
-1
Let r(q) = -q**3 + 8*q**2 - 5*q - 10. Let m be r(7). Suppose 0 = 3*h - m*u - 36, -3*h + 2*u = -34 + 4. Is 1 smaller than h?
True
Let u(p) = p**2 - 8*p + 10. Let x be u(7). Suppose -x*i - 19 = 14. Let t = -29 - -85/3. Which is bigger: t or i?
t
Let r = -12/17 + 7/34. Which is smaller: r or 58?
r
Let i(l) = l**2 - 7*l - 7. Let o be i(8). Which is bigger: 3/53 or o?
o
Let m(y) = -y**2 + 21*y + 27. Let n be m(16). Let o = 93 - n. Which is smaller: o or 0.1?
o
Let k be 4/30 + (-20)/((-372000)/(-1580)). Which is bigger: k or -1?
k
Let w = 0.14 + 1.86. Let d = 27 - w. Let a = 25 - d. Is -2 <= a?
True
Suppose 3*c - 2*n + 5*n = 45, -3*n - 3 = 0. Which is greater: c or 20?
20
Let h(w) = 19*w - 33. Let f be h(3). Let u = -39 - -63. Is u at least as big as f?
True
Let u = 0.4 - 0.3. Let i = 0 + -4. Is i less than or equal to u?
True
Let b(q) = q**3 + 4*q**2 - 7*q - 6. Let w be b(-5). Suppose -v = -c + 4, 2*v - w*c + 16 = 4*v. Let s(u) = -u**2 - 6*u + 5. Let t be s(-6). Is v < t?
True
Suppose -4*r + 250 = -6. Let p be 18/(-4)*40/(-6). Let b be (r/p - 2)*-10. Does b = -2?
False
Suppose 4*o = 4*p - 0*o - 56, 4*o + 68 = 5*p. Suppose s = 3*s - p. Let j be ((-8)/s)/(20/30). Is j at least as big as -7/3?
True
Let a = 4.7 - 5. Let c = -0.2 + a. Let s = -55 + 54.9. Is s > c?
True
Let j(x) = -x**2 + 3*x + 18. Let a be j(6). Let d be a/((0 - -1)*(3 + -5)). Let p be ((-8)/21)/(-1 + 3). Are d and p equal?
False
Suppose -19 - 14 = -3*h - 5*g, -4*g + 6 = -h. Let c be (2/h)/(1/3). Suppose -c = -x + 5*a, 3*x - 6*x = -5*a - 3. Is -2/33 > x?
False
Let a = 2/1495 - -2984/4485. Does -5/24 = a?
False
Let k(i) = 7*i + 30. Let t be k(-3). Let c = 1712 - 6807/4. Which is smaller: c or t?
t
Suppose 0*k + 2*k = -3*g - 1, -5*k - 13 = 4*g. Suppose i + g*n + 23 = -3*i, 18 = -4*i - 2*n. Is -3 at least i?
False
Let k(i) = -i**2 - 5*i + 13. Suppose 0 = 4*z - 12, -3*s = -2*z + 20 - 5. Let o = s + -4. Let a be k(o). Is 1/32 != a?
True
Let b(d) be the second derivative of d**5/20 - d**4/12 - d**3/6 - 8*d**2 + 9*d. Let n be b(0). Let r = n - -21. Which is smaller: r or 4?
4
Suppose 117 = -133*b + 124*b. Let z = 9 + -25. Which is smaller: z or b?
z
Let q be (3 - 4)*2 + 5. Suppose 5*f - q = -2*i - 4, -3*f - 3 = 0. Is 0 smaller than i?
True
Let y = -3 - 1. Let d be (-2)/(y/(-6)) - -67. Let u be ((-3)/(-10))/(12/d). Which is bigger: u or 1?
u
Let k be (-2)/(-1) - 4*1194/756. Let b = k + 38/7. Is 2 < b?
False
Let l = 32 + -30. Suppose -5 = -5*p, l*n - 52 = 7*n - 2*p. Let d be 10/n*(-4)/(-14). Which is smaller: d or