 Are -183 and s equal?
False
Suppose -1674 = -41*u + 35*u. Suppose -43 - u = y. Let b be ((-8)/y)/((-48)/24). Which is smaller: b or 0?
b
Let h be (104/(-143))/(-8) + (-17081)/(-143). Is 120 < h?
False
Let z(g) = -269*g + 3782. Let u be z(14). Let v(k) = -k**3 - 7*k**2 - 10*k - 6. Let h be (12/(-10))/(3/15). Let l be v(h). Which is smaller: l or u?
u
Let a be 9/21 + (-10)/7. Suppose 0 = -2*h - 2 - 4. Let k be ((-3)/39)/(3/h). Do a and k have different values?
True
Let c be ((-2)/2 - 771970/(-510))*(-2)/(-4). Which is smaller: c or 756?
756
Suppose 21*b - 28*b = -392. Let u = -76 + b. Let s = 6 + -4. Which is bigger: s or u?
s
Let o = 1877 - 1879. Let p be (-3 + 31)/((-3)/1). Which is smaller: o or p?
p
Let j(l) = l**2 - 4*l + 42. Let x be j(5). Let v = 143 + -95. Let d = x - v. Is -0.1 smaller than d?
False
Let i = 183.39 + -183. Let h = i - 0.307. Which is greater: 2 or h?
2
Let d be 12/(-48) + 2/8. Suppose 10*r + 54 + 136 = d. Suppose a = -4*a - 90. Are r and a equal?
False
Let t = 79 - 75. Suppose -c = t*w - 2, -5*c + 46 = -2*w - 8. Suppose i = c*i - i. Which is smaller: i or 5?
i
Let w(t) = 3*t + 2. Let i be w(-3). Suppose x - 29 = -5*u, -2*x = -3*u + 7*u - 28. Which is bigger: u or i?
u
Let s = -9 - -13. Let x = s - 4.05. Let n be (-70)/10 - (0 - 8). Is x less than or equal to n?
True
Let j = 1230/13 - 119167/1261. Which is smaller: j or -1?
-1
Let c be (3/(-6))/(1/(-82) + 0). Suppose 1 = v - 3*r, 0 = 2*v + 3*v - 3*r - c. Let k be 0 - (v/8 + 5/(-20)). Is 4/13 greater than k?
True
Let k = -59 + 50. Let n be ((-36)/40)/((-20)/(-1275)*k). Is 6 < n?
True
Suppose 3*p - 14*p = 30*p - 2624. Which is bigger: p or 76?
76
Let d = 57222116199/41343664765 + 113/4201165. Let r = d - -2/3785. Is r greater than -1/4?
True
Let h be (-2)/(-6) - 1510/30. Suppose -3*g - 5*k = 9 + 147, -2*k = 2*g + 100. Is g smaller than h?
False
Suppose -3*x - 4668 = 3*c, 2*c + 10*x + 3147 = 15*x. Let t = -198248/127 - c. Does -1 = t?
False
Suppose p + 7 = 5*p - 3*g, 15 = 5*g. Suppose 0 = z - 2*d - 1, 1 = p*z - 4*d - 3. Let n be (-22)/238 + 4/(-28). Which is bigger: z or n?
z
Let b(x) = x + 4. Let w be b(-1). Suppose d - w*h + h - 3 = 0, 2*h = -3*d + 17. Let t(y) = 5*y + 13. Let m be t(d). Which is smaller: m or 39?
m
Let k = -0.15 - 0.162. Let f = k + 0.062. Let p = 0.06 + f. Which is bigger: p or -0.1?
-0.1
Suppose -53*c - 61*c = -119*c - 5. Which is bigger: c or 14/113?
14/113
Let a = -54 - -56. Suppose 4*j + 5*d = 2*j - 25, a*j + 4*d = -20. Is j at least as big as 1?
False
Let u = -33.92 - -33.893. Which is bigger: 5 or u?
5
Let b = 369.0459 - 0.0459. Let a = b - 367. Which is smaller: -73 or a?
-73
Suppose -2*x + 4*x = -4*d + 20, -10 = 5*x. Suppose d - 1 = -5*t. Let u be ((-2)/(-94))/((-37)/74). Which is greater: t or u?
u
Let n be ((-1248)/(-260))/12 + 14/(-10). Let x be (-46278)/170 - 2/(-5). Let q = x - -272. Is q at most n?
False
Suppose 2635 = u + 2*l, u - 2623 = -17*l + 21*l. Is 2629 less than or equal to u?
True
Suppose -384 = 15*g - 86 - 28. Is g equal to -67/4?
False
Let m be 3*(3/(-18))/((-1)/4). Suppose -5*n - 2*x + 5 = 0, -3*x + m = -3*n + 5. Let l be (-1 - 27/(-30)) + 1. Do l and n have the same value?
False
Suppose -4*z + 5*r = -0*r + 9, z + r = 9. Let a(i) = -i**2 - 95*i - 1828. Let v be a(-68). Which is smaller: v or z?
z
Suppose 3*k + 271 = 4*c, -475 = 5*k + 4*c + c. Let d = -94 - k. Which is smaller: -61 or d?
-61
Let r = 99 + -223. Let c = -113 - r. Which is greater: 9 or c?
c
Let h be 42 + -31 + 1 + -90. Which is greater: -2 or h?
-2
Let s = -2112 - -2112. Let y = 295/7 + -42. Which is smaller: s or y?
s
Let f(v) be the third derivative of -11*v**4/12 - 7*v**3/3 + 14*v**2 - v. Let a be f(-4). Is 75 at most as big as a?
False
Let h = -77.05 - -77. Let l(c) = c**2 - 6*c + 4. Let u be l(8). Let x be 6/u*12/18. Is h at least as big as x?
False
Suppose 274*g - 5193 = 283*g. Let t = -533 - g. Which is smaller: 46 or t?
t
Let y be (-75390)/1155 + 3/11. Is y less than or equal to -37?
True
Suppose -1427*k + 5*s + 29 = -1428*k, -5*k - 4*s = 19. Is k smaller than 21/139?
False
Let k be ((-722)/(-90) - 14/63)/(2/270). Is 1052 less than or equal to k?
True
Let b be (-11)/(-21) + 1/3. Let z = -40092 - -40091. Which is smaller: b or z?
z
Suppose 10*n - 49 = 91. Suppose -4*r + n*r = 100. Which is smaller: 7 or r?
7
Let f be 1/(-4 - 36/(-8)). Let t be 9/(f/(-6 - -4)). Let w be 32/(-144) + 31/t. Does w = -4?
False
Let x be (6/(-4))/((-12)/6208). Let d = x + -890. Which is bigger: d or -116?
d
Let w = 650 - 1598. Which is greater: -949 or w?
w
Let b = 137 + -133. Suppose 4*s = 3*f - 6, -b*s + 4*f - 8 = -7*s. Let n = -57479/51 - -1127. Is s at least n?
True
Let m = -0.769 - -0.869. Is -2/6175 != m?
True
Let n be -1*(-2 + (-7 - -5)). Let j be 203 + (3 - 7/n)*-4. Is 198 less than j?
False
Suppose -6 = -3*r - 0. Suppose -r*p + 3*x = -129, -3*p + 2*x - 5*x + 201 = 0. Let o be (p/(-10))/3 + 3. Is 0 < o?
True
Let f = 1/3316 + 5723413/9948. Which is bigger: 574 or f?
f
Let c be (2/(-11) + (-19684)/880)*-4. Let s = c - 90. Which is smaller: s or -12?
-12
Suppose 2*w - 48 - 6 = 0. Suppose -w*t + 117 + 153 = 0. Are t and 12 unequal?
True
Let p = -1207 - -2577/2. Suppose 2*x - 181 = 5*y, y + 0*y - 329 = -4*x. Let c = x - p. Does c = 2?
False
Let p = 170.78 - 186.78. Are p and 123 equal?
False
Let m(n) = 63*n - 303. Let h be m(0). Is -301 != h?
True
Let c = -218.4 - -218.2. Is -4.05 greater than c?
False
Let d be -3 + (34/(-5))/(2/(-5)). Suppose -8*m + 576 = -d*m. Is m != -95?
True
Suppose 0 = 212*x - 208*x + 4*s - 24, -3*x + 3*s - 18 = 0. Let j = -0.12 + -0.2. Which is bigger: x or j?
x
Let f = 3/30088 + 22151/381365400. Which is greater: 1 or f?
1
Let o(k) = 2*k**2 + 35*k - 172. Let m be o(4). Which is smaller: m or 22/289?
m
Let b = -7258 + 7259. Which is greater: b or 0.0133?
b
Suppose m + 0 = 5. Let a(g) = -g**3 - 2*g**2 - 14*g + 8. Let p be a(0). Let k(d) = 10*d - 80. Let r be k(p). Is m < r?
False
Let z(h) = 16*h - 89. Let w be z(-18). Which is smaller: -376 or w?
w
Let m = 4 + 2. Let b be (99/m)/(3/4). Suppose 3639*t = 3638*t - 5*d - 18, 0 = 3*t - 3*d - 18. Is t not equal to b?
True
Suppose 3*i - 8*i - 5739 = 4*z, 2*z = -17*i - 19617. Which is greater: i or -1151?
-1151
Suppose -5*k + 21 = -0*k + 3*s, s = -2*k + 8. Suppose -10 = 4*u - 2*b, k*b = 2*u - 5 + 16. Let l be (u - -1) + 20/5 + -3. Which is smaller: -1/19 or l?
-1/19
Let d = 2743/7 + -393. Let m = 148/105 + d. Let c = -288 - -287. Is c at most as big as m?
True
Let i be (-3)/(-4) + 306/8. Let q = i + -95. Which is smaller: q or -52?
q
Let g = 249 + -266. Let b be (-20)/40*(g + -1). Which is bigger: -0.2 or b?
b
Let y = -3.338 - -3.4. Let t = y + -26.062. Let b = t - -26.1. Is b at least as big as 2?
False
Let k = 2039/20 + -102. Let u(q) = -5*q + 65. Let o(m) = -3*m - 1. Let x(r) = 2*o(r) + 2*u(r). Let b be x(8). Is b > k?
True
Suppose 21*o - 185*o - 116112 = 0. Is o at least as big as -707?
False
Let n = 85 - 86. Let u be (-10)/25*3*10. Let t be 2/u*32/(-104). Is n greater than t?
False
Let f(i) = -9*i + 93. Let z be f(11). Let u be -43 + z/(-2) + 2. Let r = 17 + -55. Is r equal to u?
True
Let w(u) = u**2 - 21*u. Let l be w(21). Suppose l = 8*x - 678 + 54. Let c = x - 41. Is 36 at most as big as c?
True
Let y = 7/220 + -2/11. Let p(v) = v**3 - 2*v**2 + v + 1. Let m(d) = d**3 + 15*d**2 + 16*d + 29. Let k be m(-14). Let o be p(k). Which is greater: y or o?
o
Let p = -3112 - -326792/105. Let w = -197/630 + p. Let i be 1 - 0/(1 + 1). Do i and w have the same value?
False
Let u = 4837 - 4838. Is u at least 1/201?
False
Suppose -60 = -0*x - 4*x. Suppose 0*o - 3*o = -x. Suppose u = 2*y + y + 36, 4*y = -o*u - 29. Which is smaller: -10 or y?
y
Suppose -38*y - 2090 = -27*y. Let p = 176 + -366. Is p at least y?
True
Let n = 1084 - 2221. Let k = -62533/55 - n. Let f = k + 1/33. Is f > 0?
True
Let r = 91/6 - 15. Suppose -3*u + 2*o = -0*u + 416, -4*u - 570 = 5*o. Let m = -138 - u. Is r at least as big as m?
False
Let o = 4247 - 4534. Are -1151/4 and o non-equal?
True
Suppose 4*l - 13 = 4*c - 9, -2*l = 4*c - 2. Is c at least as big as -1/215?
True
Suppose -4*l + 116 + 3512 = -3*w, 0 = l - 3*w - 907. Let i = l + -68023/75. Is i <= 0?
False
Let g = -0.3068 + 1.0068. Let k(o) = o**3 - 10*o**2 - o + 9. Let z be k(10). Is g gre