r 5?
5
Let x be (-2 - 4/4) + -1. Let j be (x/(-10))/(3/15). Let c be (-4*j/(-32))/3. Are 1 and c non-equal?
True
Suppose -v + 3 = -0*v. Let p(z) = 5*z - 14. Let n be p(v). Which is bigger: n or 2/7?
n
Suppose 25 = 6*t - t. Let q = -8603 - -8609. Which is smaller: t or q?
t
Let p(i) = 2*i**2 + 62*i. Let l be p(-31). Which is greater: 2/371 or l?
2/371
Let o be -14 + -6 + 13 - -20. Is 10 greater than o?
False
Let r(v) = v**3 - 5*v**2 - 4*v - 8. Let f be r(6). Suppose -2*o + 10 = 0, -f*d - o = 3*o + 8. Let m be 0 - 2 - (0 - -6). Which is greater: d or m?
d
Let m(f) = 2*f - 2. Let y be m(-3). Let j = 26 - 33. Is j smaller than y?
False
Let i be 7*(-3 + 4) - 8339/1054. Is 0 bigger than i?
True
Suppose r + 3*g = 18, -5*r - 3*g + 1 + 29 = 0. Suppose -10 + 30 = 4*z. Suppose 5 + 16 = -h + z*c, -r*h - 19 = -4*c. Which is greater: -3 or h?
h
Let f be (-15)/(-2)*(-1772)/(-66). Let y = f + -201. Suppose 2*q + 1 = -1. Are y and q equal?
False
Suppose 2 = 5*m - 3. Let l(j) = -13*j - 27. Let i be l(-2). Is i at least as big as m?
False
Let s = 1298 - 1299. Let o = 162 - 4052/25. Does s = o?
False
Let w = 76 - 65. Let r be (w/99)/((10/(-8))/5). Which is smaller: r or 0?
r
Let t be 1 + -11*7/(-1). Let z be ((-12)/(-3) - 0)*(-3)/t. Which is greater: z or 1?
1
Let u(v) be the third derivative of v**2 + 1/24*v**4 + v**3 + 0*v - 1/120*v**6 - 2/15*v**5 + 0. Let t be u(-8). Do -9 and t have the same value?
False
Suppose 29*z = 32*z + 69. Is z less than 0?
True
Let c = 236/3 - 226/3. Suppose 9*h = 5*h + 12. Let y = h + 0. Are y and c equal?
False
Let u be (-9)/(-9) - (0 + (2 - 1)). Suppose -3*t = 2*w - 5, -5*w + 5 = -u. Which is smaller: t or 5?
t
Let v(t) = -t + 1. Let x be v(-1). Let k be 0/(1/(-3 + x)). Suppose -5*b + k*b = 0. Is b at least as big as -3/4?
True
Let n = 6 - 8. Let r be (n + (-1 - -4))*15. Let w be (15/(-10))/(r/20). Does w = -6/7?
False
Let o = -6.65 + 7. Let q = -27.6 + 28. Let p = q - o. Is -0.1 not equal to p?
True
Suppose -3*p + 0*p = -15. Let a be 4086/(-42) + (-8)/(-28). Let h = a - -100. Which is smaller: p or h?
h
Suppose 34 = -3*m - 146. Let t(c) = 61*c**3 + 2*c**2 - 50*c - 52. Let g be t(-1). Which is smaller: m or g?
g
Let u = -0.0542 - -0.1342. Let z = -1 + 0. Is z less than u?
True
Let w(q) = -174*q + 718. Let y be w(7). Is -502 at most y?
True
Suppose -2*n + 75 = 75. Is n greater than or equal to -3/223?
True
Let m(q) = -11*q**2 + 75*q + 9. Let s(f) = 6*f**2 - 38*f - 5. Let b(u) = -4*m(u) - 7*s(u). Let h be b(17). Do h and 2/45 have the same value?
False
Suppose 4*s - 1 = 3. Let o = -9.72 - -10. Let w = 0.18 - o. Which is smaller: s or w?
w
Let n = -171906/29 - -5928. Let k = -2 - -2. Which is bigger: k or n?
n
Let j = 16217/15 + -1081. Is j >= 2/67?
True
Suppose 0 = -4*s + 4*q + 196, s - 2*s = -3*q - 55. Let j be s/(-78) - ((-8)/(-3))/(-4). Which is smaller: j or 1?
j
Suppose -x = w + 75, -3*x = -2*x + 2*w + 72. Is -76 >= x?
True
Suppose 4*v = -v - 25, -3785 = -4*j + 5*v. Which is smaller: j or 941?
j
Let q be 14/(343882/(-14113)) + (-4)/(-7). Which is smaller: q or 0?
q
Let z(w) = -w**2 - 9*w + 2. Let k(s) = -s - 3. Let a be k(6). Let q be z(a). Suppose q*b - 4 = j, 2 = -b + 5*j - 5. Which is bigger: b or 3/2?
b
Let u = 91 - 161. Let w = u - -71. Is w > -3?
True
Let c be 872/664*4/26. Let y = -4/83 + c. Is 1 <= y?
False
Let z = -236.6 + 237. Which is smaller: z or -0.19?
-0.19
Suppose -172 = 6*r - 640. Are r and 76 unequal?
True
Let a = -3 - -1. Let m = -866 - -866. Let t = m - a. Is -9 less than t?
True
Let o = -3 + 2. Let s = -787 - -448. Let k = 3387/10 + s. Which is smaller: o or k?
o
Let w(g) = 2*g**2 + 17*g - 45. Let j be w(-17). Let f be (17 - 21)*1/j. Is -1 at most f?
True
Let u be 8/(-14) - 12/(-21). Which is bigger: 9 or u?
9
Let z = -18 - -26. Let h = z - 8. Suppose h = -5*w - 7 - 3. Which is bigger: w or -1?
-1
Let v be (-4)/(-14) + 10455/84. Let f = 124 - v. Let h(w) = -w - 7. Let n be h(-5). Which is bigger: n or f?
f
Let j be (1 + 1 + 3 + -4)/1. Do j and 44 have different values?
True
Let i = 0.12 - 11.72. Let y = 9.1 + i. Is y less than -2?
True
Suppose 8*s + 6*s = 4662. Which is smaller: 334 or s?
s
Let l = -119/5 - -24. Is l less than 1?
True
Suppose -q - 5 = 0, 12 = -5*f + q + 52. Let s = -13 - -13. Suppose -4*w = 3*k + 3, -3*w - 2*w + 5*k + 5 = s. Which is smaller: w or f?
w
Let p = 1.207 + -0.207. Which is smaller: 10.9 or p?
p
Suppose 4*z - 5*y = -64, -4*y + 10 = -2*z - 28. Let j = 76 - 88. Which is bigger: z or j?
z
Let a = 545 + -530. Suppose 0 = 2*j + 10, -m - 3*m - 2*j + 10 = 0. Suppose 0 = 2*f - 5*v - a, v - 1 = -m*f - 4. Is f less than or equal to -2/59?
False
Suppose 3*n - 19 = 4*a, -2*a - a - 3*n - 9 = 0. Suppose -2179*h + 2196*h = 34. Which is greater: a or h?
h
Let j(m) = m**3 + 3*m**2 + 2*m + 3. Let c be j(-4). Suppose 0 = 5*t + g + 4, -5*t + g + g = -8. Suppose -4*f - 56 = 2*u, -3*u + t*u = -4*f + 44. Is u < c?
False
Let u(y) = 2*y**3 - 21*y**2 + 27*y. Let w be u(9). Do w and 1/158 have different values?
True
Let h be 24 - 4*4/(-56)*-14. Which is bigger: 24 or h?
24
Let m be 50/300 + (15785/78)/7. Which is smaller: 28 or m?
28
Let o = -1508 + 1507. Which is smaller: o or -242?
-242
Let a = 4011/17 - 236. Which is bigger: a or 1?
1
Let f(l) = l**2 - 7*l - 1. Let p be f(7). Suppose 2 + 7 = -5*u + 2*b, -2*u - 4*b + 6 = 0. Let n be u/(-5) + 3 + -3. Which is bigger: p or n?
n
Let r be 7005/16065 + (-4)/9 + 0. Which is bigger: r or 0?
0
Suppose 12 = 4*n - 20. Let f be (-6)/(-12) + (-5)/n. Let y = 28/5 - 206/35. Which is bigger: y or f?
f
Let q = 6305.2 + -6305. Let w be (2/6)/(2/(-4)). Is w greater than q?
False
Let i = 2.82 - 0.92. Which is smaller: 1 or i?
1
Let j = -76 + 75.69. Let q = -1.31 - j. Which is bigger: 1 or q?
1
Let o(h) = -1. Let j(d) = 2*d**2 + 7*d - 1. Let b(f) = j(f) - 3*o(f). Let u be b(-3). Is -2 >= u?
False
Let b(l) = -7*l - 160. Let w be b(-10). Is w > -2?
False
Let u be (26*77/110)/(-3). Which is smaller: u or -7?
-7
Let h = -0.1 - 0.3. Let o = -0.0294 - -2.4594. Let u = o + 0.57. Which is greater: u or h?
u
Let s = 8 - 6. Let x be s/3*(-6)/4. Let b = -1/2 + 9/10. Which is greater: b or x?
b
Let x = 111.922 - -0.078. Let g = x + -100. Are 0 and g unequal?
True
Let c = -432.94 + 425. Let i = 0.06 - c. Let y = i - 8.2. Which is smaller: -0.1 or y?
y
Let z = -228 + 227. Which is greater: -3/11 or z?
-3/11
Let s = -11.5 - -1.5. Let y = 9.9 + s. Let x be 1/((1/(-2))/(-1)). Is x smaller than y?
False
Let m = -19 + 24. Suppose -m*q = -3*q + 154. Is -77 at most as big as q?
True
Let q be (40/(-2))/(-1 - -2). Suppose f - 2*f = -4. Suppose -f = z + 15. Which is smaller: q or z?
q
Let f be 3/12 + (-36)/(-16). Let o = 20 - 29. Let z = o - -10. Is f at most z?
False
Suppose 7*j - 5*j - 234 = -h, -3*j = -4*h - 362. Which is bigger: j or 119?
119
Let l(c) = -16 + 2*c - 2*c - c + 15. Let d be l(-5). Suppose -2*o = -1 - 5. Which is greater: d or o?
d
Let x = -14 + 14.2. Do -173 and x have different values?
True
Let b be 616/(-132) + 2/3 - -4. Which is greater: b or 1/37?
1/37
Let k = 0.2 + -0.3. Suppose 0*s - 7 = 7*s. Which is smaller: s or k?
s
Suppose p - 768 = -5*p. Suppose -7*q + 3*q = p. Let u = q - -23. Which is bigger: -23/3 or u?
-23/3
Suppose 274*h - 265*h = 0. Is 58/61 greater than h?
True
Let n = -471/3344 - 3/176. Let z be (-6)/(-2) - 8/(-4). Suppose 7*k - 2*k = z. Which is smaller: k or n?
n
Suppose -11*z - 6 - 27 = 0. Is z less than -13/8?
True
Let z = 9939/4081 - 4/583. Do 2 and z have the same value?
False
Suppose j + n = -253, -4*n = -5 + 17. Are -252 and j unequal?
True
Suppose 3*y = -9*y - 48. Let v be ((-128)/(-6))/y - 48/(-36). Which is smaller: v or -5?
-5
Let y = -29 + 95. Suppose u - y = 5*u + 2*v, 12 = -4*v. Let z be 5/26*3/u. Is -1 at least z?
False
Let q = -91416/13893125 - -4/22229. Is 1 at most as big as q?
False
Suppose 0 = 15*t - 10*t + 20, -4*n + t + 100 = 0. Suppose -m - 3 = 0, -99 - 33 = -5*g + 4*m. Is g < n?
False
Let g = -6.3 + 51.3. Let k = g - 88. Do k and -0.1 have the same value?
False
Suppose 4*l - 92 = -y, y + 2*y - 34 = -l. Let t be (-496)/15 - l/(-55). Is t greater than or equal to -32?
False
Let j = -0.02 - 1.98. Is j greater than -199?
True
Let x = -317 - -326. Let l be (-706)/(-72) + (-5)/20. Which is bigger: l or x?
l
Suppose -5*n + 9*n = -w + 78, 