 + 8*p - 135 = l. Suppose 3*t - 4*s - 57 = 8, -5*t + 5*s = -115. Is t at least as big as p?
True
Let z = 0.814 - -1.186. Which is smaller: -58 or z?
-58
Let n be 8/28 - (-27)/(-21). Let f = -8 + 10. Let u be f - 10*(-6)/(-32). Is n >= u?
False
Let t = -0.0224 - 30.9776. Which is smaller: -1/5 or t?
t
Let c = 328 - 333. Which is smaller: c or 13?
c
Let j = 0.16 - 0.16. Let h be 513/(-1869) + 2/7. Are h and j nonequal?
True
Let v = -799/2379 - -2/793. Which is bigger: v or 346?
346
Let t = 0 - -0.5. Let o = -0.019 + 0.021. Let u = o - -0.098. Are u and t equal?
False
Let w = 551 + -512. Which is greater: w or 42?
42
Let u = -29/2 + 14. Let b be 5 - 2 - -6*1. Suppose b = 6*j + 21. Do j and u have the same value?
False
Let l be 24 + (-1 - ((-15)/3 - -8)). Let q(o) = -2*o**3 - 4*o**2 + 3. Let y be q(-3). Are l and y unequal?
True
Suppose -5*j + g = 215, -2*j + g = 64 + 22. Let h = -17 - j. Let l be 112/h - (-2 + 6). Which is greater: 1 or l?
1
Let o = 43/92 + -81645/175076. Which is bigger: o or 0?
o
Let b(p) = p**2 + 10*p + 15. Let z be b(-7). Let j be (8/z*-6)/(-2). Which is greater: -34/9 or j?
-34/9
Let a = 0 + 2. Let b(n) = 5*n + 3. Let o be b(5). Suppose -d = 2*f + 4*d - o, -d - 16 = -5*f. Which is smaller: f or a?
a
Let w(f) = f - 7. Let r be w(5). Let m = 1716 + -1737. Let q be ((-3)/r)/(m/(-196)). Does 13 = q?
False
Let d be ((-42)/(-56))/(18/(-16) + 1). Which is smaller: d or -3?
d
Let u = 2 + -44. Let z = -1 - u. Is 42 not equal to z?
True
Let b(d) = -d + 11. Let c be b(8). Let a = 43 - 41.6. Let k = a - 1.2. Which is smaller: k or c?
k
Let d = 1590 + -1010. Is 581 <= d?
False
Suppose 18*z - 21*z + 161 = -r, -z - 709 = 4*r. Is r > -177?
True
Let n(x) = -x - 8. Let w be n(-11). Suppose -w = 18*k - 21*k. Is k equal to 2/37?
False
Let x(s) = 2*s + 4. Let f be x(-10). Let p be 4/(-16) - (-444)/f. Is p greater than -26?
False
Suppose -325*k - 319*k + 653*k = -81. Let y(w) = w**2 - 7*w. Let q be y(5). Is q greater than or equal to k?
False
Suppose 5*c - c = -3*b - 447, 5*b = 5*c + 515. Let o = 107 + c. Which is greater: 51/4 or o?
51/4
Let n = 31 + -16. Suppose 9*f - 6 + n = 0. Do 2/19 and f have the same value?
False
Let q = 34.9514 - -0.0486. Is q less than -1/7?
False
Let h = 30/157 + -1124/4239. Is 1.5 bigger than h?
True
Let g(u) = u + 2. Let s be g(-1). Let h be s - 378/95 - -3. Is h bigger than -1?
True
Suppose -2*s - 4*p + 10 = 0, -3*s = 2*s + 3*p - 39. Which is bigger: s or 15?
15
Let n(f) = -f**2 + 13*f + 74. Let y be n(17). Which is smaller: -5/9 or y?
-5/9
Let q(x) = -4*x + 6. Let w be q(-3). Let n = -67/4 + w. Suppose 3*m + 0*m - 3 = 0. Which is bigger: n or m?
n
Suppose 0 = 2*v - 59 + 29. Suppose -v*b + 16*b = 0. Is 3/5 smaller than b?
False
Let x = -13 - -16.2. Let j = x + -2.4. Is 3 at most as big as j?
False
Let b = -218 - -217. Is -7/3 at most b?
True
Let j = -419.66 + 7.66. Is 0 less than or equal to j?
False
Let q be (5/1)/(-1) - (-18915)/3785. Is q greater than or equal to 0?
False
Let r be (-8)/12*42/(-4). Suppose -r*u + 5*u = -8. Which is greater: u or 2?
u
Let l = -4/223 + 231/446. Let r be 2 - (-2 + (3 - 0)). Is l greater than r?
False
Suppose -4*i + 28 = -4*a, 2*i + 2*i - 37 = 5*a. Let o be 32 + (3*6/a - -2). Is o smaller than 32?
False
Suppose -4*d - 30 = -9*d. Let i be (-2)/(-21) + (-1160)/(-168). Which is smaller: d or i?
d
Let a = -17 - -34. Let l = a + -17. Which is bigger: 1.1 or l?
1.1
Let b be (2 - (3 + 1))/(12/(-144)). Which is smaller: b or 2?
2
Suppose -4*z + 3*p - 12 = -2*z, -4*z + 4*p = 16. Let v(s) = 2*s - 6. Let q be v(z). Is -4 greater than q?
True
Let b(p) = 2*p**2 - p - 53. Let o be b(-5). Let s be (50 - (0 + -2))*-1. Let r = s - -215/4. Is r < o?
True
Let h = 1355/21 + -197/3. Let i(f) = -f**2 + 4*f + 4. Let g(c) = 2*c**2 - 5*c + 2. Let n be g(3). Let s be i(n). Which is smaller: h or s?
h
Suppose -2*f + 16 = 4*d, -12 = -5*d - 2*f + 9. Let n(q) = -q**3 + 17*q**2 - 16*q - 8. Let o be n(16). Let l be o/(-36) - (-254)/72. Which is smaller: l or d?
l
Let i = 1194 + -1131.7. Let q = -62 + i. Which is smaller: q or -6?
-6
Suppose 9*k - 10820 = 2941. Which is smaller: k or 1530?
k
Let a(h) = -23*h + 423. Let o be a(18). Let q(p) = -2*p**3 - p**2 + p - 2. Let w be q(-2). Which is bigger: w or o?
o
Let j = 82124/11 - 7471. Which is greater: j or -5?
-5
Let y = 1864/7 + -264. Is -3 >= y?
False
Let y(i) = i**2 - 20*i + 95. Let z be y(12). Is -580 equal to z?
False
Let i be 2*(-5)/(500/(-58)). Is 1 less than or equal to i?
True
Let q = 6 - 4. Let x(u) = -u**2 + 3*u - 1. Let l be x(q). Let g = 2297/11 + -209. Is l <= g?
False
Let s = -319 - -288. Is -32 equal to s?
False
Let b = 64 - 64.185. Let t = b + 0.135. Is 0.13 at least as big as t?
True
Let u = -3977/23 + 173. Which is smaller: 50 or u?
u
Suppose 2*v - 136 = -4*o, -2*o = o - 2*v - 116. Does 38 = o?
False
Let a = 0.2 - -0.2. Let h = -0.4 + a. Let r = -37 + 37.05. Which is greater: r or h?
r
Let u be 4/(-16) + (-188)/(-944) + 0. Which is smaller: u or -2/7?
-2/7
Let v be (-219)/(-6) - 98/28. Which is smaller: -1 or v?
-1
Let b = 42 + -33. Let w(z) = -z**2 + 9*z + 13. Let d be w(b). Which is greater: 11 or d?
d
Let g(j) = 2*j - 29. Let o be g(13). Let r be (o - 8)*(-2 + (0 - -1)). Which is greater: r or -2?
r
Let w(p) = 903*p + 457. Let q be w(-4). Which is bigger: q or -3156?
q
Let x be (30/(-26))/(-1) - 1. Let g = 7.7 - -0.3. Let u = g + -8. Which is smaller: u or x?
u
Let b = -503/2 - -3525/14. Is -600 greater than b?
False
Let d be (-2)/(-3) - 874/114. Are d and -76/9 unequal?
True
Let v(w) = -w**3 - 32*w**2 + 49. Let j be v(-32). Are j and 50 equal?
False
Let x be (16143/(-30))/(1198/(-8)). Let u be (21/(-37737))/(2/24). Let w = x - u. Which is smaller: w or 3?
3
Let z(y) = -6*y**2 - y + 4. Let g be z(2). Suppose 138 = 2*v - 8*v. Is g >= v?
True
Let q(z) = -z**2 - 12*z. Let t be q(-12). Let m be 3*1*1/(-13). Is t greater than m?
True
Let j = -33 - -41. Let n = -9 + j. Which is smaller: -1/2 or n?
n
Suppose 0 = x + 550 - 479. Which is smaller: x or -211/3?
x
Let p be ((-4)/(2 - 18))/((-43)/(-24)). Let t be (-2)/6 + 122/(-258). Let x = t + p. Which is smaller: x or 0?
x
Suppose -20 = 5*a + 4*h + 15, 0 = 5*a - 5*h - 10. Let s be -11*-8*1/(-20). Which is smaller: a or s?
s
Suppose 0 = a + 4*n + 37, -2*a - 50 = 8*n - 6*n. Let k = -17881 - -17862. Is a < k?
True
Let f be 9 - 3/(-6 - -3). Suppose -4 = -3*c - f. Let t = -3 - c. Which is greater: 1/17 or t?
1/17
Let o = 23 + -9. Let z = -12 + o. Which is smaller: z or 1.3?
1.3
Let g = -0.076 - 4.924. Let r = -7.1 - g. Which is smaller: 0 or r?
r
Let m = 8.56 - -0.44. Let h = m - 9.12. Which is greater: -3 or h?
h
Let i be (-18)/27 + 38/3. Suppose -y + i = s, 0 = -2*y - y - 4*s + 36. Suppose -5*n = -n - y. Which is smaller: n or 2?
2
Suppose 2*s + 5*w + 19 = 0, -12 = -s + 4*s + 2*w. Let k be (-5)/(-15) + 1/5. Let l = k + -64/45. Which is bigger: l or s?
l
Let q(n) = -n**3 - 14*n**2 + 5. Let d be q(-14). Suppose 4*w - 144 = -d*a - 51, 0 = 5*w - 3*a - 107. Let v = 17 - w. Is -4 > v?
True
Let a = -1858 - -1858. Let v be (271/91 - 1) + -2. Let b = v - 172/455. Which is greater: a or b?
a
Suppose 5*i - 8 = -2*h, 12 = -9*h + 12*h + 4*i. Is h >= -17?
True
Suppose -4*m - 55 = -7. Let g be 692/240 - 3 - 3/m. Is g at most as big as -1/5?
False
Let i = 6.8 - -0.2. Let z = i + -14. Let t = z + 10. Which is bigger: t or -1/4?
t
Let v be 10/(-15)*1*-6. Suppose 5*y - 8 = 17. Suppose 0*q = q - y. Which is bigger: q or v?
q
Suppose 0*p - 6 = -2*p, r + 17 = p. Let s be (-6)/42 - (-12)/r. Which is bigger: s or -0.2?
-0.2
Let q(v) = v**3 - 6*v**2 + 5*v + 7. Let u be q(4). Are u and 17 nonequal?
True
Suppose 0 = m - 3*m - 4. Let f(w) = w - 1. Let q be f(m). Which is bigger: q or -5?
q
Let h be 1 + 9 + -6 + 8. Do 0.09 and h have different values?
True
Let v be (-63)/(-123) - (-2)/(-4). Let y = 62/41 - v. Let i = 0.5797 + 0.4203. Which is smaller: i or y?
i
Let h(w) = 8*w - 63. Let t be h(2). Suppose l + 4*l - 330 = 0. Let f = l + t. Is 18 at most as big as f?
True
Let t(u) = u + 5. Let l(c) = 2*c - 2. Let r be l(2). Suppose 2 + 2 = w + 2*x, -r*x = -10. Let j be t(w). Is 1/5 at most j?
False
Suppose -15*b + 5*b = 670. Which is smaller: -65 or b?
b
Let t = -0.229 + -9.771. Is 1/19 equal to t?
False
Let i(t) = 2*t**2 - 15*t - 122. 