ose 4*u + 32 = -4*r, -15*r + 13*r - 3 = u. Which is smaller: u or 0.059?
u
Let c be (-130)/20 - (-3 + 2/(-2)). Which is greater: c or 25?
25
Suppose k - 1 = 5*k - 5*o, 0 = -k + 3*o - 2. Which is bigger: k or 5/32?
k
Suppose -8 = -4*t, -18 = r - 3*t - 11. Do -14/31 and r have the same value?
False
Let j(u) = -2*u**2. Let m be j(-1). Suppose 3*v = -4*a + 7, -4*a + 1 + 3 = 0. Let t = v + -4. Is t equal to m?
False
Suppose -4*l - 4*t = -12, l - 4*t = -4*l + 6. Let q = 40 - 31. Suppose -s - q = -l*s. Which is greater: -2/3 or s?
s
Let u = 21.8 - 21.4. Let y be ((-1)/6)/((-3)/12). Which is greater: y or u?
y
Let q(m) = -7*m**2 - 26*m + 15. Let d(y) = -11*y**2 - 39*y + 22. Let n(o) = -5*d(o) + 8*q(o). Let j be n(-14). Let i = 4 + j. Is -3/13 at least i?
False
Let n be (19/57)/(8/66). Is -1/3 at least n?
False
Let t = -8 + 8.6. Let o = -2368 + 2373. Are o and t non-equal?
True
Suppose 436 = 3*k + 1153. Is -239 less than k?
False
Let u(x) = -11*x. Let q be u(-1). Let h be ((-12)/q)/((-1)/((-28)/(-21))). Which is greater: h or 0?
h
Suppose -5*t - 2 = -2*f - 9, -3*f + 2*t = -6. Suppose -r = -4*j + 18, -5*r - 3*j + 6 = -19. Suppose 5*h - f*h - r = 0. Which is smaller: 11 or h?
h
Let q = 4170 - 4172. Let f = 300373/225 + -1335. Let g = f + -371/450. Is q less than g?
True
Let o(m) = -21*m - 130. Let d be o(-6). Let w = 679/10 - 68. Is d <= w?
True
Let p be -4*(-4)/(-20)*20/(-32). Which is smaller: p or -6.95?
-6.95
Let n = -149/51 - 24/17. Let q = n - -6. Which is greater: 2 or q?
2
Suppose 12 = 4*k - 0. Let o be k/(0 + 6) - 38/(-4). Is 0 at most as big as o?
True
Let i be 61/228 - (-1)/(-3). Is i != 0?
True
Let c = 11.8 - 12. Let s = c - 4.8. Let w = -0.2 - -0.2. Is w equal to s?
False
Let u be (-2)/9 + 86261/(-127512). Let v = u - -6/253. Is -2 equal to v?
False
Suppose 332 = -9*l + 10*l + 2*p, 0 = 5*l + 3*p - 1667. Do 0.1 and l have different values?
True
Let i be 41308/4002 + 24/(-9). Which is greater: i or 8?
8
Let n be 3/((-4812)/(-1600) - 3). Let i = 6802/17 - n. Let z be (-18)/24 + (-1)/4. Which is smaller: z or i?
z
Suppose -l - h + 2 = 0, 4*l - 3*h + 6 = -0. Let i = -1/4821 + -308539/24105. Let x = 51/4 + i. Do l and x have different values?
True
Let s(f) = f - 14. Let b be s(8). Which is greater: -9/2 or b?
-9/2
Let j be ((-506)/74 - -10) + -3. Which is smaller: -1 or j?
-1
Let u(s) = 5*s + 89. Let r be u(15). Which is smaller: 2/5 or r?
2/5
Let a(b) = b**2 + 16*b - 59. Let c be a(4). Is 21 greater than c?
False
Suppose 77*q + 25 = 82*q. Let s = 2/7 + -15/28. Are q and s equal?
False
Let l be 54/5*(-100)/40. Are -19 and l equal?
False
Let a(p) = -p**3 + 5*p**2 + p - 4. Let b be a(5). Let c = b - 0. Let k be (-1)/(-4)*4 - (-1)/1. Which is smaller: k or c?
c
Let m = -54 + -20. Let j = m + 75. Are j and -28 unequal?
True
Let w be (3 + -2)/(2/4). Let v be (w/(-6))/((-2)/18). Suppose v*g = -2 + 8. Are 0 and g non-equal?
True
Let h(y) = -11*y + 176. Let o be h(16). Which is greater: 0.0631 or o?
0.0631
Suppose 12 = 5*h - h - l, 2*l - 6 = -2*h. Let a be 1*(2 - 3) + (5 - 2). Suppose 3*z - 27 = -5*k, -23 + 3 = -a*z - 4*k. Are h and z equal?
False
Let c = 380500/63 - 6038. Let t = c - 1/63. Is t at least 3?
False
Suppose -2*s + 17 = s - 4*n, 16 = 4*n. Let w(l) = 3*l**2 - 33*l + 2. Let x be w(11). Is s at least as big as x?
True
Suppose 13*g = 26*g - 793. Which is smaller: 56 or g?
56
Let r(v) = -v + 8. Suppose 0*w + 9 = 3*q + w, -q = -3*w - 13. Let s be r(q). Suppose s - 19 = -5*m. Which is greater: 1 or m?
m
Let g be (-1 - -2) + (-34)/(-1). Let i = g + -56. Let t = i - -4. Is -17 <= t?
True
Suppose 20 = 5*q - 9*q - 4*i, -5*i = -2*q + 11. Is q at least -14/9?
False
Let z be (-3)/(2/48*-3). Suppose -150 - 150 = -12*v. Which is smaller: v or z?
z
Let t be 3 + (-1 - 90 - 0). Let b be 2/(-11) - (-248)/t. Is -3 != b?
False
Let j be (-2)/(-6)*-4*(-26 + 29). Let v be (-3)/4 + 0 - 1/j. Which is greater: -2 or v?
v
Suppose 4*c - 5*c + 4 = 0. Suppose -c*k + n = -2*n - 7, -2*n = -k + 3. Let y be -3 - (1 - 1/k). Which is smaller: -1 or y?
y
Let o be 2/7 + (-64)/28. Let p be 24/15*o*(-2)/16. Is p smaller than 19?
True
Let o(a) = -4*a**3 + 2*a**2 - 1. Let f be o(1). Let u be ((-4)/(-14))/(f/(-2742)). Let v = u + -262. Is -2 < v?
True
Let m = 28.407 - 0.517. Let k = 24.1 + 3.9. Let y = m - k. Is y greater than or equal to 0?
False
Let p(g) = -2*g**2 + 14*g - 8. Let w be p(6). Is 18 at least as big as w?
True
Let k = -1194 - -1154. Is -41 > k?
False
Suppose -5*v = -26 - 24. Let d be ((-9)/15)/(1 + (-12)/v). Which is bigger: d or 0?
d
Suppose h - 18 = 4*i, 3*h - 8*h + i + 14 = 0. Let u be (-140)/96*63/(-105). Which is smaller: u or h?
u
Let t = 34 + -19. Let n = 9 - t. Let p = -5.9 - n. Which is smaller: p or -12?
-12
Let w(q) = -q**2 - 8*q - 2. Let a be w(-4). Suppose -d - 5*r = -33, -13*r = -2*d - 12*r + 22. Is a at most as big as d?
False
Let d = 0.0716 - 0.3716. Which is greater: d or 35.6?
35.6
Suppose -17*q = -12*q - 25. Suppose 0*z = q*z + 5. Is z not equal to -3/37?
True
Let i(l) = -l**3 + 52*l**2 - 51*l + 19. Let w be i(51). Is 27 > w?
True
Let j be 270*2*((-28)/(-10) + -3). Let t be 654/j + (-2)/(-9). Which is bigger: t or -6?
t
Suppose 11*y + 24 = 5*y. Which is greater: -90 or y?
y
Suppose -2*u - 2*y = -42, -3*y = 4*u - 98 + 15. Suppose -3*l + 70 = -8*l. Let p = l + u. Are p and 6 non-equal?
False
Suppose -6*k + 18 = -18. Let p be (-94)/18 + (-2)/(-9). Let d be ((-2)/p)/(1/10). Is k equal to d?
False
Let j be (4 + 0)/((-5)/50). Let l be (j/(-325))/(2/(-10)). Which is smaller: l or 0?
l
Suppose 4*r + 5*c = 21, 7*c - 24 = -r + 2*c. Is r >= 1/129?
False
Let g = 53 + -44. Suppose -3*w - 6 + g = 0. Are w and -1/47 equal?
False
Let n = 2096 - 35620/17. Let t(p) = p**2 + 7*p + 11. Let u be t(-5). Is u greater than n?
True
Let q(a) = a**3 + a**2 - a - 12. Let m be q(0). Let i be ((-2)/(-7))/(m/(-84)). Are 1 and i equal?
False
Let g be -3*(6/9 + -2). Suppose -c = -0*c - g. Let o(m) = m**2 + 5. Let q be o(0). Which is smaller: q or c?
c
Let l = 352 + -351.707. Let x = l + 0.007. Let q = 1 - 1.1. Which is smaller: q or x?
q
Let x = 129.045 + -0.045. Let n = -131 + x. Which is bigger: n or -2/35?
-2/35
Suppose 6 = 4*l - 2. Suppose -7 = l*f - 15. Suppose 0*z + 4*h = 3*z - 24, -3*z - f*h = 0. Which is smaller: 5 or z?
z
Let h = -6907203/800 - -8634. Which is bigger: h or -1?
h
Let b be 0/(-8 + 2 + 3). Which is smaller: b or -3/80?
-3/80
Suppose 0 = 7*c + 5 + 51. Let m(q) = q - 3. Let f be m(-6). Is f greater than or equal to c?
False
Let o(p) = -7 + 22*p - 40*p + 19*p. Let u be o(11). Which is smaller: u or 18/7?
18/7
Suppose -15*k = -7*k + 280. Let o(i) = 6*i - 10. Let m be o(-4). Is m equal to k?
False
Let r = 94 - 146. Let m = r - -52. Is m at least as big as -3/32?
True
Suppose 7*h + 0*h = -2163. Which is smaller: -310 or h?
-310
Let k = 10.9118 - 0.1118. Do 4/7 and k have the same value?
False
Let o(y) = y + 1. Let p(w) = -5*w - 2. Let q(j) = -6*o(j) - p(j). Let c be q(-7). Let i = 3 - -1. Which is smaller: c or i?
c
Let m(u) = -5*u**3 - 4*u**2 + 2*u + 3. Let y(z) = 11*z**3 + 9*z**2 - 4*z - 7. Let j(v) = -13*m(v) - 6*y(v). Let i be j(-4). Is i at least as big as 42?
True
Suppose 3*x + 4*d = 20, 0 = 2*x + 2*d - 0*d - 10. Let t = -2269 + 2283. Which is bigger: x or t?
t
Let p be 70/160*12 - (-1 - -6). Which is smaller: 0 or p?
0
Let l(a) = -a**2 - 12*a - 36. Let v be l(-7). Is v >= -6/7?
False
Suppose m + 3 = 7. Suppose m*k - 56 = t, -t = 4*k - 3*t - 60. Is -2 >= k?
False
Let x = -122 - -118. Which is bigger: 105 or x?
105
Let o be (0 - -2) + 27/(-39). Is o less than 1?
False
Suppose 9*j - 5*j + 28 = 0. Is j at most as big as -16?
False
Let b(s) = -s**3 + 3*s**2 + s. Let m be b(-2). Let z = 1312 - 1295. Is z equal to m?
False
Suppose 38 = -171*h + 170*h. Which is greater: 1 or h?
1
Let f be (-2)/4 + (-276)/168. Let p = -11/7 - f. Which is smaller: 3/2 or p?
p
Suppose -l = -3 - 0. Suppose -5*z = -4*w + 67, -2*z = -5*z + l*w - 39. Let r be z/54 - (-3)/6. Is r greater than 0?
True
Let y = -20.33 - -20.3. Let n = 1.31 + -3.28. Let j = y + n. Is j not equal to -0.2?
True
Let c = 36.2 - 37. Let u = -19 + 18.1. Let z = u - c. Which is bigger: z or -0.9?
z
Let l be -3 - (-4 - (2 + 1)). Suppose l*s = -2 + 10. Suppose s*b = -5*f - 2*b - 17, 3*b + 9 = 0. Which is bigger: -3 or 