is smaller: v or x?
x
Let w = 62 + -184/3. Let f be 11/(-22) - (78/(-4))/3. Suppose -f*b + 4*b = -2. Which is bigger: w or b?
b
Let i = 117/55 - 96/11. Let n = -127/20 - i. Which is bigger: 0 or n?
n
Let q = 0.73 - 56.73. Let l be 170/(-187) - (-3)/(-33). Which is bigger: q or l?
l
Let m = 24557 + -24432.97. Let y = m - 122. Let r = 0.03 - y. Which is smaller: 0 or r?
r
Let y = 10/3 - 11/3. Let g = -6544/21 - -311. Let h = y - g. Which is bigger: h or -1/4?
h
Let u(p) = 6*p + 44. Let c be u(-7). Suppose -l + 5*s = 3*s, 0 = l + c*s. Which is greater: l or -2/45?
l
Let m(z) = z**2 + 5*z - 1. Suppose -5*y = -18 - 52. Suppose y*h = 11*h - 15. Let i be m(h). Which is bigger: -3 or i?
i
Let q = -21 - -19. Let z = q + 1. Let f = 6.9 + -8.9. Which is bigger: z or f?
z
Suppose 0 = -3*o - 6, 2*o = y - 0*o - 9. Suppose 5*a + y*v + 29 = 2*a, v + 41 = -5*a. Let u be a - 1 - (3 + -1). Is -12 smaller than u?
True
Let c be 3 - 0 - 5/(-5). Let m = c + -1. Suppose -25 = m*v + 8. Do -10 and v have the same value?
False
Suppose -4*z + 0 = -4. Let y be 4 + 622/(-208) + (0 - z). Do y and 0 have the same value?
False
Let s = -2 - -5. Let l = -114 + 258. Let c = 144.06 - l. Which is bigger: c or s?
s
Suppose -2*b + 14 = -0*b + 5*v, -4*v + 13 = b. Let s be 1 - (-4)/(-1 + b). Do s and 2/67 have the same value?
False
Let c be ((-4)/3)/(82/123). Which is bigger: c or -14/9?
-14/9
Suppose 31*p - 1 = 30*p. Which is smaller: -1/54 or p?
-1/54
Suppose 6*j = 11 + 7. Let n be (24/(-15))/((-2)/15). Which is bigger: j or n?
n
Let b = -19 + 21. Suppose -i = -3*i - b. Which is greater: -6/13 or i?
-6/13
Let o = -646 - -236. Is 1/4 bigger than o?
True
Let f = 23 + -24. Let q be (1 - -3) + f + -2. Suppose 3*d - 10 = -1. Is q equal to d?
False
Let d be 0*(5 + 66/(-12)). Is 8/37 greater than d?
True
Suppose 0 = 5*n - 4*r + 1, -4*n + 20 = 2*r - 0*r. Suppose -58 = -k - 13*h + 10*h, k = -h + 56. Suppose -2*l - 9*l = -k. Which is bigger: l or n?
l
Let h be ((-2)/(-3) - (-1145)/(-1695))*-1. Let m = 343/452 - h. Is 3 less than m?
False
Let w be (1368/99 - 14) + 2913/(-11). Which is greater: -1061/4 or w?
w
Let h = 66 + -263/4. Is h greater than or equal to -0.03?
True
Let p be (12/7)/((-4)/(6*-14)). Suppose 3*c + p = -c. Which is bigger: -1 or c?
-1
Let m = -1.3 + 0.6. Let a = 0.3 - m. Let w = a + 6. Is -0.1 >= w?
False
Suppose -5*h - l - 1 = 0, 2*l = 218 - 220. Does -2/3283 = h?
False
Let n = 65/38 + 1147/418. Which is bigger: n or 4?
n
Let c = 99 + -93. Let d be 22 - 0 - (c - (-11)/(-2)). Is d > 23?
False
Let g = -17 + 9. Let l(a) = -a**2 - 8*a - 7. Let m be l(-6). Suppose -4 = j + w - 0, -m*j - 3*w - 28 = 0. Is g at least as big as j?
True
Let h = 36 - 14. Let k = h + -26. Let c = 0 - 5. Is k greater than c?
True
Suppose 3*x = -4*h + 20, 2*x + 11*h - 13*h + 10 = 0. Which is smaller: 2/615 or x?
x
Let g = -68 - -67.9. Which is smaller: -225 or g?
-225
Let d be (12/32)/(3/2). Which is greater: d or -2/19?
d
Let d(t) = -35*t**2 + t + 1. Let k be d(-1). Let u = k - -51. Let i be (-10)/4*u/18. Which is greater: i or -3?
i
Let r(l) = -l**2 - 9*l - 7. Let n be r(-8). Let u be (4/(-195))/(-4)*(1 + 0). Do n and u have different values?
True
Suppose 0 = 2*q + a + 62, 2*q + 3*a + 76 = 14. Let x = q - -28. Which is bigger: -11/6 or x?
-11/6
Suppose -17*a - 1278 = -122. Let t = 69 + a. Let x be (0 - 3)/(3/(-4)). Is t <= x?
True
Let b(p) = p - 4. Let i be b(7). Suppose 0 = -3*q - 30 + i. Let c = 9 + q. Which is greater: 2/27 or c?
2/27
Let d = 3193 - 3258.22. Let o = -0.78 + d. Does o = -1/2?
False
Let w = 347 - 356. Do w and -9 have the same value?
True
Suppose 0 = -3*h + 4*t + 82, -h + 3*h - 58 = 2*t. Let m = h + -37. Which is smaller: m or -18/5?
-18/5
Let i be (-1)/(-5) - 978/(-10) - -2. Let h be ((-6)/(-5))/((-15)/i). Which is smaller: -13/2 or h?
h
Suppose 3*f + 86 = -x + 25, 3*x = -5*f - 175. Is -1 less than or equal to x?
False
Let y be 422*1/(-4) + -8. Is y <= -115?
False
Let q(r) = -r**3 + 11*r**2 - 17*r + 4. Let j be q(9). Are 12 and j unequal?
True
Let i = 12.2 + -3.2. Let s = -20 + i. Are s and -1 unequal?
True
Let v = 0 - 0. Let j = v - -6. Let p = 6.1 - j. Is -0.11 < p?
True
Let v = -74 + 52. Let k = 26.5 + v. Let f = -0.5 + k. Which is greater: -1/4 or f?
f
Suppose 19*h + 2802 = 655. Which is bigger: h or -114?
h
Let h(j) = -j**3 + 16*j**2 - 16*j + 10. Let b be h(15). Suppose -z - 15 = -6*z. Suppose -5*d = -5, 3*i + 17 = -4*d + z*d. Is i bigger than b?
False
Let q(y) = -2*y - 1. Let u be q(3). Let k(g) be the first derivative of -3*g**2/2 + 8*g - 4. Let r be k(5). Is u greater than r?
False
Let c(u) be the first derivative of 5/2*u**2 + 4 + 6*u + 1/3*u**3. Let m be c(-3). Which is smaller: m or -4/11?
-4/11
Suppose 7*f - 2*f = 10465. Let z = f - 244883/117. Which is bigger: z or 1?
1
Let z be ((-2680)/(-345))/8 + (12 - 13). Let q = -0.3 - -0.2. Is q at most z?
True
Let u = 35109 - 3194952/91. Which is smaller: 1 or u?
u
Let t = 2496 - 2497. Is 11/113 at least t?
True
Let a = 0.28 + -24.28. Let m = 21 + a. Are m and 2 equal?
False
Suppose -8*y = 21 - 133. Suppose 5*f + 4*i + 67 = 0, 3*f - i + 47 = -0*i. Let n = f + y. Which is smaller: -4/3 or n?
-4/3
Let r be ((8 - -7) + -5)/(3 - 1). Which is bigger: r or 68/15?
r
Suppose 70*s - 16 = 74*s. Let b be (((-400)/s)/(-5))/2. Which is bigger: b or -11?
b
Let d(z) = 2*z + 12. Let o be d(-6). Let r be (-72)/7 + (-4)/(-14). Let j = r - -154/15. Are j and o equal?
False
Let a = 26 - 23. Suppose -a*z + 5*d + 25 = 0, -z - z + 22 = 2*d. Suppose 6*v - z = 4*v. Are v and 2 equal?
False
Suppose 3*g = -0*g. Suppose g = 4*i - l + 2*l + 19, -4*i = 5*l + 15. Let j be i/(-4) + -7 + 6. Which is smaller: -1 or j?
-1
Suppose -4*p - 3246 = 8*z - 3*z, 3*p + 2597 = -4*z. Is z >= -648?
False
Let t(i) = -8*i - 5. Let o(z) = 10*z + 4. Let d(n) = 2*o(n) + 3*t(n). Suppose -4*k = -7*k - 9. Let w be d(k). Which is smaller: w or 4?
4
Let q = -331/44070 + -3/565. Does q = -1?
False
Let i = -18 + -20. Let r = i - -39. Which is greater: r or -2?
r
Let i = -26.3 - -19.14. Let b = i + -0.34. Let n = 0.5 + b. Which is smaller: n or 0.1?
n
Let x = 0 + 0. Let u = -685 - -683.7. Which is smaller: x or u?
u
Let f = -37 + 39. Suppose 4*j + 5 = -r, 3*r - f*j = 2*r - 23. Is -18 < r?
True
Let a be (5 - (-15)/(-5)) + -5. Which is greater: -18/7 or a?
-18/7
Let c = -8 + 12. Let k = -41.3 - 2.7. Let f = 42 + k. Is f greater than or equal to c?
False
Let x = 2/7115 + 13644/2084695. Let k = -2318/3809 - x. Which is smaller: k or -2?
-2
Let p = -18 - -22. Suppose w = -2*o + 4, -p*w = -3*o + 2*o + 20. Is -3 bigger than w?
True
Let g = 134 + -79. Let n be g/44 + 3/4. Let t = -2 - -6. Is n < t?
True
Let i = -18 - -12. Let r = i - -17/3. Which is smaller: r or -2.2?
-2.2
Let c = 4148 - 626346/151. Let p = c + 121/2265. Is p at least as big as 1?
False
Let r = -144.5 + 146. Let t = 11 + -9.4. Let y = t - r. Which is greater: y or 1/21?
y
Let f = -1193/2486 - -8/113. Which is greater: 0 or f?
0
Let x(f) = f - 6. Let h be x(10). Let y = 20 - 15. Suppose 0 = -4*n + y - 13. Is n bigger than h?
False
Let x = -331 + 333.3. Do x and 1 have the same value?
False
Let y be 1 - 0 - (1 - 4). Suppose -s + 20 = y*v + 3*s, 0 = v - 3*s + 15. Let w = 375 - 11624/31. Is v > w?
False
Let d = 11.81 + 0.59. Let g = d - 11.87. Which is bigger: 0 or g?
g
Let b(d) = 2*d - 5. Let f be b(4). Let p(i) = i**3 - i**2 - 4*i. Let a be p(3). Suppose -9 = a*m - 27. Is m < f?
False
Let a = -271 - -248. Is -24 > a?
False
Let m = -256.5 - -255.077. Let v = 0.077 - m. Which is greater: 0 or v?
v
Let j = 0.5 + 30.3. Let a = -28 + j. Let t = a + 0.2. Which is smaller: t or -1/2?
-1/2
Let h be (-22)/187 + (-2901383)/(-210477). Let t = 2/4127 - h. Which is smaller: -13 or t?
t
Let s = -161.12 - 9.88. Is s >= -2?
False
Suppose -3*y - q - 1 = -6, -4*q = -y - 20. Let t = -198 + 6733/34. Are y and t nonequal?
True
Suppose -4*l = 3*m - 3 + 4, l = -3*m + 2. Is m > 1.07?
False
Let q = 56179/30 + -13091/6. Is -308 at least as big as q?
True
Let p be (-10)/(-24) - 37/222. Let s = 0.03 + -0.33. Let y = -4.7 + s. Is p > y?
True
Let h = 67/44 - 1/44. Let l(k) = k**3 + 5*k**2 + k + 7. Let q be l(-5). Suppose 0*m - q = -m. Is h at least m?
False
Let h = 144 + -155. Is h at least as big as -1?
False
Suppose 0 = 5*b - 315 + 2480. Let a = -37724/3