 2*f + 4*v - 20, -4*f + v = 35. Which is greater: f or x?
x
Let i = -0.99 - -0.53. Let q = i + 0.6. Let u = q - 0.44. Which is greater: 0 or u?
0
Let j = 450 - 741. Let c = j + 289.31. Let w = -0.31 + c. Which is bigger: w or -0.05?
-0.05
Suppose 2*r + t = 26, 2 + 0 = -t. Let l(s) = 2*s - 32. Let x be l(r). Which is smaller: x or -9/2?
-9/2
Suppose 26 = 3*r - 184. Suppose r + 22 = 4*i. Let l = i - 27. Which is bigger: -5 or l?
l
Let c = 27 - 45. Let t(r) = 4*r**2 - 5*r - 18. Let v be t(4). Let g = c + v. Is 9 >= g?
True
Let z = 941/648 + 14/81. Which is smaller: 1 or z?
1
Let l = 763 + -818. Are l and -13 non-equal?
True
Let a = 503 - 502. Is a > 5/131?
True
Suppose w - 5 = 0, -2*v + 0*v = 2*w - 22. Let z be 3 + (-4)/(-10)*(-61 - -76). Which is bigger: v or z?
z
Let n be -1 + (2 - (-158)/(-156)). Suppose 0 = 5*k - 6*r - 23, 2*k - 38*r + 35*r - 11 = 0. Do n and k have different values?
True
Suppose 0 = 5*l + k - 0*k - 23, 4*l = 5*k + 30. Let a(d) = 5*d**3 - d**2 + d - 1. Let u be a(1). Suppose -u*m - l = -1. Which is smaller: 2 or m?
m
Let p = 87.12 + -87. Which is greater: p or 27?
27
Suppose 0 = -3*u - 4*b - 7, -6 = 3*u + 5*b + 2. Let t = 0.09 + 1.91. Let z = -2.2 + t. Is z at least as big as u?
True
Suppose 3*g - 51 = 4*g + d, d = 3*g + 157. Let k = g - -67. Suppose -5*h = 43 - 118. Are h and k equal?
True
Suppose 0 = i - 2, 4*s + 5*i - 228 = 406. Which is greater: s or 1394/9?
s
Suppose 4*l - 4*w + 936 = 0, 2*l - 3*w + 466 = -0*w. Is -235 at most as big as l?
False
Let g = 128.954 - 129. Which is smaller: 6 or g?
g
Let t be 56/(-21)*1*(-2)/(-24). Let w be (-2 + 2 + -1)/(-1). Is t at most w?
True
Suppose 4*t + 8 = -4*v, 4*t = -v + 2*t - 4. Let o = -68093840/19 + 3585152. Let d = o - 1266. Which is bigger: d or v?
v
Let b = 5510517/655 + -8413. Are -1 and b non-equal?
True
Let n(b) = 2*b**2 - 4*b - 9. Let z be n(3). Is -41 >= z?
False
Suppose -2*b - 240 = -0*b. Let i = b - -2758/23. Let o be (-2 - (-2 + 1))/(-17 + 18). Is i at most as big as o?
False
Let c = 75.9689 - 0.0689. Let v = 76 - c. Is 13 greater than v?
True
Let v = -87/118 - -10849/12154. Is v at most as big as -1?
False
Let h be ((-3)/1)/1 - 3. Let l be (-4)/h - (-8)/(-48). Suppose -2*y = -4*x + 8, 4*y + x = -0*x + 2. Is y equal to l?
False
Suppose 10*v + 36 = 11*v. Let x be (-2)/(-3) - (-1751)/51. Is x at most v?
True
Let p = -11 - -11. Let c = p - -2. Suppose -28 = -c*z - 2*z. Which is smaller: 8 or z?
z
Let s = 5904 + -5905. Let b = 43065/31 + -1389. Is b at least as big as s?
True
Let n be -1 - -3 - (-14)/(-7). Suppose n = -o + 4*o + 60. Let i = o + 19. Which is greater: i or -1/23?
-1/23
Let c = 11.538 - -0.372. Let z = c + -12. Let f = -0.19 - z. Which is greater: f or -6?
f
Let r be ((-18)/(-81))/(12/81). Which is bigger: 4 or r?
4
Let i be ((-4)/10)/((-7)/8995). Let w = 13876/27 - i. Let n = 2 - 1. Is n greater than w?
True
Let j be (2 - 1)/((-2)/(-10)). Suppose -5*y + 0*y + 5*n = j, -1 = 2*y - 3*n. Let h be y/(-20)*-26 + 2. Which is smaller: 0 or h?
h
Let v(w) = w**3 + 5*w**2 - 5*w + 8. Let h(p) = -3*p - 23. Let m be h(-7). Let a be m/(-16) - (-147)/(-24). Let i be v(a). Which is bigger: i or 11/5?
11/5
Let n be (-4)/6*6 + 10702/(-18). Let y = n - -598. Is 0 at most y?
False
Let y(p) = -74*p + 2. Let a be y(-4). Let q = a - 529. Let c be 11/(q/18) - -3. Are 3 and c nonequal?
True
Suppose -81 + 260 = 5*g - 3*s, -4*s - 46 = -g. Let y = 83 - g. Which is smaller: 48 or y?
48
Let o = 816 - 875. Is o not equal to -55?
True
Let l be ((-1)/(-1) + 0)/(6/(-102)). Which is bigger: -16 or l?
-16
Let x(w) be the third derivative of 0*w - 1/24*w**4 - 1/60*w**6 + 0 + 1/3*w**3 + 0*w**5 - 4*w**2. Let l be x(-2). Is 21 at least as big as l?
True
Suppose -46 = -l - h - 0*h, -4*l + 5*h + 175 = 0. Suppose 16 = 2*r - t - 19, -l = -3*r - t. Let i = 12 - r. Is -2 at least as big as i?
True
Let j(y) = y**2 - 2*y - 16. Let z be j(-7). Let m = z + -47. Which is greater: 1/8 or m?
1/8
Suppose -18 = -8*u + 14*u. Which is bigger: u or 0?
0
Let v(p) = -p**3 - 3*p**2 - p + 3. Let y be v(-3). Suppose 0 = -5*l - 7*f + 8*f + 53, 16 = l - 2*f. Let c = l - y. Are c and 4 equal?
True
Let n = 15 + -17. Let i be 0 + 3/(6/n). Is i at least as big as -2/123?
False
Let x(t) = t - 13. Let u be x(-11). Let k = u + -15. Which is smaller: -37 or k?
k
Let l(v) = 5*v**2 + 11*v - 6. Let h be l(6). Suppose 2*z + 5*t = h + 590, 848 = 2*z - 4*t. Let d be 2/(-4) - z/24. Are -17 and d non-equal?
True
Suppose 575*q + 2 = 574*q - 3*u, 0 = u - 1. Is 15 at most as big as q?
False
Let d(n) = 2*n**2 + 7*n - 14. Let b be d(-6). Let i(g) = -g + 12. Let o be i(b). Suppose -4*q + t - 4*t - 3 = 0, -2*q - 5*t = -9. Is o at least q?
False
Let m = -38.94 + 0.94. Let a = 38.9367 + 0.0633. Let c = a + m. Are -5 and c equal?
False
Suppose -657*d = -658*d - 1. Which is smaller: d or -4?
-4
Let a be (3 + 2)/(1/3). Let p = a - 10. Suppose -8*i = -p*i. Is -3/23 != i?
True
Suppose -5*y - 4130 = 5*y. Let j be ((y/(-4))/7)/(10/8). Which is bigger: j or 11?
j
Let m = 3085659/15904759913 + -3/240613. Let w = m - -403215944/859313. Let v = -469 + w. Is 1 greater than or equal to v?
True
Let k = 2 + -2.2. Let s = k + 0. Let u = 1531 + -1530.9. Is s smaller than u?
True
Let j be (-5)/((-12690)/(-2526)) + 1. Is 1 greater than or equal to j?
True
Let g = 1 - 1. Suppose 140*m + 33 - 59 = 114. Which is bigger: m or g?
m
Let x(c) = 14*c**2 + 2*c - 1. Let k be x(1). Let s be (9 - k)/((-3)/26). Let d = 727/14 - s. Which is bigger: d or 1?
1
Let h be (-1)/(-6) - 407/66. Let x be (-2)/h*(3 - 180/8). Which is greater: -7 or x?
x
Let k = -170 + 208. Which is smaller: k or 33?
33
Let b = 1/6175 + -13009/4069325. Is b != -1?
True
Let q = -3/44 - -25/1012. Let r = -31718 - -31719. Is q at most as big as r?
True
Suppose 3 = -d + 2*f, 6 = -2*d - 0*f + 2*f. Let x(v) = -v**3 + 6*v**2 + 8*v - 8. Let o be x(7). Which is smaller: o or d?
d
Let c = 1267 - 1309. Is c <= -0.2?
True
Suppose -8*o + 1726 = -826. Are 318 and o equal?
False
Let k = 25 - -7. Suppose 41*g - 186 = 35*g. Which is smaller: g or k?
g
Let a = 1898/27 + -22555/216. Which is greater: -34 or a?
-34
Let r = -658 + 718. Which is greater: r or -7?
r
Let y = 5416 - 5416. Let l be 2 - (-994)/(-330) - -1. Do l and y have different values?
True
Let p be (4/5)/((-2)/50). Suppose -6*t - 24 = 114. Let z be -3 + t/(-7) + 135/(-7). Is z >= p?
True
Let m = 77 - 37. Let d = 41 - m. Is -1 greater than d?
False
Let r be -6*(-3 - (-26)/8)*-6. Let t(u) = 0 + 2*u - 5 - 5*u + 2. Let h be t(-4). Is h greater than r?
False
Let b(u) be the third derivative of 21*u**6/40 - u**5/60 - u**4/8 - u**3/3 + 4*u**2. Let h be b(-1). Is h less than -63?
False
Let b = 8/173 + -20/15397. Are b and -1 unequal?
True
Let y = -1.22 + 1.22. Which is smaller: y or -2/647?
-2/647
Let q be (365/25 - -4)/(1/(-15)). Is q < -278?
True
Let b = -0.95 + 0.33. Let z = b + -0.38. Is z equal to -2?
False
Let n(g) = g**3 + 5*g**2 + 6*g + 5. Let r be n(-4). Let c be 27 - ((-12)/r - 6). Does 28 = c?
False
Suppose 12*o = 15*o + 45. Let x be ((24/50)/(-3))/((-6)/o). Which is greater: x or 12/17?
12/17
Let x = -1.322 - -0.022. Let i = -1.14 - x. Which is smaller: i or -1?
-1
Let a = 0.45 + -0.08. Let j = -0.17 + a. Let v = -4 + 3. Which is bigger: j or v?
j
Suppose 0 = 69*t - 53*t + 32. Suppose 7*b - 4*b + 9 = 0. Is t at most as big as b?
False
Let t be (-5)/(-20) - 0 - (-428)/(-944). Is t at most 0?
True
Suppose 5*d + 15 = -x, -x - 4 = 3*d + 3. Let y be x/3 - (-5 - (-34)/6). Which is smaller: y or 2/127?
2/127
Let h = 27.5 - 33.5. Is -2/5 <= h?
False
Let i be (-2*1 + (5 - 9))*1. Let j be (29 - -1)/(i/9). Is -45 less than j?
False
Let m = 61 - 60.9. Suppose 0 = -3*s + 3*w - 33, 12 = -2*s + 2*w + 2*w. Is m less than s?
False
Suppose 0 = -2*h - 4*z + 34, -21 - 13 = -2*h - 5*z. Which is smaller: h or -19?
-19
Let y be ((-8)/12)/(2/24). Let k(o) = -o**3 - 28*o**2 + 33*o + 108. Let r be k(-29). Is r >= y?
True
Let c = 197 - 129. Let z = c - 65. Is z smaller than -0.3?
False
Let z(t) = -28*t**3 + 3*t**2 + 13*t - 3. Let p be z(-3). Which is bigger: p or 740?
p
Let p = -1892 + 24613/13. Is 2 at most p?
False
Let q = 32 + -11. Let m = q + -31. Let t = m + 1. Is t at least -8?
False
Suppose 30*r = 33*r. Suppose 0 = 5*a + 14 + 6. Let s be (22/(-13) - a) + -2. Which is bigg