 (3/9)/((-1)/4). Are w and d equal?
False
Suppose -4*v + 5*y = v, -v = 2*y. Suppose -5*z + 2*s + 11 = v, -2*z - 2*s - s + 12 = 0. Suppose 3*q = z*r, 5*q + 18 = r + 2. Does -4 = q?
True
Suppose -27*v - 78 = -33*v. Suppose 5*b + 3*u - u = -v, -3*b = 5*u + 23. Do b and 0.11 have the same value?
False
Suppose -p + 4*c = 17, -2*p + 10 = 87*c - 84*c. Which is smaller: p or -2/5023?
p
Let r = -8.76 + 8. Let l = 0.14 - r. Which is smaller: 1/2 or l?
1/2
Suppose 0 = 3*y + 15, -4*y = 3*l + 1 + 7. Let i be ((-10)/8)/(1/l). Let j be ((1265/230)/(11/4))/(0 + -8). Which is smaller: i or j?
i
Suppose 4 = x, g - 4*g + 4*x - 16 = 0. Let p be (g - -1) + 42/3. Suppose 3*u - 8 = -4*l + 3, 5*l - p = -4*u. Is 1/7 < l?
False
Let z = -772/7 + 110. Let m = -185 + 184.96. Which is greater: m or z?
m
Let q = -3.2229 + 2.2229. Let h = -10.97 + -0.03. Is h less than q?
True
Suppose 0 = -7*k - 3894 + 422. Is -496 not equal to k?
False
Let g = 223 - 204. Let m = 11 - 1. Let x be g/m + (-18)/45. Which is greater: 4/3 or x?
x
Let t(n) be the second derivative of 9*n**5/4 + n**4/12 + 2*n**3/3 + 2*n**2 - 24*n. Let r be t(-1). Is r at least as big as -44?
True
Let v be (-2)/(-5) + (-3)/(-5). Let s be (2622/264 - 10)/(-3 - 71/(-24)). Which is bigger: s or v?
s
Let s = -349 - -386.1. Let h = -37 + s. Is 3 less than h?
False
Suppose -2*f + 290 = 434. Which is bigger: -68 or f?
-68
Suppose i = 23*i + 3*i. Which is smaller: i or -1/33?
-1/33
Let k be (-78)/30 - -1 - 4/(-2). Let j = -120.58 + 121. Which is smaller: j or k?
k
Let r = 924 - 924.78. Is -1 > r?
False
Let i be 284/(-5) - (-1)/(-5). Let p = -79 - i. Is p less than or equal to -22?
True
Let f = -248 + 228. Let k(t) = 2*t**3 - 4*t**2 + 4*t - 3. Let h be k(3). Suppose 0 = 2*i + 69 - h. Is f greater than or equal to i?
True
Let w = -2816 + 14224/5. Is w at most as big as 30?
True
Let u = 1400 + -1401. Do u and 1/280 have the same value?
False
Let p = 272 - -65. Which is greater: p or 336?
p
Let f be (-29)/(-3) - 1/(-3). Suppose -f = 5*l - 5, -l - 16 = -3*m. Suppose 16*w + 28 = 23*w. Is w < m?
True
Let l be -4*(10/(-8) - -2). Let q(u) = 114*u + 796. Let i be q(-7). Is i at most as big as l?
False
Let q = 17.007 + -17. Let n(m) = -m**2 + 50*m - 526. Let x be n(15). Is x greater than q?
False
Let b = 45 + -20. Let g = b + -17. Let l = g - 8. Which is smaller: l or 2/7?
l
Let k = 0.038 - 0.084. Let q = 0.026 + k. Are q and -1 nonequal?
True
Let w = 44.91 + -47.9. Let x = 3 + w. Let t = -0.09 - x. Do t and 0.2 have the same value?
False
Suppose -4*d = l - 82 - 32, 0 = 2*l + d - 207. Let z be (-1)/5 + l/(-1170)*3. Suppose 0 = -0*g - 4*g. Are g and z equal?
False
Let i = 677/7 - 97. Suppose 0*k + 16 = 2*k. Which is smaller: i or k?
i
Let k = -39.12 + -56.88. Let t = -0.8 - 0.2. Is t at most k?
False
Let b(r) = r**3 - 9*r**2 - 11*r + 13. Let p be b(10). Suppose -p*u = 2*w + 4, 2*u + 6 = -3*w + 4*u. Let a = -0.1 + 2.1. Is a not equal to w?
True
Let f be (5 - (-4 + 4)) + -4. Which is bigger: 34/15 or f?
34/15
Let r = -133 + -49. Is -183 <= r?
True
Let h = 1/941 + -58349/6587. Let b be 6/(1 + (-10)/6). Is h at least b?
True
Suppose 47 = 5*u + n, 0*n + 15 = u + 3*n. Let h be (1 + u)*(-52)/(-65). Let b be ((-4)/h)/(27/6). Which is greater: 0 or b?
0
Suppose -72 = -2*w - 22. Is -4 <= w?
True
Let w = -184 + 98. Let x = -85.32 - w. Is x at least 2/5?
True
Suppose 20*t - 4*t = -912. Is t >= -54?
False
Suppose 4*j + 4*v = -476, 3*v - 244 = 2*j + 2*v. Let w = -120 - j. Is w at least 2/77?
True
Let g = -33.952 - 0.048. Let f = 34 + g. Which is greater: f or 16?
16
Let a = 15 + -10. Suppose -4*p - 7 = a. Let l be -2 + 3/(-9)*p. Is l less than or equal to -1/6?
True
Let w be (3/66)/((-6)/8). Let u = 31 + -31. Are w and u unequal?
True
Let b(z) = z**3 + 8*z**2 - 7*z - 43. Let a be b(-10). Is -172 at least as big as a?
True
Let b = 36 - 12.3. Let o = 24 - b. Let l = 1.1 + -0.1. Do o and l have different values?
True
Suppose -2*t - 5*r - 153 = 0, -7*t + 2*t + 2*r = 339. Let j be 4 - 2*74/2. Is t greater than j?
True
Let k(a) = -a**2 + 8*a + 3. Let n be k(5). Let l be 4/(-35) - n/63. Let t = 14 + -12. Which is bigger: t or l?
t
Let z = 87 + -84. Suppose -74 = z*q + 22. Do 2/3 and q have the same value?
False
Let p(h) = -11*h**3 - 2*h**2 - 2*h - 1. Let j be p(-1). Let t = -29 - -34. Let f be (t - 6)/(1/(-11)). Is j < f?
True
Let v = 1.1 + 0. Let x = v - 1. Let l be (7/84)/(1/(-4)). Which is bigger: l or x?
x
Let l be (-72)/10*(-5 - (-2 - 2)). Does -1/3 = l?
False
Let f = -605 - 888. Is f greater than or equal to -1494?
True
Let n(f) = 2*f**3 - 10*f**2 - 12*f + 13. Let l be n(6). Does l = 6?
False
Let p = 134 + -135. Let g = 10.16 - 0.16. Which is greater: g or p?
g
Let f = -5/61 + 8992/305. Is f bigger than 30?
False
Let y(a) = -a**2 - 2*a + 8. Let d be y(2). Which is greater: -2/5927 or d?
d
Let q = -915/13 - -7578/65. Let y = q + -46. Is 1 at least as big as y?
True
Let y(k) = -k**2 + 35*k - 234. Let g be y(9). Is g at most 2/933?
True
Suppose -5*o + 14*i + 130 = 10*i, 5*o - 130 = -4*i. Are o and 26 equal?
True
Let c be ((-60)/(-90))/(2/57). Are c and 97/5 nonequal?
True
Let j = 51 + -26. Let t = 22 - j. Which is smaller: -1 or t?
t
Let k be 0/((-24)/18 - 4/6). Which is bigger: 17/12 or k?
17/12
Let r = 6116 + -2330194/381. Which is smaller: r or -2/5?
-2/5
Let a = -653 - -654. Which is bigger: a or 30/41?
a
Let j = 3 + -3. Suppose o + j*f = 5*f + 12, -5*o - 2*f = 21. Let v(s) = s**3 - 16*s**2 + 29*s - 17. Let n be v(14). Is n greater than o?
False
Suppose -5*t + b + 305 = -3*b, -3*b - 129 = -2*t. Let o be (-12)/(-3)*(3 + t/(-18)). Is o at most as big as -0.9?
False
Let f = -1101 - -14303/13. Is f less than or equal to 2?
True
Suppose 4*r + 2 = 18. Suppose r*h + 42 = 5*h. Let c be (-1)/3 + 50/h. Which is smaller: 0 or c?
0
Let x be (-4)/18 - 34/(-72). Let h = 376.8 - 375.9. Which is greater: h or x?
h
Let k = 13 + -18. Let w = k - -4.95. Let x = w + 0.13. Which is greater: x or -0.1?
x
Let g = 0.079 - 36.079. Let f = g + 37. Let c = 0.2 - 0.1. Are c and f equal?
False
Let q = 34 + -9. Let z = q + -24.48. Let p = 0.12 - z. Which is greater: p or 0.2?
0.2
Suppose 7 = l - 4*r, -3*l = 2*r + 2 - 9. Let p be (63/28)/l*4/(-25). Suppose -4*g + 4 = -0. Which is greater: g or p?
g
Let v be (-750)/(-4)*(-250)/(-105). Let t = v - 448. Which is greater: t or -2?
t
Let p = -31 + 26. Let b = 0.53 - 0.83. Which is greater: b or p?
b
Let c = -127 - -193. Let w be c/(-55) + 2/10. Which is smaller: 1/4 or w?
w
Let y(s) = s**3 - 4*s**2 - 2*s + 7. Let g be y(8). Let q = -512 + g. Let z = q - -1067/4. Which is greater: z or 2?
2
Let n be (-64)/(-11) + 28/154. Let x(c) = -c - 2. Let a be x(-4). Let y be 132/21 - a/7. Is y < n?
False
Suppose -i = -0*i + 4*w, 0 = 5*i + 4*w - 16. Suppose -l + 5*l + 12 = 4*d, -4 = -i*d. Is l less than -24/7?
False
Suppose 4*c - n = 9*c + 26, -c = -2*n + 14. Let d(f) = -4 - 2 + f**2 + 2*f - 3*f. Let a be d(0). Is c at least as big as a?
True
Let y = 3618 - 3612. Let o = 8 - 5. Is y greater than or equal to o?
True
Suppose -9*h + 405 - 108 = 0. Suppose 10*s + h = 7*s. Is s at most as big as -16?
False
Let n be (-14 + 22)/(0 + -1). Let s be (-4)/(-8) - 44/n. Which is bigger: s or 8?
8
Let c = -1 - -4. Suppose 5*x - 79 - 41 = -t, x = 4*t + c. Suppose x = -5*j - 32. Is j not equal to -11?
False
Let j = 62 - 26. Let g = j + -19. Is 2/9 at least g?
False
Let v(l) = -l**3 - 4*l**2 - 5*l + 3. Let j(i) = -2*i**3 - 4*i**2 - 5*i + 4. Let a(h) = 2*j(h) - 3*v(h). Let b be a(5). Let z = -19/207 + -3/23. Is z equal to b?
False
Let t(f) = 2*f - 4. Let p be t(6). Let l = -140.7 - -139.647. Let i = -0.053 - l. Is i not equal to p?
True
Let y = -5207/198 - -565/18. Which is smaller: 4 or y?
4
Suppose -868 = -7*k - 14. Suppose -4*p - 120 = 2*q, -4*p = -8*p - 3*q - k. Is -28 <= p?
False
Let g(h) = -8*h**2 + 2*h - 6. Suppose 2*f - 5*y + 34 = 0, 4*f - 2*y = -3*y - 24. Let s be g(f). Let x = s + 2068/5. Do 3 and x have the same value?
False
Let g = -849.7 - -899. Let i = g - 49. Which is greater: 2/29 or i?
i
Let q = 31 + -28. Suppose 6 - 2 = -2*x - 2*n, q*x - n = -18. Do x and 0 have the same value?
False
Suppose -261 = 11*r + 454. Is r <= -65?
True
Let z be -20 + 3 + -3 + 4. Let n(r) = -4*r**2 + 2*r + 3. Suppose 0 = -2*q - 2 - 2. Let j be n(q). Is z != j?
True
Le