*h - s = 2*r - 3*r. Suppose h = 5*z + 15. Is -3 not equal to z?
False
Let h = -15 - -11. Let t be (3 + 1)/(h - -2). Let l be -1*(t + 1) - -4. Is 3 greater than l?
False
Suppose 0 = 5*o + 12 + 13. Let u = 99 - 115. Let i = u - -18. Which is bigger: i or o?
i
Let d be 4/9*(-15)/(-10)*-1. Which is bigger: d or 0.134?
0.134
Let f be (-14 - 1000/(-70))/((-6)/(-7)). Which is greater: f or -114?
f
Let o(r) = -5*r + 29. Let v be o(7). Let b = -19693/8 - -2456. Is b equal to v?
False
Let x be 110/44 + 342/(-4). Which is smaller: x or -79?
x
Suppose 3 = 3*k, -5*x + 6*k = k + 20. Which is bigger: x or -13/3?
x
Let n be (-1*2)/(8/20). Let r be 66/44 + n/(-2). Which is smaller: r or 2?
2
Suppose 460 = 9*u - 14*u - 5*d, 77 = -u - 4*d. Suppose -4*g + 2*g = 196. Which is greater: u or g?
u
Let g be (56/35)/(6/15). Let y be ((-9)/g)/(18/96). Is -13 greater than or equal to y?
False
Let n(u) = u**3 - 14*u**2 + 2*u + 143. Let p be n(13). Let f be -3*(19 - -1)/(-4). Is f equal to p?
False
Let a be (6/2)/((-5)/(-25)). Let h = a - 4. Suppose 0 = -h*b + 7*b + 40. Is b bigger than 11?
False
Let x = 1596 + -1682. Are -86 and x equal?
True
Let v be (-9)/12*80/810. Suppose 5*b - 2 = -4*i + 5*i, -5*i = 5*b + 10. Let k(s) = s**3 + 2*s**2 + 1. Let o be k(i). Which is greater: v or o?
o
Suppose -6*c + 153 + 39 = 0. Let l = 3 - 4. Which is smaller: c or l?
l
Let f = 1098 + -1100. Are -37/71 and f unequal?
True
Let o = 49 + -46. Suppose -o*j + j - 4*q = 0, 0 = -4*j + 3*q - 33. Suppose 5*r = -2*g - 32, -3*r = -2*g + g + 17. Is r less than j?
False
Let r = 1/832 + -105/832. Are r and 16 equal?
False
Let l = 0.2219 - 0.1219. Is l at least as big as 252?
False
Suppose -4 = -4*p, -4*p - 40 - 84 = -2*j. Let k be (j/(-60))/(-8)*-5. Which is smaller: -7/5 or k?
-7/5
Let s = 10 + -8. Suppose -4*h = -3*d - 1, 2*h - h + 5*d + 17 = 0. Let t be (h + s)/(-1 - 2). Is t less than -1/4?
False
Let x be (-5 - -4)*-284*3/6. Are 709/5 and x equal?
False
Suppose -125*i + 168*i = 2752. Is i > 64?
False
Suppose 0*m + 78 = -3*t + m, 3*t + 84 = 3*m. Let z be (-4)/6 - t/18. Let n = -2/9 + z. Is n greater than 1?
False
Let w = 540.984 + -541. Which is smaller: w or -2?
-2
Let z = 560 - 580. Are z and 2/5 nonequal?
True
Let a be (2 - 2) + (21 - 26). Is a less than 3?
True
Let k = 5 + -2. Suppose 2*p = -4*z + 46, 2*p - 13 = -z + k*p. Let y be (-12*(-3)/27)/((-3)/(-27)). Is z at least y?
True
Let u = 40.35 + -0.45. Let n = u + -40. Is -0.2 bigger than n?
False
Let d be 6/(-4)*(-180)/(-10). Let j(h) = 3*h + 2. Let q be j(-10). Which is greater: q or d?
d
Suppose 26 = -3*n + 17. Let u be (-12 + 2)*n/(-24). Which is greater: u or -1?
-1
Suppose 0 = -2*o - b + 21, -5*o - 4*b + 51 = -6. Let z(c) be the second derivative of c**5/20 - 3*c**4/4 + c**2 - 9*c. Let g be z(o). Which is bigger: 2/3 or g?
g
Suppose 0 = -s + 2 - 3. Suppose -x - 4*j - 40 = 4*x, -3*x - 5*j - 37 = 0. Let c = x + 0. Are c and s non-equal?
True
Let x = 1.449 + -1.349. Let j = 18574/49 + -379. Let s = -257/196 + j. Which is greater: s or x?
x
Let x = -39 - -37. Let h be 1330/1350 - (-2)/x. Which is greater: 1 or h?
1
Let u be (-12)/(-44)*2/(-30). Suppose 80*v - 74*v = 6. Do v and u have different values?
True
Let z = 26 + -24. Let d be z/3*(4 + -25). Is d at least -15?
True
Let k = -0.17 - 0.12. Let j = k + 0.3. Let q be (-2)/(-1) - (5 + 42/(-12)). Which is greater: q or j?
q
Let a = -5490792 + 181175707/33. Let q(z) = -72*z - 29. Let p be q(-9). Let r = p + a. Which is smaller: r or -1?
-1
Suppose -39 = -4*j + 3*g, -j - 4 = g - 19. Suppose j = 4*n, -2*u + n = 10 - 5. Which is smaller: u or 3/7?
u
Let x be ((-14)/(-3))/((-95)/(-114)). Which is bigger: x or 7?
7
Let y be 81/6*5*-2. Let w be (-1)/(-7) + y/14. Do w and -10 have the same value?
False
Let y be (-165)/(-22)*2/(-3). Suppose 0*x = -2*x + 4. Suppose 2*r = 2*s - x, -4*s - 4*r = -7*s + 6. Which is smaller: y or s?
y
Let l = -2 - -2. Let t(f) = 19*f**2. Let p(x) = -7*x**2. Let v(o) = -8*p(o) - 3*t(o). Let y be v(l). Is y equal to 2?
False
Let x(b) = -203*b - 4 - 5 - 8 + 207*b. Let y be x(4). Suppose 4*t - 3*t + 4*c - 5 = 0, 0 = 3*t + c + 7. Is t < y?
True
Suppose 0 = -4*t + 5*t. Let i = -99 - -76. Let v be 2/i + -2 + 2. Which is smaller: v or t?
v
Let o = 749 + -780.1. Let l = o + 31. Which is bigger: l or -1/2?
l
Let n = -75.51 + 1.41. Let s = n - -74. Are s and -0.23 nonequal?
True
Let g = 6.0736 + -0.0736. Is 88 >= g?
True
Let g(u) = -11*u + 2. Let x be g(-1). Suppose f = -5*s + x, 0 = -3*s - 4*f + 1. Let k be s*(12/(-32) + 0). Is -2 smaller than k?
True
Let z(n) = -n + 2 + 2*n + 0*n + n. Let q be z(-3). Let y be 69/(-266) + q/(-14). Which is greater: -1 or y?
y
Suppose -4 = -13*d + 9*d. Let z = 3 + d. Suppose -5*k - z*p = 27, 4*k + 1 + 25 = -p. Is -6 > k?
True
Let g be 4 - ((-554)/(-55) + -6). Is -1 bigger than g?
False
Let z(g) = 3*g**2 + 2*g - 2. Let o be z(1). Suppose i - 4 = o*i. Which is smaller: -14 or i?
-14
Suppose i = 42 - 32. Let k be (21/15 - 1) + (-34)/i. Suppose -1 - 3 = 2*g. Which is smaller: k or g?
k
Let q = -26 - -45. Let x be 1*-30*8/(-12). Is q <= x?
True
Let b = -12.8 - 0.2. Let i = -19 - b. Let n = i + 3. Is 0.4 less than or equal to n?
False
Let g(x) = x**2 - 3. Let m be g(3). Let q(p) = p**2 - 6*p + 4. Let c be q(m). Suppose 5 = c*l + l. Which is greater: 7/3 or l?
7/3
Suppose 2*h = -i + 2*i - 57, 0 = -4*h + i - 119. Let p = h + 36. Let a = 17 - 10. Which is smaller: a or p?
p
Let s(q) = 2*q - 7. Let l be s(6). Suppose 2*v + 17 = -l. Let n = v + 12. Which is smaller: n or -0.1?
-0.1
Let v = -317.98 - -321. Let l = v - 3. Let a = -0.036 - 0.964. Which is smaller: a or l?
a
Suppose -3*g = 4*g + g. Let n be g/(-2) + 13 + -18. Is -70/11 equal to n?
False
Let o = 2 + -2. Let q be 36/(-6)*(o - 1). Suppose 4*k - q*u - 6 = -u, -1 = -5*k + 3*u. Which is smaller: k or 1/8?
k
Suppose 2*z - 3*z - 3*z = 0. Suppose z*u - 343 = 7*u. Which is smaller: -50 or u?
-50
Suppose 0 = 10*n + 27 + 93. Which is smaller: n or -23?
-23
Suppose -5*f - 10 = 0, 0*g + 5*f = 4*g - 186. Suppose -4*k - g = -140. Suppose x + 4*r + 8 = 0, 5*x - k = -0*x - 4*r. Is x < 8?
False
Let m = 0.2 + -0.2. Let t = -0.03 + m. Let v = -1.37 - -1.47. Which is smaller: t or v?
t
Let n be 8*(-3 + (-14)/(-4)). Suppose -2*g = -0*g - n. Let a be g + -2 + 2 + -1. Is a greater than or equal to -3/8?
True
Suppose -34*v = -39*v + 5. Which is greater: 34/19 or v?
34/19
Let w = 911 + -911.69. Is w < -1/2?
True
Let z be ((-42)/7)/12*0. Is 1/8 at least as big as z?
True
Suppose -3*y + 49 = 2*d, -55 = -3*y + 4*d + 18. Suppose -2*k - 98 = -3*o, -k - o - y - 25 = 0. Let q = k - -30. Which is smaller: q or -17?
-17
Suppose 0 = 4*m + 20 - 52. Suppose 5*i + 12 = -a, -5*i = -3*a - 0*i + 24. Suppose m = -s + 3*o, 4*o = s - a*s + 4. Which is smaller: -12/5 or s?
-12/5
Suppose -50*q = -12*q. Which is smaller: q or -2/359?
-2/359
Let r be (-6)/14 + (-2112)/(-77). Suppose 0 = 2*k - 5*k - r. Let x be (k/6)/(1/2). Which is greater: x or -3/2?
-3/2
Suppose 0 = -j + 1, -8 = 5*t - 4*j + 46. Let z be (-40)/t*(-5)/(-4). Let o = -3 + z. Which is smaller: o or 6/5?
6/5
Let q = 31 - 48. Which is smaller: q or -35/2?
-35/2
Let p be ((-1)/6)/1 + 6/36. Let v be (9/12 + p)/((-5)/(-300)). Is v greater than or equal to 0?
True
Let n be (-28)/(-294) - 10/105. Does -6/1057 = n?
False
Let w = 4.6 - 3.2. Let z = 1 - w. Let d = 0.7 + -1. Is z equal to d?
False
Let x be 0 + (-1)/2*-4. Suppose 2*q - q + 11 = 5*r, -3*q = -x*r - 6. Suppose 4*t + q = 3*t. Which is greater: t or -3?
-3
Let w = 491 - 3375/7. Suppose 9 - 36 = -3*i. Which is smaller: w or i?
w
Let c = 0.328 - 0.228. Which is smaller: c or -62?
-62
Let r(s) = -3*s**2 + 69*s - 66. Let z be r(22). Which is smaller: z or -1/284?
-1/284
Let q = 3087/2 + -1544. Which is bigger: 6 or q?
6
Let b(h) = -h**3 - 5*h**2 + 6. Let q be b(-5). Let a(p) = p - 9. Let k(i) = i - 9. Let m(x) = q*a(x) - 5*k(x). Let z be m(8). Which is greater: -2/17 or z?
-2/17
Let q = 0.096 + -1.096. Which is smaller: 1.13 or q?
q
Suppose -4*o = 3*n + 16 + 18, 5*n + 38 = -2*o. Is n > -18?
True
Let p be ((-6)/21)/(1210/(-1595)). Is 0 less than or equal to p?
True
Let a = -1551.43 - -1469.9. Let s = -81 - a. Let v = 0.4 - s. Are v and 0 equal?
False
Let s be (962/1140)/((-2)/6). Let u = 3/95 + s. Suppose 12 = -0*l - 6*l. Do u and l 