Which is greater: k or v?
v
Let m be 6 - (-1)/((-2)/8). Suppose -4*h - m*h = -24. Which is smaller: h or 5?
h
Let m = 36502/101024011 - -4/26017. Let c = m - -2822/3883. Is 0 at most c?
True
Let h = 232 + -233. Suppose 0 = 2*i + 4*b - 20, i + i + 4 = 2*b. Is h equal to i?
False
Let w be (-28)/182 - (268/(-26))/2. Suppose w*f + 73 = -3*y + 349, -3*f - y = -164. Is f at least as big as 54?
True
Let w = -69 - -77. Let i be 7/28 - (-62)/w. Is 0.3 at least i?
False
Suppose -k = 3*l - 34, 5*l - 60 = -3*k + 38. Suppose -5*h = -4*q + 9*q - 170, 5*q = -4*h + 166. Are q and k unequal?
True
Let i = 5 + 15. Suppose l = -5*f - i, -l - 2*f + 3*f = -10. Is l equal to 9?
False
Let w = 58 - 31. Suppose 0*x + 5*x - w = 4*k, -15 = -4*x + k. Suppose -x*v = -v. Which is bigger: -2/23 or v?
v
Let h(p) be the second derivative of -7*p**4/4 - p**3 + 9*p. Let j be h(-5). Let w be 4/(-5) - 351/j. Are w and 2/5 non-equal?
True
Let n = 206/3 - 619/9. Suppose -5*r = -3*l, -5*r + 5*l - 5 = -15. Let x = r - -2. Which is smaller: x or n?
x
Let l = -296 + 291. Is l not equal to 0.12?
True
Let p = -6.4 + 5.88. Let y = 0.6 + p. Which is smaller: y or 2?
y
Let o = -105.2 + 17.2. Let l = o - -88.1. Let i = -5 + 5.3. Which is bigger: i or l?
i
Let n = -0.0821 + 0.2921. Which is smaller: -0.2 or n?
-0.2
Let w be 77/21 - (-2)/6 - 2. Let r be (-28)/(-7) - 7/w. Which is bigger: r or 1?
1
Suppose 9 = -b + 3*q - 2, -4*q = -3*b - 38. Let h = b - -17. Let x = h + -9. Which is smaller: -7 or x?
-7
Let c be -1 + 0 + -3 + 56/2. Suppose 0*z + 3*z = c. Is z less than 20/3?
False
Suppose 3*p + 3*x = 0, -16*x = -3*p - 11*x. Do p and -1/17 have different values?
True
Let r = 0.12 - 8.12. Let t = r - -9. Let z be (-10)/(-170)*6*-1. Which is bigger: t or z?
t
Let g be (74 - -2)/(12/((-132)/(-55))). Which is smaller: 16 or g?
g
Let n be (8/(-2))/(-2 + (3 - 2)). Suppose -n*t + 3 = 15. Does 0 = t?
False
Let h = -6 + 5.1. Let m be (2 + 1652/(-8))/((-3)/(-2)). Let u = -136 - m. Which is smaller: u or h?
h
Let m = -10497 + 1375114/131. Which is smaller: 0 or m?
0
Suppose 2*q - 9 = -q. Suppose q*x = 3 + 3. Let c(b) = b**3 - 10*b**2 - 23*b - 10. Let n be c(12). Is n < x?
False
Let u = 11 + -16. Let i be -2 - u - (-69 + -2). Do i and 75 have the same value?
False
Suppose 12*z + 20 = -8*z. Which is greater: -127 or z?
z
Let t be (36/558)/((-12)/758) - -4. Which is smaller: 1 or t?
t
Let h(f) = f**3 + f**2 - 4*f + 1. Let c be h(-2). Suppose -3*v + 0*b + c*b = 7, 2*v = -2*b - 10. Which is smaller: v or -6?
-6
Let c = 89.5 - 82. Let k = c + -7.3. Is -1/7 > k?
False
Suppose 3*i + r + 1491 = 7*i, -i - 2*r + 384 = 0. Which is greater: i or 375?
375
Let c = 10 + -7. Suppose c = -3*r + 9. Suppose -r*p = 2*p. Is p <= 0?
True
Let u = -0.15 + 0.08. Let r = u + 0.13. Let k = 0.04 + r. Which is greater: 2/13 or k?
2/13
Let z = 21 - 19. Let m = z + 3. Suppose -m*p - 14 = 16. Which is greater: p or -9?
p
Suppose -8*g + 10*g + 460 = 0. Let d be 40/g*(3 - 1 - 1). Which is greater: d or 1?
1
Let k = 486/385 + 72/55. Is k less than or equal to 4?
True
Let k = 3.48 + -38.68. Let t = 38 + k. Which is smaller: t or 0?
0
Let o = 15 + -25. Suppose -5*u + 0 - 5 = 3*h, -h - 11 = -3*u. Suppose -1 = u*p - p. Which is bigger: o or p?
p
Let o = 20911/450 + -422/9. Is o equal to -1?
False
Suppose 2*j - 13 = -5*f - 128, -j + 5*f = 20. Let h = j + 51. Are h and 7 equal?
False
Let t(l) = -8*l - 47. Let g be t(-6). Let z = -759 - -38707/51. Is z at least as big as g?
False
Let q = 2673 + -2708.26. Let l = 32.4 + q. Let s = -0.14 + l. Is s smaller than 0?
True
Suppose -6 = 3*w + 6. Let i be 18/((2 - 1)/(-2)*-3). Let u be i/15*w/24. Which is smaller: 0 or u?
u
Let q be -5 + 5/(35/33). Which is smaller: q or 1.37?
q
Let i(m) = 51*m - 1. Let a be i(1). Let t = 51 - a. Which is greater: t or 4/11?
t
Let p(v) = v**2 + 5. Let h be p(0). Suppose 3*g + 71 = h*f, -g = -4*f + 3*g + 60. Are 12 and f nonequal?
True
Let j = -0.012 + -0.988. Suppose 2*i = -5*r - 34 + 4, -3*r + 8 = -4*i. Is j bigger than i?
True
Suppose 2*z - 15*z = 12*z. Are z and -1.08 equal?
False
Let b = 1470 - 1469.9. Which is smaller: b or 15.01?
b
Let h = 0.036 - 27.036. Let c = -17 - h. Let y = -12 + c. Which is smaller: -2/9 or y?
y
Let t(x) = -x**2 - 16*x + 40. Let c be t(-18). Suppose 0 = -r + c, -5*r + 34 + 86 = 5*k. Is k >= 4?
True
Let r be (-40)/(-14) + 6/42. Suppose -8 = -2*s + 4*b, -2*s - 2*b = r*b + 37. Suppose 2*f = 5*y + 23, -4*y - 12 = -y - 3*f. Which is greater: s or y?
y
Let t(m) = -7*m**2 + 2*m - 1. Suppose -4*y + 5*j = 11, 3*y - j = 2*j - 6. Let s be t(y). Is -9/2 at most as big as s?
False
Let z = -24 + 23.95. Let y be 0/3 + 2/6*-1. Which is smaller: y or z?
y
Suppose a - 4 = 0, -27*a = -g - 23*a. Which is bigger: g or 34?
34
Suppose -4*j = -12, 5*h = 2*h + 3*j - 9. Suppose h*a - 2*a = 3*d + 40, 0 = 5*d + 5*a + 75. Is d greater than or equal to -10?
True
Let s(f) = -4*f**3 + 21*f**2 - 6*f + 44. Let i be s(6). Is i equal to -103?
False
Suppose -5*k - 4*z - z = -55, 2*z + 27 = 5*k. Let x be 2/7 - (-19)/k. Let o be (-6)/4*44/(-33). Is o smaller than x?
True
Let m be 1914/(-116) - ((-9)/(-2))/(-3). Which is greater: m or -14?
-14
Let z = 8 + -6. Suppose -5*g + 33 = -z*g. Suppose 9 = 5*f + i, 0 = -4*f + f + 5*i + g. Do 1 and f have the same value?
False
Let j be (3 + 15/(-6))/(2/28). Let m be ((-6)/9)/(6/9). Let n be (8 - (m - -1))/1. Is j < n?
True
Let t(i) = 3*i + 7. Suppose 3*v - q = -4, -10*v + q - 7 = -6*v. Let o be t(v). Suppose -4 = u + u. Is o at most u?
True
Let f = 176 - 173.1. Which is bigger: 2 or f?
f
Let p(h) = 20*h + 20. Let u be p(-5). Let n = u - -81. Which is smaller: -2/93 or n?
-2/93
Let l = -37/4 + 197/20. Which is smaller: -66 or l?
-66
Let n = 4688 + -4686. Let l = -8 - -11. Suppose l*t - 8 = -s + 5*s, 3*s - t = -1. Is n != s?
True
Suppose 2*y - 4*y + 4*h + 16 = 0, 5*y = -3*h + 14. Suppose -d = 0, 0*k + y*k + 3*d = -132. Is -34 at least k?
False
Suppose -q + 5885 = -5*t, 0 = t + 2*q + 2*q + 1156. Let x be (-85)/(-25) + -3 + t/15. Which is greater: x or -77?
-77
Let k(s) = 66*s + 244. Let o be k(-8). Is o less than -281?
True
Let w = 631 + -437. Is w smaller than 195?
True
Let f = 0.3 + -0.4. Let s be (-1)/2 + (-55)/66. Which is greater: f or s?
f
Let s = 15144459/1106 + -13693. Is 0 at least s?
False
Let a(n) = -144*n - 8. Let o be a(-3). Let w = o + -1304/3. Is w <= -10?
True
Let v(x) = 17*x**2 + 96*x + 6. Let z be v(-7). Does 167 = z?
True
Let k = -285 + 284. Does k = 2/445?
False
Let z = -430 - -336. Which is bigger: -93 or z?
-93
Let c be 7/(7/(-4)) + (4 - -1). Is -2/43 not equal to c?
True
Let d = -0.5 - 1.5. Suppose -4*i = 3*o - 7, 9*o = 14*o + 5*i - 10. Is d smaller than o?
True
Suppose 384 = q + 11*q. Let j be (q/(-4) + 0)*1. Is -2 != j?
True
Let z(o) = -o**3 + 12*o**2 - 12*o - 13. Let v be z(11). Suppose 5*i - 5*h + 90 = -15, 3*i + 87 = -3*h. Which is bigger: i or v?
v
Let f = 1028.7 - 1029. Let o(x) = 4*x**2 - 2*x - 2. Let h be o(2). Is h bigger than f?
True
Let x(h) = 22*h**2 + 2*h - 1. Let y be x(1). Suppose -z = 4*m + y, -4*z - z = m + 39. Which is smaller: -8 or z?
-8
Let g be (-102)/(-1224) - 650/24. Let v(t) = t**2 + 13*t + 10. Let c be v(-9). Which is bigger: c or g?
c
Let f be (32/96)/(1/39). Let x be (-4 - 2)*(-20)/(-6). Let s = f + x. Is s equal to -7?
True
Let z(a) = -3*a - 16. Let d(g) = 9*g + 48. Let m(o) = -3*d(o) - 8*z(o). Let x be m(-5). Which is bigger: 3/34 or x?
3/34
Suppose f - 2*f - 2 = 0. Let p be 10/6 + 4/(-6). Let b = p + -5. Which is bigger: b or f?
f
Let q(i) = -i + 9. Let w be q(6). Suppose -w*n + 0*k + k = 8, -4*n + k = 10. Is n <= 2/5?
True
Let a = -1.9 + 2. Let q = -56 + 51. Let h = -4.94 - q. Are h and a nonequal?
True
Suppose 4*x = -3*q + 327, 3*x = -0*x - q + 239. Suppose 0 = 2*s - 4*m + 64, 3*m + 195 = -4*s + x. Let c be ((-2)/(-20))/((-4)/s). Which is greater: c or 1?
1
Suppose 0 = -4*w - 28 + 4. Let r = w - -9. Let p be 0 + 0 - (2 - r). Is p <= -2/25?
False
Let f be -15*(-2*(-8)/(-12) - -1). Suppose 0 = -3*x - 2 + 17. Is f less than or equal to x?
True
Suppose -4*q - 4 = -16. Let l be (-3)/(-1*(q - 2)). Suppose -4*i - n - 20 = 0, -n - l - 12 = 3*i. Which is bigger: -4 or i?
-4
Let b = 4 + -7. Let w(x) = x**3 + 12*x**2 + x + 11. Let j be w(-12). Let h be b/j*(-4)/282. Which is smaller: 0 or h?
h
Supp