- 3. Let m be i(-3). Suppose -3*x + 4*x + 5*f = -21, -4*x + 1 = m*f. Is h greater than x?
False
Suppose 0 = -6*r + 9540134 + 4766338. Let d = r - 996685649/418. Let t = d - -66/19. Which is smaller: t or -1?
-1
Let j = -15.8 + 21. Let r = -2.8 - j. Are -0.1 and r equal?
False
Suppose 0 = 4*g + f - 1 + 9, -5*g - f = 11. Let y be 44/3*(-1)/6. Does g = y?
False
Let y = 25.4 + -25.363. Is y smaller than 0.1?
True
Let l be ((2/(-460))/(-1))/(10/20). Let c = 243/1495 - l. Which is greater: 1 or c?
1
Let r = 1.588 + -0.038. Let w = -0.691 + -0.909. Let u = w + r. Are -1 and u non-equal?
True
Suppose 0 = -3*r + 9 - 18. Let v = 6 + r. Let u be 2/(-1*8) + 13/4. Is u equal to v?
True
Let m = -54/47 + 3842/235. Is 15 smaller than m?
True
Let b(r) = r**3 + 2*r**2 - 2*r - 1. Let n be b(5). Suppose 4*f - y = -126, -n = 5*f + 2*y - 0. Let i be (-7)/((-14)/f) + 3. Which is smaller: i or -12?
i
Let y be ((-3096)/8)/(-9) + -2. Is y at most 47?
True
Let u = -120894 - -26233925/217. Let p = 6/31 + u. Is p >= 1?
False
Let i be -5*(656/(-40) - 5). Which is greater: 106 or i?
i
Let v = -8.96 + 12.96. Which is greater: 24 or v?
24
Let f = -194 + 195.4. Is f < 0.6?
False
Let d = -307226/9 - -34178. Let c = 2740/63 - d. Let w = 6 + -3. Is w equal to c?
False
Let q be (-6118)/728 + 2/4*-1. Let b = 17/26 + q. Which is smaller: -7 or b?
b
Suppose -2*n - 12*n = -42. Which is smaller: n or 22/9?
22/9
Let j = -1915 + 1918.977. Let w = 0.023 + j. Is w equal to 0.5?
False
Suppose 9435 = 4*a + 1967. Suppose -7*i - 4*q = -2*i + 3100, a = -3*i - q. Let j be (-30)/(-195) + 122/i. Do j and -1 have the same value?
False
Let k be 8/28 + 17087/49. Which is bigger: 347 or k?
k
Let r be -1*1*(-16 + 1). Let s = r - 89/6. Suppose 0 = x + 3*j + 22, -12*j = -8*j + 28. Which is bigger: x or s?
s
Let o = -33.097 + -2.903. Let w = 0 - -0.2. Is o at least as big as w?
False
Let c = -383 + 509. Which is greater: 125 or c?
c
Let z = 306 + -926/3. Suppose -3*v - s + 11 = -37, 0 = 4*s. Suppose 26 - v = -5*b. Is b bigger than z?
True
Let s be 77/(-6) + (-15)/90. Let r be (2 - 3)/(s/26). Is -0.1 greater than or equal to r?
False
Let n = -803 + 802. Let y be ((-7)/5 - -1)/(-1). Is n <= y?
True
Let i(q) = -3*q + 1. Suppose 0 = -2*d - 4 - 4. Let b be i(d). Let p = 3238.2 + -3238. Are b and p non-equal?
True
Suppose -4*h = -2*h - 10. Suppose 16 = h*u - 2*y, u - 2*y + 13 = -7*y. Let b be 1/(-1)*u - 1. Does 0.03 = b?
False
Let d = -7.05 - -0.05. Let p = 17 + d. Let u = -10.1 + p. Which is smaller: u or -4?
-4
Let i be 3/14*(-76412)/(-42). Let p = 389 - i. Which is greater: p or -2?
p
Suppose 5*v - 4*x + 9 + 51 = 0, 0 = 4*x. Let n be 6/v*2/(-4)*0. Is -1/11 at least as big as n?
False
Let k be (-5 + (-136)/(-24))/((-8)/12). Which is greater: k or -5/189?
-5/189
Suppose -3*h - m + 2 = -2*h, 2 = m. Suppose h = f - 0*f - 19. Let s = f - 5. Is s > 13?
True
Let y(w) = w**2 - 8*w. Let l be y(9). Let k be (l/2)/((-3)/(-10)). Which is greater: k or 16?
16
Let x = -469.6 - -469.7. Let z = -4 - -7. Which is smaller: x or z?
x
Suppose 3*s + 35 = 4*i, i + 2*s + 6 = 1. Suppose y = -5 - 0, 2*n - i*y = 17. Which is smaller: -2 or n?
n
Let j be (-8)/(6/(-3)) + (-5694)/1425. Is j less than or equal to 1?
True
Let f = -158 + 158. Which is bigger: 17/19 or f?
17/19
Suppose -2*y = -3*c + 5, -3*y = -c - y + 7. Let d = 2701 - 94543/35. Let o = -6/35 - d. Is o at most as big as c?
False
Let h = -1 - 1. Let v be h*1/(-2) + 0. Let s be 22 + -11 - (-224)/(-20). Are v and s nonequal?
True
Suppose -4*u + q + 20 = 0, 2*u - 5*u + 15 = -2*q. Suppose m = 3*p - 6, 2*m + u*p + 0*p + 12 = 0. Let j be m/4*(-40)/(-12). Is -5 smaller than j?
False
Suppose 0 = -2*r - 10, 2*n + 34 - 103 = 3*r. Suppose -3*s - n = 5*w, 0 = -3*s + s - 8. Let m be 3*(-1 - (-1)/3). Is w greater than m?
False
Let l be (-568)/(-42)*(-77)/(-22). Which is bigger: 47 or l?
l
Suppose 210*d - 199*d = 836. Which is smaller: d or 74?
74
Let n = -224 + 219. Is n less than -0.05?
True
Suppose -3*a + 2*s + 15 = 0, 3*a = 6*s - s + 6. Let y(p) = p**3 + 11*p**2 + 9*p + 12. Let c be y(-10). Suppose -4*d + 14 = -c. Is d > a?
True
Let f(b) = -b**3 - 2*b**2 + 90*b + 86. Let a be f(-10). Let p be -33 + 4*(-1)/(-2). Let s = 17 + p. Do s and a have the same value?
True
Let w(z) = 74*z + 55. Let v be w(3). Do 276 and v have the same value?
False
Suppose 3*v + v + 20 = 0. Is v greater than or equal to -1?
False
Let l = -2 - -1.7. Let r = l + -9.7. Let t = r + 11. Do t and -4 have different values?
True
Let z = 0.143 - -2.457. Which is smaller: -0.1 or z?
-0.1
Let b(z) = z**3 + 3*z**2 + z - 2. Let s be b(-2). Suppose -4*o + 5*o = s. Suppose -q - 2 = 2*c, -4*q + 9*q - 2*c - 2 = o. Is -3/16 at most q?
True
Let r(v) = 4*v - 70. Let z be r(17). Let o be ((-4)/28*2)/(z/(-2)). Suppose f + 2*s + 6 = 5*f, -2*s = 4*f - 2. Is f bigger than o?
True
Let a be -3 + 6 + ((-6)/1 - -3). Which is smaller: a or 1/571?
a
Let q be 35/(-21)*16/(-6). Let a be 4/10 + 2872/(-630). Let l = a + q. Is 1 at most l?
False
Let d = -11.11 + 9.6. Let g = d - -0.51. Let s be 8/6*(-18)/(-44). Is s != g?
True
Let z = 0.13 + 29.87. Let i = z + -29. Which is greater: 6 or i?
6
Let m(b) = 3*b**2 - b - 1. Let j be m(-1). Let g be j - (-3 + (-21)/(-3)). Let p(s) = -4*s**2. Let z be p(g). Does z = 1?
False
Let a = -2862 + 2357. Which is bigger: a or -0.2?
-0.2
Suppose -4*h = -3*o + 37, -h - o + 24 = -4*h. Let n(u) = -2*u**3 + u**2 + u. Let g be n(0). Let m = h + g. Is -8 at least m?
False
Let q = -36.004 + 36. Let t = -1.104 - q. Is t greater than -0.4?
False
Suppose -91 = b + 6*b. Let h = b + 10. Which is bigger: h or -20/13?
-20/13
Let l = 0.17731 + -86.06731. Let u = -1.89 - l. Which is smaller: u or 1?
1
Let r = -204737 + 1435437/7. Let u = r + -324. Is u less than 1?
False
Let v = -168 + 167. Suppose 5*r + k = 6*k - 10, -4*k = r + 2. Is r at least as big as v?
False
Let h = -64 + 14. Let k = -51 - h. Which is smaller: -0.6 or k?
k
Let t be -9 - ((1 + -1)/2)/2. Let h(a) = -a**2 + 8*a - 6. Let p be h(5). Let k = p + t. Which is smaller: 1/12 or k?
k
Suppose 0 = -5*y - 16 - 14. Let r(x) = -3*x - 48. Let n be r(-14). Do n and y have different values?
False
Suppose -1951 = 6*w - 3*w - 2*x, 0 = -5*w - 3*x - 3239. Let q = w - -18823/29. Which is smaller: 1 or q?
q
Suppose -8 = -3*w - 35. Let i = -13 - w. Let v be (-3)/(-6) - i/(-14). Which is greater: 0.1 or v?
v
Let q = 511 + -276. Let z be q/119 + 6/(-51). Which is bigger: z or 2?
2
Let j = 0.0732 - 0.1042. Is 2 > j?
True
Suppose -5*h - m = -22 - 113, -4*h - m + 109 = 0. Let i = 9 - h. Suppose 5*c + 6 = -2*n - 11, 3*c = -n - 7. Is i > n?
False
Let f = 1.67 + 0.43. Let l = f + -2. Let t = -1379 + 1370. Which is greater: t or l?
l
Suppose 2*w + 25 = 7*w. Suppose 0 = w*s - 2*s - 18. Let h be (16/(-24))/(s/10). Is h less than or equal to -2?
False
Let p = 32 + -27. Suppose -4*h + p = h. Suppose 3*t + 2*j - 3*j - 2 = 0, t - 3*j + 10 = 0. Are t and h unequal?
True
Let h be 110/(-385) + 16/(-91) + 0. Which is smaller: h or -1/15?
h
Let d be 8/(-6) - (-76)/399. Is d not equal to 9?
True
Suppose 2*c + 8 = -0*c + 5*i, 2*c = 3*i - 4. Let n be (8/(-4) - c)*-1. Suppose r - n*x + 11 = 0, -2*x - x = -2*r - 7. Is 3 greater than or equal to r?
False
Suppose 23*y - 16 = 19*y. Suppose y*c - 50 = 46. Which is bigger: 23 or c?
c
Suppose 0 = 4*a - 122 + 138. Suppose 2*h - 3*t = 35, 4*t = 4*h + 3*t - 45. Let z be (h/(-2 - -4))/(-1). Which is smaller: z or a?
z
Let p = 4 + 20. Let b = -25 + p. Is 1/35 at least as big as b?
True
Let o(q) = q**3 + 3*q**2 + q + 7. Let g be o(-3). Suppose -1 = a - 4. Which is smaller: a or g?
a
Let m be ((-92)/115)/(1/(-10)). Suppose -4*h + m = -0*h. Suppose -3 - h = -c. Is c bigger than 1?
True
Let v(r) = r**3 - 10*r**2 - 2. Let o = 19 + -9. Let m be v(o). Let t = 0 + -1. Do t and m have the same value?
False
Let u(f) = -2*f + 5*f + 1 - f - 5*f - f**3 + 6*f**2. Let w be u(5). Suppose 2*d - m + w = 0, 3*d + 2 = m - 16. Is -8 != d?
True
Suppose -357*b + 349*b = 32. Let m = -2 - -2.6. Which is greater: b or m?
m
Let f be 5/(-2)*(-36)/30. Suppose -f*m = u - 4, 7*m = 4*m - 5*u + 20. Suppose 5*q = -4*p - 1, -3*q + m*p + 2*p = -17. Is q < 14/9?
False
Suppose -8*q + 4*q - b = -25, 26 = 5*q - 4*b. Suppose -9*k - 15 = -4*k. Is q >= k?
True
Let p = 55648/9 - 6183. Let j = -5 + 7. Whic