r: x or -5?
x
Let u = -422.92 - -627. Let g = 204 - u. Is 1/2 > g?
True
Let d be 23778/90*1/(0 - -1). Is 264 bigger than d?
False
Suppose 4*d + 46 = 2*z, -13 = 4*d + 5*z - 2. Let q(r) = 3*r. Let b be q(1). Let l be 2 + -1 - b - 7. Does l = d?
True
Let q(s) = s**2 + s + 274. Let r be q(50). Which is greater: 2825 or r?
2825
Suppose 3*y - 12 = 3*g + 3, 2*y + 15 = -3*g. Let j be 3/g - (43320/(-25))/8. Is 216 less than j?
False
Let d(f) = 214*f**2 - 107*f**2 - 53 + 29*f - 108*f**2. Let j be d(27). Let l be ((-2)/(-5))/(-1*26). Which is greater: j or l?
j
Let d = -63821/63 - -1013. Suppose -3*z + 6 = 5*t, 4*z + 0*t = -5*t + 8. Suppose -i = -z*i - 1. Is d smaller than i?
False
Suppose -91*z - 2*h = -90*z + 2, 2*z = 3*h + 3. Let w be (2029/15)/((-12)/(-30)). Let a = -339 + w. Which is greater: a or z?
z
Suppose 0 = 4*w - 28 - 0. Let a be (-14)/(-3)*(235/35 - w). Let r = -1.98 - 0.02. Which is smaller: a or r?
r
Let d(n) = n**3 + n**2 - 2*n + 1. Let j be d(-2). Let z be j*13/((-13)/(-30)). Let m = -30 + z. Do 2/7 and m have the same value?
False
Let c = 142.07 - 139.07. Let k = 0.75 + 0.5. Let b = 0.05 - k. Which is bigger: b or c?
c
Suppose 5*l - 8*g + 3*g = 25, 3*l = -g + 27. Suppose 125 + 75 = l*y. Is y greater than -3/4?
True
Let g = 6224 + -6225. Which is greater: 9/1492 or g?
9/1492
Let w = -52 + 1823/35. Let x = 265 - 260. Suppose 2 + 7 = -4*r + x*s, -2*r + s = 3. Is w at most r?
False
Let y be 500/400 + (-38)/(-8) + -1. Let m be (10030/(-1050) - -9) + 3/y. Is m at most as big as 1?
True
Let f = -698.7 - -697.7. Is -1248 greater than f?
False
Let f be (-202)/(-17170)*(-5)/1. Which is bigger: -60/7 or f?
f
Let t be 24/(-3)*42078/(-300) - 18/225. Are 1119 and t unequal?
True
Suppose 16 = -4*v + 4*c, -2*v - 2*c + 2 = -10. Which is smaller: v or 9/506?
9/506
Let a = -4/295 + 5968/5015. Let y = 45 - 45. Which is bigger: y or a?
a
Let c = 205 - 204.892. Let v = 0.708 - c. Is v at least as big as 2/15?
True
Let g(f) = -34*f + 3. Let n(b) = 3*b. Let t(o) = -2*g(o) - 22*n(o). Suppose z = u - 3, -7*z - 13 = -3*z - 3*u. Let w be t(z). Which is greater: w or 0.1?
0.1
Let q = -12 - -12. Let w be ((-108)/2400)/(33/(-12) + 2). Which is smaller: w or q?
q
Let w = -319 + 7019/22. Let d(i) = 4*i + 19. Let j be d(-5). Let x be j*1/1 - 0/(-11). Are x and w unequal?
True
Let b be 4/(-14) - (-1124064)/(-672). Which is greater: -1674 or b?
b
Suppose 4*r = 32 - 116. Let f = 30 + r. Let i be ((f/3)/(-6))/((-8)/(-48)). Is i < -7/3?
True
Let l = 102496/5 - 20588. Let a = 2212/25 + l. Let w(z) = -18*z + 109. Let n be w(6). Are n and a equal?
False
Suppose -7181 = -19*v - 2773. Let o = v + -249. Let h be (2 - -17)*-1 + 2. Is o != h?
False
Let v(u) = u**2 - 3*u - 37. Let o be v(-5). Suppose o*j - 72 = 12*j. Suppose 12 + 10 = -2*q. Which is smaller: q or j?
q
Let f be 1 + 4 - 10 - -4 - -5. Let r(u) = -98*u - 50. Let w be r(f). Which is smaller: w or -443?
-443
Let q = -1648 - -946. Which is smaller: -2107/3 or q?
-2107/3
Let z = 45 - -31. Let y = z - 67. Suppose 5 = -y*l - 4. Which is smaller: l or 3/11?
l
Let b be ((-12)/453)/((-2)/(-6)). Let y = 17170 - 17171. Which is smaller: y or b?
y
Let h = 0.413 + -3.123. Let j = h + 2.652. Is j at least as big as 0.5?
False
Suppose -4*f = n - 158, 2*n + 3*n - 10 = 0. Suppose -5*s + 172 = 4*p, -2*p + 111 - 19 = 4*s. Are p and f nonequal?
True
Let a = 0.33 + 0.07. Let y = -7505 - -7507. Is a < y?
True
Let q = 12930 + -12929. Let b be 1/(-1*2/(-34)). Which is greater: q or b?
b
Let d = 7542 - 7542. Which is smaller: -0.0325 or d?
-0.0325
Let t(v) = -11*v - 27. Suppose 0 = -5*k - 5*m - 40, -3*m + 64 = -10*k + 5*k. Let n be t(k). Suppose 3*w = 0, 3*j = 5*w - n - 23. Which is smaller: -38 or j?
j
Let b(u) be the third derivative of -u**6/120 + 29*u**5/60 - 29*u**4/24 + 29*u**3/6 - 189*u**2. Let y be b(28). Which is smaller: 174 or y?
y
Let q = 2554 + -2554. Is -2/9301 less than q?
True
Let d be 11 + -2 + 1 + (4 - 8). Let l be d*2/6 + -19. Suppose -3*o + 5*o - 8 = 0, 3*o = -4*p - 48. Is p > l?
True
Let h = 46203/27434 - 289/172. Which is smaller: h or 0?
0
Suppose -3*r + 12*b + 366 = 9*b, -3*b + 229 = 2*r. Let v = 187 - 69. Is v at most r?
True
Let g = 1/11 - -37/77. Let t = -206.09 + 19.89. Let i = t - -186. Is g greater than or equal to i?
True
Let l be 12/(-9) - 555950/480. Let d = 1159 + l. Is d less than or equal to -2?
False
Let b(j) = j**2 - 1. Let x be b(0). Suppose -4568 = -14*i - 466. Let z = -4393/15 + i. Is x < z?
True
Let q be (61/(-63) - -1)/(2/(-12)). Suppose 2*a + 4 = 4*u - 16, a + u = 5. Which is smaller: q or a?
q
Let p = 137.0411 + -0.0411. Let g = p + -137.21. Is -4 smaller than g?
True
Let p = -0.009 + -3.091. Let s = p - -2.74. Let o(k) = -5*k**2 + 6*k - 1. Let a be o(1). Which is smaller: s or a?
s
Let k = 28 - 26. Suppose 2*a + a = v - 2, -k = 4*a - v. Suppose 4*g + 6 + 26 = 0. Which is smaller: a or g?
g
Suppose -32*f - 16 = 4 + 12. Which is bigger: f or -86/411?
-86/411
Suppose i = 4*r - 7 - 0, r - 7 = 2*i. Let w be 1/i - (-6 - 437/(-78)). Is 1 less than or equal to w?
False
Let w = -6.127 - 9.273. Which is smaller: w or -2/7?
w
Let f = -29 - -79. Let i = 0.491 + 232.509. Let u = 232.9 - i. Do f and u have the same value?
False
Let l be 1/41*12396393/(-54). Let i = l + 11195/2. Let z = i - 3/41. Is z at most -1?
True
Let q(i) = i**3 - 16*i**2 + 16*i - 15. Let h(v) = -v**3 + 48*v**2 - 45*v - 79. Let o be h(47). Let k be q(o). Let b be (-22)/8 - (-1)/(-4). Is k less than b?
False
Suppose -9*a + 121 = -77. Suppose -2*f = -3*o + 49, 5*o = -5*f + 87 - a. Let n = -9 + 24. Are n and o non-equal?
False
Suppose 5047 = 246*j - 128 + 255. Let r be (-2)/3*3/(-17). Does j = r?
False
Let v = -73 + 85. Suppose -6 = 3*y - v. Suppose 5*f - 3 = y*f. Is f != 7/8?
True
Let t be -1*(537 + 17/((-51)/30)). Which is greater: -521 or t?
-521
Let o(n) = -33*n**2 - 73*n - 147. Let a be o(-3). Suppose -2*s + 444 = -4*s. Is a at least s?
False
Let r = -16 - -15.7. Let k = -3.27 + 3.14. Which is greater: r or k?
k
Let m = -0.35 - -3.1. Let a = 2.55 - m. Which is smaller: a or -3/5?
-3/5
Let z = -2192 + 2238. Suppose 3*l - 9 = -0. Which is bigger: z or l?
z
Let z(t) = 2*t**3 - 64*t**2 + 55*t + 213. Let c be z(31). Is -167/4 <= c?
True
Suppose -p = -3*p. Suppose 7 = y - p. Let v be (-6)/21 + (-33)/y. Which is greater: v or -4?
-4
Suppose 0*w = -3*t - 4*w + 260, -w = 5*t - 405. Let i be 3/(-6) - 10/(t/204). Are -28 and i unequal?
True
Let k be (208/10)/2 + (-14)/35. Let i be -1*12/30 + 174/k. Is i at most as big as 17?
True
Let y be ((-9)/(-2))/(3/(-4) + 0). Let w = 8 + y. Suppose 5*v = 2*i + w - 0, -3 = 3*i - 4*v. Which is bigger: 2/11 or i?
2/11
Suppose 0 = -5*h - q - 2 + 19, 0 = h - 3*q - 13. Let g(w) = 2*w**2 + 49*w + 107. Let u be g(-22). Is h >= u?
True
Let c be (-2 + 0 + 98/(-21))*12. Let y = 73 + c. Let l(i) = i**3 + 7*i**2 + i + 19. Let w be l(y). Is w greater than 13?
False
Let d = 15.155 - 32.155. Is d smaller than 92/11?
True
Let k(s) = 959*s + 7. Let m be k(1). Let v be 1939/m - (4 - 2). Is 0 at most v?
True
Let r = -0.4991 + 0.1991. Which is bigger: -37 or r?
r
Let a be (-4959)/72*(-20)/(-45). Let u = 172/9 + a. Suppose z = -z - 24. Which is bigger: u or z?
u
Let q = -41 + 36.41. Let r = q + -10.41. Do r and -0.04 have the same value?
False
Let j(c) = 308*c - 8940. Let i be j(29). Suppose b = 4*b - 9. Suppose 44 = -b*d + 4*f, -5*f + 31 = -2*d - 2*f. Is i greater than d?
False
Let r be (15 - (15 - 4) - 3)/((-1)/(-2)). Let d = 4.8 + -265.8. Which is smaller: d or r?
d
Let g(t) = -12*t - 20*t + 5 + 15*t - 8*t. Let x be g(-1). Suppose q - 1 = -2. Which is smaller: q or x?
q
Let g be ((-2)/5)/((-41854)/85). Let n = g - -1158/89863. Which is smaller: n or -1?
-1
Suppose 36*g - 32*g = -45*g - 21119. Which is bigger: g or 1?
1
Let p = 23969 + -20146. Is 3823 smaller than p?
False
Let j = -349 - -410.2. Let t = 18.1 - j. Let u = t + 43. Which is smaller: 22 or u?
u
Suppose -21 = 5*d - 71. Suppose -2*g = -22 + d. Let v be 0/(-3) - ((2 - 4) + g). Which is bigger: 1 or v?
1
Let m be 4 + 40/(4 + -9). Let w be 16/(-21)*3/m. Let d = 113/210 - w. Which is greater: 0 or d?
0
Let p(c) = -8*c + 2. Let j be p(-3). Let q(y) = 2*y**2 - y - 3. Let i be ((-28)/(-10) + -2)/((-2)/(-10)). Let l be q(i). Does l = j?
False
Let d = 195.1 - 199.1. Which is g