gger than 4?
False
Suppose -5*a - 151 = -4*p, -11*a + 5*p = -12*a - 36. Which is bigger: -2 or a?
-2
Let x = -21 + 22. Are 464 and x non-equal?
True
Suppose -5*y - 4 = -4*z, -2*y + z - 12 = 2*y. Let v be (3/18 - 0)*y. Suppose 5*m - 3 = u, -u = 5*m - 4 - 3. Is v smaller than u?
True
Let g be ((-350)/125)/((-7)/10). Are 40/11 and g unequal?
True
Let v = 61 - 43. Let c = 497 - 496. Are c and v unequal?
True
Suppose 0*z + 4*z = -16, j - 16 = 3*z. Suppose -7 = j*d - 35. Let l(m) = -2*m - 6. Let r be l(-4). Is d at least r?
True
Let k be (114823 + 1)/(490/(-2)). Let w = k + -75/49. Let z = w + 475. Is z less than or equal to 5?
True
Let a(p) = p**3 - p**2 - p. Let r(d) = 2*d**3 + 5*d**2 - d - 7. Let m(o) = -3*a(o) + r(o). Let i = -53 - -61. Let s be m(i). Is 2 > s?
False
Let p = -0.541 + 74.141. Let o = -73 + p. Which is greater: 6/5 or o?
6/5
Let n(t) be the first derivative of -3*t**4/4 + t**2/2 + t - 4. Let r be n(-1). Let s be (0 - 5)*r/18. Which is smaller: -2 or s?
-2
Let b = -28 - -28.2. Let j = 3.95 - -0.05. Which is smaller: b or j?
b
Suppose -3*q + 0*g + 61 = 5*g, -42 = -2*q - 2*g. Let t be 20/(-3)*q/(-132). Which is greater: t or 1?
t
Let y(x) = 3*x**2 + 2*x - 1. Let r = -40 - -37. Let z be y(r). Is 19 equal to z?
False
Let u = 79 + -90. Suppose -m = 4*y - 5*m + 44, 3*y - 2*m + 32 = 0. Which is smaller: y or u?
u
Let y(n) = 2*n + 6. Let q be 1/(-3) - 10/(-3). Let g be y(q). Is g at most 12?
True
Let u = -2729/1525 - -39/25. Are u and 0 equal?
False
Suppose -5*l - 2*t = -21, 2*t + 7 = 3. Let b(r) = r - 17. Let k be b(l). Which is smaller: k or -11?
k
Let o(h) = -24*h + 546. Let u be o(-40). Is 1505 > u?
False
Let f be (671/77 - 9)/((-1)/4). Is 0.09 greater than f?
False
Let y = 4.6 + -3.9. Suppose -8*r + 5*r = 0. Which is smaller: r or y?
r
Let d be 744/(-1)*6*1/(-8). Let y be 21/d - 5/30. Is 1 smaller than y?
False
Let s = -5/59 + 69/118. Which is smaller: s or -2.1?
-2.1
Let q = -0.45 - -0.15. Let n = q - -0.4. Let c = -2.1 + n. Which is smaller: -2/7 or c?
c
Let v = -1559 - -1558. Which is smaller: -39 or v?
-39
Let w = 341 - 342. Is 2/117 >= w?
True
Suppose -3*f - 48 = -6*f. Suppose 0 = 5*q - f + 11. Which is bigger: q or 23?
23
Let r(l) = l**2 + 16*l - 11. Let q be r(-17). Let v(o) = -2*o**2 + 7*o - 2. Let i be v(q). Which is greater: i or -1/4?
-1/4
Let o = -43 - -7. Let n be 1 - o/52 - 1. Is n at most as big as 1?
True
Let k(s) = 4*s - 22. Let c be k(7). Let l be (96/(-33) - -3)*c. Are 0 and l equal?
False
Suppose -z + 1 = -3*r, -2*r - 3 = -5*z + 15. Let v = 0 + r. Let m = 1/5 + 7/15. Is v at least as big as m?
True
Let k be (3/6 + 0)*4. Suppose -4*h + 5*y - 21 = 0, 4*h + y - k*y + 17 = 0. Let t(a) = a. Let f be t(-5). Is h <= f?
False
Let l = 165.1 - 190. Let y = 25 + l. Is 32 > y?
True
Suppose -2*o - 5*c = -1996, -4*c - 5007 = -5*o - 8*c. Which is smaller: 1002 or o?
1002
Let p = -4.2 - -4. Let l be ((-1)/4)/((-45)/(-120)). Which is greater: l or p?
p
Let v = 12 + -24. Let a = v + 29. Let o = -16.9 + a. Which is smaller: o or -1?
-1
Let t = 0.074 - 18.074. Let a = 51 - 49. Which is smaller: t or a?
t
Let r be (-4)/10 + ((-1260)/75)/(-12). Which is bigger: r or 2/8333?
r
Let t be 1*4*(-6)/(-132). Let l = 0 + 12. Suppose 4*n - l - 8 = z, -n = -5. Do t and z have the same value?
False
Let y(j) = -2*j + 1. Let f be (-1 + -2)*8/(-12). Let a be y(f). Suppose 0 = -3*k - 0*k - 3. Is k at most a?
False
Let c = 1117/153 - 75/17. Is c > 2/5?
True
Let o be (0 - -2*3)/(6 + -5). Which is bigger: -3 or o?
o
Let m(g) = 12 - 16 + 0*g + 3*g - 2*g. Let j be m(4). Which is greater: 2/15 or j?
2/15
Let o = -15.9 - -3.9. Which is bigger: o or 1/11?
1/11
Let k(h) = 8*h + 29. Let o be k(-3). Let a(r) = -r**3 + 4*r**2 + 12. Let d be a(o). Is -12 <= d?
False
Let r(c) = -2*c. Let p be r(-1). Let j = 141 - 147. Let i = j - p. Are i and -8 unequal?
False
Suppose 422 = 5*k - x, -4*k + 182 = x - 152. Which is greater: k or 82?
k
Let k be (-134)/(-3) - (19/3)/(-19). Which is greater: 42 or k?
k
Let l(j) = -j**3 - 9*j**2 - j + 6. Let x be l(-9). Suppose 3*p = 39 + x. Suppose 2*a - p = 6. Is a greater than or equal to 12?
True
Let x be (4/(-6) + 1)*0. Suppose -n + 2*n + 7 = x. Suppose 2*h = 6*h - f + 24, 4*f = h - 9. Are n and h equal?
True
Let f be ((-33)/(-3) - 2) + -2. Let i(d) = 2*d + 9. Let x be i(-3). Let l be 95/x*6/30. Is f at least as big as l?
True
Let m(h) = h - 7. Suppose 3*q = q + l - 4, -q - 4 = -l. Suppose q + 12 = 2*s. Let y be m(s). Which is smaller: 1 or y?
y
Let m = 0.49 + -21.39. Which is smaller: -2 or m?
m
Let c = -17/174 + 1/6. Suppose 13 = 5*r - 2*i, 0*r - 3*i = 4*r + 8. Which is bigger: c or r?
r
Let n(s) = -s - 4. Let f be n(-4). Let u = -211 + 227. Is f >= u?
False
Let l = -0.13 - 2.87. Let q = l + -1.4. Let t = -4 - q. Which is smaller: -0.2 or t?
-0.2
Suppose -10*c + 19*c - 252 = 0. Does c = 190/7?
False
Let k = -2.4 - 1.1. Let g = k + 7.4. Let z = g + -4. Do z and 14 have different values?
True
Suppose -5*s - 15 = 3*o, 3*o + 0*o + s = -3. Suppose 0 = -4*f + 16, 5*l + 3*f - 306 + 9 = o. Are l and 56 unequal?
True
Let d = 35/51 - 6/17. Let n = 30950 - 154731/5. Which is smaller: d or n?
d
Let w(u) = 5*u + 113. Let l be w(-20). Suppose b - 8 - 3 = 0. Which is bigger: b or l?
l
Let t = 607/2 - 300. Let m(d) = 7*d**2 + 4*d + 2. Let q be m(-2). Let l be q/6 - (-4)/(-6). Which is bigger: t or l?
t
Suppose -31 - 62 = 3*z. Let a = z - -32. Which is smaller: a or -1/100?
-1/100
Let p be 15/(-4) + 78/(-26). Suppose -u + 5*x - 26 = 0, -2*u - 3*x = -x + 4. Which is smaller: p or u?
p
Suppose 0 = -204*n + 208*n + 428. Is n < -107?
False
Suppose 0*a = -t - 2*a - 8, -2*t = -5*a + 25. Let m(l) = -l + 5. Let g be m(t). Let x = g + -16. Is -1 bigger than x?
False
Suppose x = -12*x + 364. Which is greater: x or 27?
x
Suppose 5*d + 15 = 35. Suppose -22 = -3*r + 2*j, d*r + 4 = -4*j - 0*j. Suppose -4*y = -5*y + 1. Which is bigger: y or r?
r
Let x = 123289/4 + -30970. Which is greater: -147 or x?
-147
Let r = 116 + -117. Let v be -2 + 24/20 + r. Which is greater: v or -1?
-1
Let g = -513 - -512. Which is greater: -2/51 or g?
-2/51
Let a(k) = -k**2 + 14*k - 9. Let i be a(13). Suppose 1 = 4*m - u + 14, -i*m = -3*u + 23. Is 0 smaller than m?
False
Let x(h) = -3*h + 4*h - 3*h. Let z be x(5). Let i be 657/45 + (-4)/z. Are 14 and i nonequal?
True
Let b(q) = -12*q + 68. Let i be b(3). Is i bigger than 30?
True
Suppose 5*s - 357 = 12*s. Which is bigger: s or -53?
s
Let a = 1 - -4. Let z = 4.9 - a. Let u = -0.28 + -0.22. Which is greater: u or z?
z
Suppose 684 = -52*p + 40*p. Which is smaller: -58 or p?
-58
Let u = 40 + -43. Let n = 7 + -5. Let f be n + ((-51)/12 - 1). Which is smaller: u or f?
f
Let u = 101 + -99. Let y be (u - 3)/4 - (-22)/(-8). Which is greater: y or -5?
y
Let r = -236 + 236. Is -2/69 at most as big as r?
True
Let t = 0.04 + -1.44. Let r = t + 10.4. Let o = r + -10. Which is smaller: -3/2 or o?
-3/2
Let v = -9 + 9.4. Let i = 0.5 - v. Let t = i + -0.2. Is -3 bigger than t?
False
Suppose -a + 3*q = 72, 5 - 365 = 5*a + 3*q. Which is smaller: -75 or a?
-75
Let u = 0 - 4. Let f = -1.2 - -1.3. Are u and f unequal?
True
Let z(x) = -x**3 - 21*x**2 + 23*x + 26. Let u be z(-22). Suppose -498 = -2*f - u*f. Is 84 < f?
False
Suppose -t = -5*t - 156. Let b = 33 + t. Let a be (-30)/(-4)*4/(-5). Is a > b?
False
Let b = -258 - -386. Let i = 1535/12 - b. Let s be 1 - (7/(-6) + (-10)/(-15)). Which is smaller: i or s?
i
Suppose 72 = -2*f + 96. Are f and 87/7 equal?
False
Let w = 9 + -30. Let n = w + 21. Is n != 0?
False
Suppose -h + 4 = 2*o, -3*h = -5*h + o + 23. Suppose h = -5*m + 190. Let l be (-8)/m + (-2)/(-9). Is -3/14 bigger than l?
False
Suppose -5*r - 18 = 12. Let w = r - -10. Suppose -w*z = 4*y - 28, -7*z + 4*z + 2*y = 4. Which is smaller: 1 or z?
1
Let d(o) = o**3 + 19*o**2 + 33*o + 157. Let j be d(-17). Which is bigger: 171 or j?
j
Let g(p) = -p - 6. Let j be g(-11). Suppose 2*c - 33 = -3*f + 2*f, j*f = -3*c + 151. Are f and 29 equal?
True
Suppose -200 = 90*k - 115*k. Is k greater than 9?
False
Suppose 0 = -27*v - 4*v - 3348. Is -105 > v?
True
Let t(m) = 3*m**2 + 28*m + 21. Let r be t(-8). Is -2 smaller than r?
False
Let k(p) = -2*p**3 + 48*p**2 - 45*p - 18. Let i be k(23). Let z = 3 + 0. Suppose 0 = -4*r + 2*r + i*q + 9, 0 = -r + q + z. Is r smaller 