values?
True
Let r(w) = -13*w + 2. Let m be r(1). Let b(c) = 6*c + 55. Let k be b(m). Which is smaller: -13 or k?
-13
Let s be 38/(-9) - (-2)/9. Let j be (-6)/(-10) + (-6)/10. Let y = -5 + j. Is y less than s?
True
Let d = -735 + 668. Are d and -0.1 equal?
False
Let q be (-9)/45*(-120)/54 + 0/(-2). Let o = -4 - -8. Suppose 0 = -4*z - o. Which is smaller: q or z?
z
Let h = -28 - -138/5. Suppose 4*r + 20 = 4*b, 5*b - r + 0 = 5. Which is smaller: b or h?
h
Let q = -103/3 - -34. Let s = 4.3 - 4.33. Let c = s + -0.17. Is q not equal to c?
True
Suppose -2*n - 15 = -u + 7, u + 2 = 0. Let d(i) = -2*i**2 - i - 2. Let v be d(2). Is v at most n?
True
Suppose 0 = 2*q + s - 13, -5*q + 23 = 5*s - 7. Suppose -q*o + 9 = -5. Is 5/3 <= o?
True
Let y = 1044 + -1107. Which is smaller: y or -8?
y
Let x be 8/(-36) + (-7144)/6327. Is 0 equal to x?
False
Suppose -b - 2*y + 44 = -4*b, 0 = 5*b - 3*y + 74. Let z(f) = 7*f + 131. Let h be z(-21). Is h at most as big as b?
True
Let x = 0.0427 + -2.0427. Is 48/11 smaller than x?
False
Suppose -2*s + 3*s = 0. Let o = 3774725/12727 - 3856/13. Let g = o + -6/89. Which is smaller: g or s?
g
Let x be (15/(-10))/((-1)/(-10)). Let u = -12 - x. Suppose -h - 29 = 2*c, u*h + 3 = -c + 2*c. Is c at least -13?
True
Let q be 7 + 1 + (-3 - 8/(-4)). Let h = 4 - 0. Suppose 2*y - 2*v + 5 = -v, 0 = 5*y + h*v - q. Is y at least as big as -1/7?
False
Suppose -2*i = l + 7, l + 4*l + 47 = -4*i. Let j be (3 - 34/10)*30. Are l and j equal?
False
Let w = -2.022 + 2. Let o = w + 0.352. Are 2/7 and o nonequal?
True
Let y = -18743/4 + 4686. Let a = -4 + 2. Let f = a + 1. Which is greater: f or y?
y
Let b = -73 + 114. Let l = b - 38.4. Which is smaller: 0.1 or l?
0.1
Suppose 0 = -0*q - q + 1. Let j be -4 + q - (-17 + 0). Is 0.1 at most as big as j?
True
Let g = -57 + 57. Is g at least as big as 71?
False
Suppose -16 = -92*k + 90*k. Suppose 0 = -2*m - k*m + 120. Suppose a + 0*r = 5*r + 15, -5*a = -r - 51. Which is smaller: m or a?
a
Let g be ((-1)/(-2))/(-1 - (-88)/96). Let d be (-4)/g + (-171)/(-9). Which is smaller: d or 20?
d
Let c = -142358 + 994585/7. Let w = c + 274. Suppose -3*l + 5 = -4*s, -l + 3*l = 2*s + 4. Which is smaller: s or w?
w
Let q(g) be the third derivative of -g**6/120 - 2*g**5/15 - 11*g**4/24 + 2*g**3/3 + 9*g**2. Let d be q(-6). Let f be 25/10*(-1)/(-5). Which is bigger: d or f?
f
Suppose -84*y - 3430 = -89*y. Which is smaller: 685 or y?
685
Let c be (129 - (1 + -5)) + (-5)/5. Suppose c = -4*w - 2*w. Does w = -21?
False
Let n be 6 - (-8 - 7)*1. Which is bigger: n or 25?
25
Let y = -0.05 - -11.05. Is y smaller than -1?
False
Let h = 147 + -162. Let p be (-82)/5 - (-4)/10. Is h at most as big as p?
False
Suppose -5*l - 5*b + 25 = 0, -3*l - b = -7*l + 5. Let t = -3 - -2. Let p = 6 - t. Which is smaller: l or p?
l
Let f be (-158)/(-12) + -14*6/504. Let p be (-2)/(22/26 + -1). Is f less than p?
False
Let r be 3/3 - ((2 - -1) + -2). Suppose -n + r = 3. Is n smaller than 7?
True
Let l = 136 + -133. Let x = -292607861413/7185 - -40724824. Let p = 1/479 + x. Which is smaller: l or p?
p
Let i(s) = -s**3 + 6*s**2 + 2*s - 5. Suppose 0 - 12 = -2*b. Let h be i(b). Suppose -5*n = -q - 9, -4*n + n + q + h = 0. Which is bigger: n or 2/13?
n
Let q(k) = -3*k - 24. Let a be (-87)/12 - 1 - 21/28. Let w be q(a). Are 2 and w unequal?
True
Let u(t) = 2*t - 8. Let n be u(6). Suppose -n = -m + 5*m. Suppose -4*s = 4*i + 20, 4*i + 24*s = 21*s - 16. Is m bigger than i?
False
Let m = 10 - 14. Let r = m - -13. Let v = 598 + -597.9. Which is smaller: v or r?
v
Suppose -16 = 2*x + 2*j, 0 = 3*x + j - 3*j + 14. Let b be (-95)/x + (-7)/(-42). Let t be ((-39)/b)/((-18)/24). Are 4 and t equal?
False
Let a = 13 + -43. Let q be (-2)/((-180)/93 - -2). Let p = a - q. Is p bigger than 6/19?
True
Suppose 6*x + 1447 - 1447 = 0. Is x not equal to -43?
True
Let j be ((-15)/(-1))/((-6)/(-8)). Does 20 = j?
True
Let r be 3/33 + 2775/(-8745). Which is bigger: -1 or r?
r
Let a = 479 + -466. Let j = -22 + 22.2. Is j bigger than a?
False
Let x be (0 + -2)/(4/(-16)). Suppose 0 = 4*m - x - 4. Suppose -v + 13 = 4*t, -3*v + m*t - t - 3 = 0. Which is bigger: v or 3?
3
Let c(m) = -28. Let l(z) = z - 1. Let g(n) = -c(n) - 5*l(n). Let o be g(7). Which is smaller: o or -10/3?
-10/3
Let m = -13 + 9. Let c be (3 + m)/(-1)*2. Let z = -4 + c. Which is greater: z or -5/2?
z
Let n be (1033/4)/(28/16). Let i = 147 - n. Let l(j) = -j**2. Let r be l(0). Is i smaller than r?
True
Let g be 4/(-6)*2026/(-4). Which is bigger: g or 337?
g
Suppose -p + x + 3 - 19 = 0, 4*x + 83 = -3*p. Is -14 != p?
True
Suppose -350 = -2*d - 0*d. Suppose -4*k - 5*l = 238, 3*k + 3*l + d = l. Let h = k - -286/5. Is h greater than 0?
True
Let c be (-3 + 6044/(-144))*30/(-4). Let p = -995/3 + c. Which is smaller: 6 or p?
p
Let z(k) = 52*k - 6. Let y be z(1). Are 44 and y equal?
False
Let q be (-3)/(-2) + (-77)/(-22). Suppose q*i = 3*i. Let w = 1 - i. Which is smaller: w or 2/75?
2/75
Let v = -34 + 35. Is v greater than 5/33?
True
Suppose 0 = -5*k + 10*k + 105. Let u(s) = s**3 + 22*s**2 + 22*s + 26. Let z be u(k). Is z at most 6?
True
Suppose 7*g = 13*g - 384. Which is smaller: g or 63?
63
Let s(y) = y**2 + 7*y + 7. Let z be s(-6). Let p be (-18)/27*-1*9/150. Is p at least as big as z?
False
Let b be (-537)/(-15) - (-8)/(-10). Let p be (2/b)/(4/20). Which is smaller: -6 or p?
-6
Let y = 61.3 + -72. Let j = y - -15.7. Let v be (0 - (-2)/6)/(-1). Which is bigger: v or j?
j
Let d be (-9)/(-21) + 3294/(-42). Let x = 54 + -132. Is d >= x?
True
Let t(p) be the second derivative of 0 - 1/6*p**3 - 3*p + 15/2*p**2. Let m be t(8). Is 6 bigger than m?
False
Let u = -2914186/9 - -324120. Let t = 322 - u. Which is smaller: t or 1?
t
Let j = -598 + 274. Which is smaller: j or -323?
j
Let p = 124 + -130. Is p at least -44/7?
True
Let u = -36/49 + 1333/147. Which is greater: 9 or u?
9
Suppose 156*f = 163*f - 259. Are 3 and f unequal?
True
Let y(h) = -h - 17. Let p be y(-12). Suppose -4*q = -2*q - 16. Suppose q = -3*x - 7. Is p greater than or equal to x?
True
Let f(g) = g**2 - 5*g. Let d be f(5). Suppose q + 5 = -d. Which is bigger: -2 or q?
-2
Let z = -10/59 + -157/118. Do z and -97 have the same value?
False
Let l = 1931 + -1930. Which is smaller: 3/37 or l?
3/37
Let m = 4409390/893 - 90092/19. Let d = m - 196. Which is smaller: 0 or d?
0
Suppose 31*n = 39*n - 72. Which is bigger: n or 57/7?
n
Suppose -19*u = -14*u + 20. Let q be -1 + (u + 8)*1. Is 3 bigger than q?
False
Let v be 116/210 + (-4)/14. Let o = -101.5 - -101.4. Which is bigger: v or o?
v
Suppose 4 - 2 = -2*t, 3*o + 2*t - 52 = 0. Suppose 5*m + 507 = o*m. Is 40 less than m?
False
Suppose 3 = -2*y + 27. Let r be (-2 + 16/3)*-3. Let v = y + r. Which is smaller: 3 or v?
v
Let n = 298 + -168. Which is smaller: n or 129?
129
Let n = 787.9 - 788. Is 8/23 bigger than n?
True
Let l(b) be the second derivative of b**3/2 - 24*b**2 + 3*b. Let h be l(8). Is -22 less than or equal to h?
False
Let t = 10837 - 5140. Let o = -797571/140 + t. Let v = 2/105 + o. Which is smaller: -1 or v?
-1
Suppose -164 + 34 = -u. Is 131 < u?
False
Let i(l) = l**2 + 3*l - 6. Let u be i(4). Let h = 28 - u. Let f(p) = -p**3 - 4*p**2 - 2*p - 1. Let q be f(-4). Which is greater: q or h?
q
Let i(m) be the first derivative of -m**4/12 - 11*m**3/6 - 5*m**2 + m - 3. Let k(d) be the first derivative of i(d). Let y be k(-10). Which is bigger: y or -4?
y
Let u = -23 + 8. Let b = -3.5 + 18.7. Let v = b + u. Are 2 and v equal?
False
Let b = 10 + 17. Let y be 12/9*b/7. Let k = y - 94/21. Which is greater: k or -18?
k
Let u(g) = 64*g**2 - 20*g - 29. Let d be u(-3). Is 607 less than d?
False
Let s = -2 + 1. Let r = 26/3 + -11. Is s != r?
True
Let y = -41.5 - -3.5. Which is smaller: y or 3/2?
y
Let s be 4/(9/(-10071)*6). Which is greater: s or -745?
-745
Let s be ((-2)/(-2))/((-1)/15). Let y = 115 - 107. Suppose 5*m - y*a + 58 = -5*a, 5*a + 20 = 0. Is m < s?
False
Let u = -53 + 52. Which is bigger: -20 or u?
u
Let c be (-6)/(91770/(-3199)) + (-2)/10. Which is bigger: c or 1?
1
Suppose 0 = -4*y + 2*h + 6 + 2, h = 4*y - 8. Suppose 7*g - y*g = -20. Let l be (-3)/(6/g) + 0. Which is greater: l or 4?
4
Let i(h) be the first derivative of -3*h**4/4 + 2*h**3 + h**2/2 + 13*h + 20. Let q be i(4). Is -78 greater than q?
True
Let v(z) = -21*