 n be (1/(-2))/((-2)/4*(-5)/35). Let u = -2.6 + 1.5. Which is smaller: u or n?
n
Let o = 3 - 5. Suppose 0 = -3*r - 3*z + 42, 5*r + 4*z = -0*r + 68. Let h be 3*(-8)/r*1. Is h smaller than o?
False
Let d be (38/4)/(18/(-12) + 3). Are 7 and d non-equal?
True
Suppose -15*j - 27 - 3 = 0. Let b be (-108)/12*j/(-11). Let u be -5 - (2/2 + -3). Is b at least as big as u?
True
Let o be ((-2)/(-62))/((-26)/1354). Let h = 21/13 + o. Is h at most as big as 2?
True
Suppose -2*x - 7*x = -387. Let u = 43 - x. Are u and -7/13 non-equal?
True
Let d = -3 - -4. Let w = 41 + -18. Let q = -22 + w. Are q and d equal?
True
Suppose -2*c + 20 = 2*v, 4*v - 5 = 4*c + 19. Suppose v*t = -3 + 11. Do t and -1 have the same value?
False
Suppose 3*q = -u + 37 + 6, 0 = -3*q + 2*u + 49. Suppose 0 = 5*r - 4*x - 26, -3*r + 0*x + 3*x + q = 0. Which is bigger: r or 0?
r
Let d(s) = -5*s**2 - 41*s + 4. Let l be d(2). Is -98 greater than l?
False
Let u = -1556.7997 + 1557. Which is smaller: u or 1?
u
Let c = -1933 - -1937.33. Which is smaller: c or 0.2?
0.2
Let f = 38329/11080 - 4/4155. Let q = f - 29/8. Which is greater: 0.19 or q?
0.19
Let h = 20 - 169. Is h < -147?
True
Let f = 1/4 - 21/52. Let v(d) = d**3 + 2*d**2 - 2*d + 3. Let z be v(-3). Are f and z non-equal?
True
Suppose 141 = -3*i - 24. Let l be (-3*(-4)/30)/((-33)/i). Let y = 16 + -65/4. Is y not equal to l?
True
Let q(s) = -s**3 - 14*s**2 - 10*s - 1. Let w be q(-13). Does -40 = w?
True
Let h(x) = -x**2 - 4*x - 6. Let b be h(-5). Let d = 75 - -8. Suppose -8*y - 13 - d = 0. Which is greater: y or b?
b
Let u = 7 - 5. Let q be (-13)/u - (-8)/16. Which is bigger: q or -8?
q
Let h(k) = -k + 5. Let o(t) = -2*t + 9. Let z(j) = -5*h(j) + 3*o(j). Let x(l) = l**2 + 25*l - 24. Let q be x(-26). Let c be z(q). Is -1/9 > c?
False
Let t = -49 + 50. Let u(j) = -j**2 + 15*j + 33. Let z be u(19). Are t and z equal?
False
Let i = -3/137 - 41/4384. Are i and 6 unequal?
True
Let t = 82.64 + -5.64. Does -2 = t?
False
Suppose -11 + 3 = 4*h, -5*h - 128 = 2*a. Which is smaller: -61 or a?
-61
Suppose 0 = -5*w + w + 2*f - 118, -4*w = 2*f + 138. Let k be 6/(-21) - w/14. Suppose -36*n = -40*n. Is k smaller than n?
False
Let f be (110/50)/(-11) - (-6178)/(-10). Which is bigger: f or -616?
-616
Let j = -243 + 632. Is -0.1 greater than or equal to j?
False
Let f = -6.63 + 10.63. Is f less than 48?
True
Let m(s) = -19*s + 1. Let g be m(-6). Let u = -218 - -332. Is g < u?
False
Let u(y) = -y + 18. Let a be u(19). Which is smaller: 1/6 or a?
a
Let t = -224.5 - -220.7. Is -3 at least as big as t?
True
Let n = -17 - -26.8. Let v = -19.8 + n. Is v < -5?
True
Let g be 5 - (2 + -6 + 4)/1. Which is smaller: 25/6 or g?
25/6
Let m = 20 - 17.8. Let l = -0.2 + m. Let j = -108.02 - -108. Do j and l have different values?
True
Let l(h) = -h**3 - 3*h**2 - h. Suppose -5*f - 11 = 3*s, 3*s = 3*f - 0 - 3. Let x be l(s). Is 0.3 at most as big as x?
False
Let j = 2.3 + -4.3. Let o = -3 + j. Let i = 5.2 + o. Which is greater: -4 or i?
i
Let x = 113 + -112. Let o be 1/((-2 - -2) + x) - 53. Which is bigger: -51 or o?
-51
Let l = -3.92 - 0.08. Let c = -2.27 + 1.65. Let b = c + -0.38. Which is bigger: l or b?
b
Suppose 33*h - 326 = 32*h. Are h and 327 unequal?
True
Let a(m) = m**2 + 26*m + 108. Let i be a(-23). Is i >= 17?
True
Suppose 2*n - 151 + 59 = 0. Suppose -g - 45 = -2*g. Which is smaller: g or n?
g
Let u = -341 + 3082/9. Let b = u - 11/9. Which is greater: 0 or b?
b
Suppose 0 = -n + r - 41, 5*n - 15*r = -13*r - 211. Are n and -44 nonequal?
True
Let w(y) = -y**2 + 10*y - 10. Let a be w(8). Let r(o) = -o**3 + 6*o**2 - o + 3. Let b be r(a). Suppose 5*c + 4 + 1 = 0. Which is smaller: c or b?
b
Let v be -1 + (-3)/(-2) + (-1)/2. Which is smaller: v or -1/91?
-1/91
Let m = -371 - -387.1. Let v = 26 + -42. Let a = v + m. Is a at most 2?
True
Let m be -10 - (-1 - 3/(-1)). Let w be (m/90)/(2/20*-2). Which is greater: w or 2.1?
2.1
Let m be (-150 + -8)/(1*-2). Suppose -5*w + 10 - m = 4*q, -4*w - 3*q = 55. Let f(g) = g**3 + 13*g**2 - g - 12. Let v be f(w). Which is smaller: v or -1/24?
-1/24
Suppose 0 = 6*n - 2*n - 4*o - 2508, -2 = 2*o. Suppose n = 8*m - 54. Which is bigger: 86 or m?
86
Let k be 1/((-5)/((-610)/4)). Let h = 336/11 - k. Which is greater: h or 0?
h
Suppose 5*x + 58 = 218. Suppose 6*h = 4*h + x. Does 15 = h?
False
Let t = -9.172 + 0.072. Let u = 23 - 32. Let w = u - t. Is w at least -3?
True
Suppose 7 - 12 = -k. Suppose k*a = 3*p - 2*p + 5, 4*p = -a - 20. Suppose 2*z = 3*m - z + 12, -m + 2*z - 5 = a. Is m greater than -1?
False
Suppose 0 = -4*f - f + 5. Let j = 0 + f. Let k = 19.56 - 19.36. Which is greater: j or k?
j
Let m be 1 - (0/(-6))/2. Which is smaller: m or -1/330?
-1/330
Let q(m) = -m**2 - 5*m + 14. Let v(w) = -7*w - 4. Let c be v(-6). Suppose -5*k - c = 2*z + 2*z, -5*z = 3*k + 28. Let s be q(k). Is 8 at most s?
True
Suppose -2*r - 3*r = 75. Let s = 1.38 + -0.38. Is r at most as big as s?
True
Let s be (-6008)/(-6)*(-18)/20. Let r = s + 898. Is -2 not equal to r?
True
Let p(o) = o**3 + 9*o**2 - 10*o + 3. Let b be p(-10). Suppose -3*s + s = 2*v - 26, 0 = s + b. Let k be (12/(-10))/((-6)/80). Is k > v?
False
Suppose -k - 96 = -13*k. Is k at least as big as 20/3?
True
Suppose 49*j - 48*j - 16 = 0. Let a be (-127)/(-5) + (-6)/15. Let i = 43 - a. Is i >= j?
True
Let c = 1081 - 1078. Is 4/13 > c?
False
Let o be (-2)/7 + 27/21. Let x be -6*(2 + 1/2). Let f be (-5 + 4)*25/x. Which is smaller: f or o?
o
Let k = 6 + -6. Let m = 2 + k. Let p = -2.026 - -0.026. Is p at least m?
False
Let t be 12/4 + (11 - 2). Suppose 0 = -h + 2 - t. Is -10 > h?
False
Let q be 4/(-10) + 414/(-15). Let g be 1*3 - q/14. Suppose -g = -3*v + 5*d, -2*d = 2*v - 12 - 18. Is 12 <= v?
False
Let g(z) = -z - 7. Let o be g(-3). Let s be o/(-6) + (-30)/(-9). Suppose h = 3*a - 3, -h + 2 = s*a - 9. Is 5 less than or equal to h?
False
Let s = 737 + -793. Which is smaller: -55 or s?
s
Let q be 3/1*-1 + 2. Let v be (q + 3 - 2)/(-2). Is 8 smaller than v?
False
Suppose 0*b + 5*d = 2*b - 46, -5*b = 3*d - 53. Let k = -4 + b. Let i = -9 + k. Does i = 1/11?
False
Let n = 0.089 - -0.341. Let k = 0.17 + n. Let i = 0.9 - k. Is -0.3 at most i?
True
Let s = 1306/25 - 52. Let w = -6 - -5. Is s smaller than w?
False
Suppose a + 4*v = -1, 2*a - v = -0*v + 7. Suppose 0 = -2*u - 3*z - 0 - 3, -a*u - 5*z = 6. Let c be (-3 - (-8)/u)*27. Is c greater than -9?
False
Let n(a) = a**2 - 15*a. Let f be n(12). Let q = f - -71/2. Which is bigger: q or 0?
0
Let h(p) = -1438 + 20*p + 3*p**2 - 5*p**2 + 1423. Let a be h(9). Which is smaller: a or 19/7?
19/7
Let m = 151 + -151.4. Suppose 12 = 4*f - 7*f. Let i = 2 + f. Is i smaller than m?
True
Let h(a) = -5*a**2 + 44*a + 14. Let q be h(10). Is q not equal to -42?
True
Suppose 4*g - 5*s + 29 + 20 = 0, 4*s = -g + 14. Let o be ((-28)/(-147))/((-4)/g). Let c = -0.5 - 1. Is c less than or equal to o?
True
Let v = -3.05 - -5.05. Which is greater: 610 or v?
610
Let k be 8/(16/(-10)) + 6. Suppose 0 = z - 4*c - 13, 4*c + c = 5*z - 20. Is k equal to z?
True
Let c be 2 + (-17)/((-204102)/(-24000)). Which is smaller: c or 1?
c
Let u = -0.2 + -0.3. Let t = u + 0.3. Let g = -656/7 + 94. Does t = g?
False
Suppose -5*g - 1 = -2*m - 46, 0 = m + 9*g + 57. Which is bigger: -33 or m?
m
Let u(a) = 3*a**3 - 5*a + 1. Let t be u(-2). Let d(z) = 10 + 4 + 11 + 2*z. Let f be d(t). Which is greater: f or -2/35?
-2/35
Suppose 15 = -4*u - v, -17 = -u + 5*v - 5. Is -11/3 < u?
True
Let x be 1*(-38)/57 + 212/3. Is 285/4 bigger than x?
True
Let i = -50.83 - -0.83. Let d = i + 21. Which is smaller: d or 1/2?
d
Let x be 12/8*28/6. Suppose -v + 7 + x = 5*z, -2*v - 4*z + 10 = 0. Let q = 442/45 + -48/5. Do v and q have the same value?
False
Let w = -15 - -22. Suppose -15*b + 11*b + 28 = -2*d, -2*d + 17 = b. Which is smaller: b or w?
w
Let b = -3/476792 + 618878221/350442120. Let t = 4881/4 - 717487/588. Let k = b + t. Is 2 >= k?
True
Suppose -2*k + 2*y - 12 = 0, 6*k - 2 = 3*k - 2*y. Let p be 8/16 + (-69)/66. Which is smaller: k or p?
k
Let g = 188 - 188. Is -1/16 less than g?
True
Let w(y) = 3*y - 15. Let g be w(5). Suppose 4*o = -m + 13, 3*m = 3*o - g*m - 6. Which is smaller: 2 or o?
2
Let v = 7339/665448 - 5/408. Are 1 and v unequal?
True
Let a = -235/3822 + 1/98. Let c be (-5)/(-25)*-5 + 1/2. Are c and a nonequal?
True
Let