r: s or 247?
247
Let w = 0.101 + -0.201. Let x = 1.303 + -0.133. Let k = 0.47 - x. Is w > k?
True
Let z = 11537217/1585 - 7279. Which is smaller: z or -1?
-1
Let g(d) = 4*d**2 - 103*d - 107. Let x be g(33). Is 851 less than or equal to x?
False
Let a = 632 + -644. Let d be (a/15)/((-14)/(-70)) + 129. Which is greater: 0 or d?
d
Suppose -18 = -3*c - 12. Let h = 6 - c. Let d be 9/(162/68) - h. Which is bigger: d or 0.4?
0.4
Let g be (-9 - (-6)/(-6))*(-2)/((-8)/454). Are -1134 and g non-equal?
True
Let y(p) = p**3 - 16*p**2 + 46*p + 95. Let b be y(19). Is 6160/3 less than or equal to b?
False
Suppose 0 = a - u + 3754, 8*u - 3*u = -5*a - 18730. Which is bigger: -3749 or a?
-3749
Let w = 1272 + -599. Which is bigger: 670 or w?
w
Let i = 31 + 45. Let h = i - 77. Which is smaller: h or -0.5?
h
Suppose 5*l + 126 = -h - 140, 3*h = -5*l - 748. Do h and -238 have the same value?
False
Suppose -4*n + 5*g + 32 = 0, 5*g = 3*n - 18 - 6. Suppose -5*h + 13*h = -n. Which is greater: -14/19 or h?
-14/19
Suppose m + 3*i = -3, 5*m - 2*m - 5*i - 5 = 0. Suppose -6*o + 8*o - 188 = m. Let p = -660/7 + o. Which is smaller: p or 2/33?
p
Let u = -20.483 + 21.34. Let r = u + 2.055. Let y = r - -0.088. Is -4 at least y?
False
Let d = 203 - 181. Let g be d/(-5) - 30/350*7. Let i be ((-12)/16)/(1/8). Are g and i equal?
False
Let t be 3026/(-136) + (-5)/(-4). Let u be 2 - -5 - t/(-3). Is 24/29 < u?
False
Let z = 6 - 7. Let b = 0 - z. Let j = 3.1 + -3.4. Which is bigger: b or j?
b
Let h = 294 - 7343/25. Let k(s) = 2*s + 11. Let b be k(0). Let a be 2/(-8) - b/(-44). Which is smaller: h or a?
a
Suppose 268*d - 258*d = 70. Is d equal to 58/7?
False
Let o = 2147 + -2216. Is -18 at most as big as o?
False
Let a = 5.94 + -7.784. Which is bigger: a or 0?
0
Let r(x) = 2*x + 17. Let y be r(-6). Suppose y*u - 22 = 3*o - 65, -8 = -3*o - 2*u. Which is bigger: o or -0.1?
o
Let d = -461.6 + 463. Let a = d + 36.6. Which is smaller: 0 or a?
0
Let v(k) be the third derivative of -k**5/60 - k**4/6 - 158*k**3/3 + 105*k**2. Let w be v(0). Is -317 less than w?
True
Let f be 0/(16/32*4/(-2)). Are f and 3/7774 unequal?
True
Let p = 352 - 351.9. Is -1579 > p?
False
Let c be 160/(-105) + 125/75. Which is bigger: c or -1/2?
c
Let r(l) = 12*l**2 - 684*l + 3673. Let s be r(6). Let y(c) = -c**3 - 7*c**2 - 7*c - 4. Let w be y(-6). Suppose d - 3*d + w = 0. Is s bigger than d?
False
Let a = 87.4 + -87.3. Which is greater: a or -698?
a
Suppose 17*s = -17*s + 28*s - 1152. Which is greater: -180 or s?
-180
Let b = -12575.94 - -12576. Are 200/3 and b nonequal?
True
Let s = 1039.35 - 245.35. Is s smaller than 1.7?
False
Let q = -335/3 - -160463/1437. Let n = -4 - -3. Which is smaller: n or q?
n
Let j(s) = s**2 - 9*s - 2242. Let y be j(-43). Is y less than or equal to -6?
True
Suppose 0 = -2*i + 5*i - 39. Suppose 23*p - 3*a = 28*p - 711, -2*a + 4 = 0. Suppose -p*j = -136*j - 60. Is i at most j?
False
Let h be ((-1)/33 - 0)/((-15)/(-27)). Let w be (-1)/(-6)*2*9. Suppose -5*z = -3*q + 11, 6*q = 2*z + w*q + 8. Which is bigger: h or z?
h
Let b = 1600 + -1608. Which is bigger: -156/23 or b?
-156/23
Let j be ((-21)/(-18))/7 + 2/(-12). Let m be 73 - 3/(j + -3). Let n be 2/(5 - 4) + m/(-38). Which is smaller: n or -1?
-1
Let y be (3/(15/2))/((-8)/((-8960)/(-16))). Are y and -597/22 nonequal?
True
Let n be (-40525)/10*30/(-75). Is n greater than or equal to 1617?
True
Let v = 20432/45 + -776809/1710. Let r = v - -5/19. Is r >= 1?
False
Let z = 116.7 + 147.3. Let q be 12/8*2/12. Does z = q?
False
Let r be (156/(-130))/(2/(-25)). Let t be ((-52)/(-126))/((-10)/r). Is t != -2?
True
Let k = 5/5468 - -470083/180444. Is k equal to 4?
False
Let h(x) = -2*x**3 + 27*x**2 + 2*x + 46. Let f be h(13). Is f >= 1208/5?
False
Let h = -5205906956/386015 + -232/55145. Let s = -13521 - h. Which is smaller: -34 or s?
s
Let l = -8773.9 + 9184. Let n = l - 410. Are n and -0.82 unequal?
True
Let n(y) = -19*y - 73. Let t be n(12). Suppose 1196 = -4*d - 4*i, 0 = 3*i + 2*i - 15. Is d > t?
False
Suppose 5266 + 49915 = 162*a - 42181. Are a and 605 unequal?
True
Let h be 31*1*-1*6. Let f(o) = 11216*o + 44679. Let a be f(-4). Is h greater than or equal to a?
False
Suppose -12*p + 1924 + 21560 = 0. Let k = p - 41114/21. Does -1 = k?
False
Let v = -11 + 21. Suppose 9 = 11*x - v*x. Suppose x*t - 48 = 3*t. Which is smaller: -3 or t?
-3
Let j = -422 + 374. Suppose t + 4*t = -245. Which is smaller: j or t?
t
Let d be 23/(-1) + (-53100)/(-2300). Which is smaller: d or 2.99?
d
Let o = -14790 - -14654. Which is greater: o or -0.2?
-0.2
Suppose 4*z - 318 = -3*s - 2*s, -3*s + 204 = -2*z. Let x be s/(-330) + (-6)/(-5). Is -1/127 > x?
False
Suppose -r + 5*y - 561 = 0, -2*r - 2*y - 1090 = -4*y. Which is greater: r or -539?
-539
Let c(r) = -2*r**2 - 6*r - 1 + 4*r**2 + 5*r. Suppose 2*q - 6 = -q. Let p be c(q). Is p at least 5?
True
Let i(m) = -m**2 + 11*m - 22. Let y be i(7). Let a(s) = -4*s - 20 + 12 + 15 + 2*s**2. Let o be a(2). Does y = o?
False
Let y(p) = -6*p + 16 + 5 - 30. Let q be y(-4). Is q at most as big as 15?
True
Suppose -3*l + 0*l = 5*o - 13, -o - 5*l + 7 = 0. Suppose o*h - 5*f = -h + 23, 79 = 4*h + 3*f. Let v = -459 - -474. Which is smaller: v or h?
v
Suppose 4*t - 7*r = 18, 14*t + 3*r = 11*t - 3. Are 167/128 and t unequal?
True
Let x = -652.46 + 756.398. Let k = -0.162 - x. Let h = k - -104. Is h < -9?
False
Let c = 8 - 5. Let h = 40 + 28. Let f = h - 63. Is c less than or equal to f?
True
Let g be (-3)/(-2)*(3 - 35/(-21)). Suppose 6*i + i = -g. Which is bigger: i or -5/29?
-5/29
Let u be 2 + 0 + 2211870/(-221). Let w = 10012 + u. Is 6 at most as big as w?
False
Let r = -3631.125 + 3631. Is -0.17 != r?
True
Let l = 3761/28 - 935/7. Let t = 1 + 2. Is l less than t?
True
Let y(p) = -p**3 - 2*p**2 + 15*p - 1. Let r be y(4). Which is greater: r or -41?
r
Let x = 239 - 240.8. Let z = x - -1.77. Which is smaller: 4 or z?
z
Let t be 188/(-34) + 2 - -7*(-102)/(-119). Let n = 12 - 10. Which is greater: n or t?
t
Let n = 4548 - 4620. Which is greater: n or -74?
n
Let v = -718 - -720. Let p = 32 - 28. Is p <= v?
False
Let r be (-686)/26 - (151 + -176). Do r and -12 have different values?
True
Let f = 151643/17 + -8903. Which is greater: 17 or f?
f
Let v be (207/(-115))/(3*2/(-10)). Suppose -3*t - 2*t = 4*b - 35, -5*b + 28 = t. Does v = t?
True
Let x(u) = -35*u - 207. Let s(m) = 33*m + 210. Let j(i) = -4*s(i) - 5*x(i). Let r be j(-6). Which is greater: r or -67?
r
Let d(c) = 93*c + 1914. Let n be d(-7). Is 1269 less than or equal to n?
False
Let x = -11.97 + -0.03. Let z be (-42)/35*585/12. Let s = -59 - z. Is s smaller than x?
False
Let q(b) = 552*b + 18. Let j be q(-1). Which is smaller: -535 or j?
-535
Let b(q) = -4*q - 1. Let g(o) = 3*o + 1. Let s(z) = -5*b(z) - 6*g(z). Let c be (616/(-539))/((-2)/14). Let i be s(c). Is 13 equal to i?
False
Let w(s) = 2*s**3 + 65*s**2 + 85*s + 1578. Let c be w(-32). Is -112 less than or equal to c?
False
Let x = 192 - 177. Suppose -2*q + 2*o - 2 = 4, -5*q = -2*o + x. Which is smaller: q or 3?
q
Let x = -18 + -48. Suppose 13*z - 9*z = -260. Do x and z have different values?
True
Suppose 0*m - m - 2 = 0, 5*a + 4*m + 43 = 0. Let r = 4118351/6 + -683025. Let l = r - 3375. Is l > a?
False
Suppose 11*d - 16*d - 45 = 0. Is d at most as big as -5?
True
Suppose 4*z = 38*q - 33*q - 291, 3*q = -15. Are -67 and z non-equal?
True
Let i be (4/(-1))/(5/20). Let u be 0 + -1 + (10 + -2)/4. Let s = -16 - u. Which is greater: s or i?
i
Let k(x) = -x**2 + 4*x + 23. Let s be k(8). Let l(z) = z**3 + 11*z**2 + 22*z + 57. Let i be l(s). Which is smaller: 20 or i?
20
Let t = 347 + -121. Let j = 225 - t. Is j at most as big as -1/221?
True
Let w = 2.304 + -140.204. Let h = -138 - w. Which is bigger: h or -20?
h
Let i = -0.281 - 0.799. Let t = 0.4 - 0.32. Let a = t + i. Which is bigger: a or -8?
a
Let o = -605972/57 - -31772/3. Is o smaller than -39?
True
Let u = 3836 - 3820.39. Let o = 5.11 + u. Let h = -21 + o. Which is bigger: 0.1 or h?
0.1
Let j(k) be the second derivative of k**5/20 - 15*k**4/4 + 43*k**3/6 + 43*k**2/2 - 2*k + 139. Let h be j(44). Let w be (3 + -2)*4/170. Does w = h?
False
Let c be ((0 - -1)*6)/(66/20). Let s(r) = -r**3 - 18*r**2 - 18*r - 15. Let n be s(-17). Is c > n?
False
Let f = 2658 + -2677. Is -1 greater than f?
True
Let