 4/13 or r?
r
Let z = -113/69 - -30/23. Which is bigger: z or -164?
z
Let n = 5.8 - 8.54. Let h = 4.04 + -4.3. Let z = n + h. Is 0.1 less than z?
False
Let p = 71 - 68. Suppose 13*c = 16 - p. Let z = -0.3 + 3.3. Which is bigger: z or c?
z
Let d = -6.26 + 6.36. Which is smaller: 1.5 or d?
d
Let y = -137 - -2056/15. Suppose -i + 2 = 3*c, 5*c - 3 = 2*i + 4. Suppose c + 4 = l, 3*l - 20 = -5*t. Which is greater: y or t?
t
Let y = -35 + 28. Let j be -15 + (-4 - y - -1). Which is bigger: -12 or j?
j
Let g(x) = x**2 + 41*x - 88. Let u be g(-43). Do u and 1.38 have the same value?
False
Let p = 3782 + -185340/49. Let u = -673/735 - p. Which is bigger: 1 or u?
1
Let u = -35 + -174. Which is smaller: -2 or u?
u
Suppose -40*s + 46*s = 0. Is 3/29 less than s?
False
Let r = -747 + 642.2. Let f = -105 - r. Which is smaller: 1.7 or f?
f
Suppose -8*x + 45 - 5 = 0. Is x >= 33/7?
True
Let a = -77 - -75. Is a equal to -10/13?
False
Let d be (-6)/(-24) + (-286)/(-8). Let l = 27 - d. Which is greater: l or -11?
l
Let n = -8/39 - -7/13. Is n at most as big as -187?
False
Let v(h) = -h + 5. Let s be v(-6). Let o = -24 + 37. Is s < o?
True
Let u = 6 - -3. Let g be u/(9/(-2))*12. Which is greater: -25 or g?
g
Let u(p) = p - 4*p**2 + 13 - 7 - 8. Let r be u(-2). Let v be 15/r*(-1)/(-3). Is v not equal to 0.3?
True
Let f be (-12)/6 + -1 + 1. Let l(u) = 4*u + 7. Let s be l(f). Is -1 != s?
False
Let s(a) = -a - 7. Let y be s(-5). Let r be (-6)/y - (-15 - -1). Which is smaller: -1/2 or r?
-1/2
Suppose -9*s + 35*s = 0. Which is smaller: -4/63 or s?
-4/63
Let t(q) = q**3 - 12*q**2 + 21*q + 24. Let r be t(10). Let u = r - -33. Is 66 at least as big as u?
False
Let n = -45448 - -953878/21. Let u = 158/7 + n. Let d be (((-12)/(-5))/(-2))/(14/35). Is d bigger than u?
False
Let u = -7 - -11. Suppose -p = -u*p + 9. Let i be -3 + -2 + 3 - p. Is -6 less than i?
True
Let t = -14 - -18. Suppose -5*a = -a - t. Which is greater: 1/8 or a?
a
Let s be 1648/103 - (-1)/(-3). Which is greater: s or 17?
17
Suppose -82 = -4*y + 98. Suppose 2*f = -3*z - 27, -3*z + y = f - 3*f. Let m be (-26)/50 + f/(-30). Do -0.2 and m have the same value?
False
Let m(f) be the third derivative of -f**5/60 + 5*f**4/8 - 43*f**3/6 + 13*f**2. Let i be m(13). Is i != 4?
True
Let l = -3/400 + -197/400. Are 638 and l unequal?
True
Let m = 248 - 175. Which is bigger: m or 1/4?
m
Suppose 23 = 4*k - 57. Suppose -3*w - 2*h + 15 = 0, 5*w - w + 5*h = k. Do -6 and w have the same value?
False
Let r(u) = -2*u + 4. Let f be r(-13). Suppose -3*j = -16 - 74. Let d = f - j. Which is greater: d or -4/25?
d
Let v = -136 - -81. Let h be -2 + (-35)/v + 3. Which is smaller: 1 or h?
1
Let i = -55.2 - -55.4. Which is greater: -12 or i?
i
Let y(x) = x**3 - x**2 + x + 2. Let t be y(0). Let h be 78 - 85 - (-5 - 0). Which is smaller: t or h?
h
Let j = -2196 - -2195.4. Let t = 2 - 1. Which is bigger: j or t?
t
Let z be 552/36 + -13 + 1*-3. Do 4 and z have different values?
True
Let b = 2.4 + -3.3. Let f = 0.32 - -0.18. Let u = b + f. Which is greater: u or 2/5?
2/5
Suppose 0 = -4*f - 1 - 7. Suppose 0 = -4*s + 3 + 13. Let r be (6/(-15))/(2/s). Is r not equal to f?
True
Let l = 0 - 1. Let z = 15/28 + -1069/2100. Which is smaller: l or z?
l
Let o(u) = -u**3 - 5*u**2 + 4*u + 19. Let l be o(-5). Which is smaller: -1/300 or l?
l
Suppose 0 = -3*m + 5*m + 5*k + 52, 5*m + 3*k + 92 = 0. Let r be -4*(-1)/10 - m/(-35). Which is smaller: r or -1?
-1
Let g = -334 + 336. Let s be -2 + (2 - 2/(-6)). Is g less than s?
False
Let h be 299948/765 + 1/9. Which is smaller: 392 or h?
392
Let j = -8 + 2. Let w be -5*-7*j/(-15). Let h be (-10)/w - 8/28. Do 0 and h have different values?
True
Suppose 4*o - 1 = 3. Let p be 4/(-33)*(-255)/(-60). Let d = 2/11 + p. Which is smaller: o or d?
d
Let o = 275 - 373. Which is smaller: o or 2/5?
o
Let k = -16 + 26. Let h be (k/(-4))/(187/204). Which is smaller: h or -2?
h
Suppose 22*h - 3*r = 23*h, 2*h + 5*r = 0. Does 5/51 = h?
False
Let j = -0.103 - -8.503. Let r = j + -8.2. Are 0.12 and r equal?
False
Suppose -y = -0*y. Suppose 5*p = -4*z + 8, -5*z - p - 7 = p. Let a be z*(-2)/(-102)*2. Which is smaller: y or a?
a
Suppose 0 = -3*y - 5*p - 16, 12*y - 14*y = -5*p - 31. Which is smaller: 13/7 or y?
13/7
Suppose -h = 4*i - 33, 3*i + 5*h - 45 = -2*i. Is i not equal to 7?
True
Let a = -0.482 + 0.282. Which is greater: a or 81?
81
Let v(y) = -y**3 + y**2 + 5*y - 7. Let i be v(3). Let h be 12/(-40)*2*i. Which is smaller: 5 or h?
5
Let p(g) = -7*g**2 + g. Let a be p(-1). Let h be 140/16 + 6/a. Let l = 1 + h. Which is bigger: l or -1?
l
Let l = 396 - 515.9. Let h = l - -120. Is 0.83 bigger than h?
True
Let q(x) = -x**3 + x**2 + 6*x - 5. Let f be q(5). Which is smaller: -76 or f?
-76
Let u = -127.9 - -137. Let p = u + -3.1. Which is greater: p or -13?
p
Let r(t) = 46*t - 232. Let m be r(5). Let c = -55246/17775 - 6/1975. Which is smaller: c or m?
c
Let r(z) = z + 7. Let i be r(-7). Let q = 2857043909/1656 + -1725268. Let m = q + -1/184. Which is smaller: m or i?
i
Let x be ((-15)/18)/(5/(-220)). Let b = x - 439/12. Is b at least 0?
True
Let o = -20.1 + -60.9. Is o bigger than -0.1?
False
Let h(t) = t - 1. Let f be h(3). Suppose 0 = -2*v + 2*q - 6, -f*v - 5*q = -15. Let j be 0 - -5 - (1 + v). Which is smaller: j or 2?
2
Suppose 4*c = -5*o - 86, 4*o + 33 = -2*c - 7. Which is bigger: c or 2/5?
2/5
Let v be 5 + (216/42 - 5). Which is bigger: v or -1?
v
Let w = 100.54 + -0.54. Let u = w - 101. Is u equal to 0.51?
False
Suppose -4*d + 58 = 5*m, 12 = m + 2*d + 4. Suppose -m*g + 9*g = 0. Suppose g = -12*v + 7*v + 5. Which is greater: 3/4 or v?
v
Let k = -121 + 109. Let m be 306/39*4/k. Is -2 at most m?
False
Suppose -7910 + 1036 = 7*k. Which is bigger: -984 or k?
k
Suppose 5*t - 599 = 4*a, 0 = -t - 5*a + 145 - 2. Suppose 3*v = -2*b + 364, 0 = -0*v + v - b - t. Let x be (v/(-31) - -2) + 2. Is x not equal to 0?
True
Let i(p) = -p**2 - 9*p + 10. Let f be i(-10). Suppose f = -3*z + 2*z + 8. Let y = -9 + z. Is y at least 1/4?
False
Let l(k) = -16*k**3 - k + 1. Let f be l(1). Suppose -8 = -8*b - 0*b. Let c be (-48)/f + (-6 - b). Is 0 equal to c?
False
Let d be (-4 + (-4 - -5))*(-1)/3. Let y be 7/(-90)*12/(-56). Which is bigger: d or y?
d
Let s = -3203 + 294673/92. Which is greater: s or 1?
1
Let i be (15/210)/(-1*(-3)/6). Is i greater than 1?
False
Let q(c) = -5*c + 2. Let v be q(3). Suppose 0*t + 12 = 2*t. Let h be 4/t + (-38)/3. Is h less than or equal to v?
False
Let w = -46 + 45.11. Let n = -0.38 + 0.27. Let i = w + n. Are 2/5 and i unequal?
True
Suppose 13*n - 4136 = -1068. Are n and 238 non-equal?
True
Let k = 2029 + -2073. Which is smaller: 15 or k?
k
Let r be (-100)/(-25) + (-1 - 0 - 0). Suppose -2*s - 21 = 4*t - 9*t, -21 = r*s - 4*t. Which is bigger: -5 or s?
s
Let y = 8157/104 + -561/8. Let z = -133236/15743 - -2/1211. Let i = y + z. Is 1 greater than or equal to i?
True
Let h(j) = 9*j + 87. Let b be h(-5). Is b at least as big as 39?
True
Let f be ((-32)/(-288))/((-1)/2). Is -0.075 <= f?
False
Let v = 2 + -118. Is v at least -115?
False
Suppose 0 = m + 2 - 5. Let f(b) = -b**3 + 2*b**2 + 7*b + 2. Let l be f(-3). Let z = -22 + l. Which is greater: m or z?
z
Let b(c) = -72*c - 106. Let x be b(4). Is x > -393?
False
Suppose 3*g + 9 = 3*n, -5*n = -g + 3 - 18. Which is smaller: g or 2/269?
g
Let s = -2.2 - -0.2. Suppose 0 = 4*r - 104*i + 103*i - 33, 57 = 5*r + i. Which is bigger: r or s?
r
Let f = 1244 - 1140. Does 105 = f?
False
Suppose 56 - 59 = -3*c. Let m be c + ((-20)/(-12) - 2). Which is greater: m or 0.14?
m
Let m(g) = g - 5. Let o be m(7). Let f be (-1359)/(-27) - o/(-3). Suppose 4*i + 5 = -f. Is i != -15?
True
Let w(c) = -6*c**2 - 4*c - 3. Let m = -111 - -109. Let u be w(m). Which is smaller: -17 or u?
u
Let p(q) = 9*q**2 - 89*q - 11. Let c be p(10). Is c bigger than -5?
True
Suppose 438*q = 452*q + 6300. Which is greater: -1 or q?
-1
Let t = 29 - 15. Let c be 2 + -5*4/t. Let u(x) = -x**3 + 7*x**2 - 7*x + 6. Let h be u(6). Which is bigger: c or h?
c
Let q = 87 + -87. Let u be 1/(-1) + q + 4. Is u smaller than 1?
False
Let y = 40 + -25. Suppose -y = -3*i + 15. Let t be ((-4)/30)/((-1)/i). Which is greater: t or 2?
2
Let s(b) = -9*b**2 + 3*b - 2. Let a be s(1). Let q be 1 + -1 - a/52. Let f = 1 + -2. Which is greater: f or q?
q
Let i 