than h?
True
Let u be (-4)/(-18) + 2470/(-342) + 889/133. Which is bigger: -13 or u?
u
Let k(i) = 2*i**3 - 13*i**2 + 5*i + 6. Let j be k(6). Suppose 6*o = 2*y + 4*o, j = -2*o - 2. Let a be y*(-12)/(1 + 0). Are 0.2 and a unequal?
True
Let u = 14.1555 - 9.112. Let x = 0.0435 - u. Which is smaller: x or -4?
x
Suppose 127*d - 872036 = -55941 + 580524. Is d >= 10998?
False
Let g = 24/115 - 398/805. Let k = 33 - 57. Let l = k - -23.98. Which is smaller: l or g?
g
Let b be 0 + 5/(-20)*-20. Let m be ((9/(-10) - 4) + b)*-326. Which is greater: m or -34?
m
Let w be 22/6 + -1 + -3. Let g = -1.83 - 1.47. Is w less than g?
False
Let k = -7659 - -7727. Which is bigger: k or 53?
k
Let f = 45 - 42. Suppose 1 = -f*d - c + 7, -c = 0. Suppose b + 0*k - 2 = -2*k, k - 1 = -d*b. Which is bigger: b or 2/27?
2/27
Let j be (-310)/(-217)*(-630)/369. Which is greater: j or -1?
-1
Let q = -78.53 - 0.47. Let s = q + 134. Let l = 55 - s. Which is greater: l or -0.3?
l
Let g(a) = -2*a**2 - 5*a + 1. Let y be g(-3). Is y at most -0.39?
True
Let a = -80 - -74. Let y be a/17*(3 + 1264/(-420)). Are 1 and y non-equal?
True
Suppose -3*m - 16 = -4*c, 12*c = 11*c - 4*m + 4. Suppose 24*n - 3*w = 28*n - 1, -3*n = -c*w - 7. Is n not equal to -32?
True
Suppose -5*p = 5*k - 115, -7*k + 2*k + p = -91. Let n(r) = -12*r - 253. Let h be n(-24). Suppose 3*a = -h + 104. Are k and a non-equal?
True
Let a be 8/(-6) - -2 - ((-13321)/15)/11. Is 82 greater than or equal to a?
True
Suppose 0 = -18*g + 31*g - 910. Let u be (g/(-195))/(8/63) - -3. Which is bigger: 1 or u?
1
Let d = 61686679/1268982 - 3/70499. Which is smaller: d or 48?
48
Let g = -519 + 522. Suppose -8*y + 2 = -7*y. Suppose 9 = y*u + u. Is g at most u?
True
Let t = 2 - -23. Suppose 5*s - 31*s + 572 = 0. Suppose -s*x = -t*x + 6. Which is bigger: 6/7 or x?
x
Let h = 164.83 + 4.17. Let u = h + -169.1. Is 2/17 less than u?
False
Let n = 20 - 19. Let x be 1*(-49 + n + 1). Which is greater: -49 or x?
x
Let a be 14 + -14 - (-247 - (2 - 4)). Suppose 6*g = a - 167. Is g greater than 14?
False
Let n be 1739/(-8084)*(-1 + 5). Which is bigger: -1 or n?
n
Let n = -254.5 - -254.4. Which is smaller: n or 8740?
n
Let b be (5/(-2))/((-44)/(-16) - 4). Suppose -b*j + 5 = 4*m - 3, 3*m + 20 = 5*j. Let c be 8/126 - 4/(-18) - m. Which is smaller: c or -18?
-18
Let k = -8.62 - -2.91. Let f = -5.61 - k. Are f and 36 unequal?
True
Let m be (-4)/(((-1)/2)/(-20 + 22)). Suppose -8*x = -4*r - 13*x + m, -3*x + 13 = -r. Let o = -3/745 - 257/306195. Is r < o?
True
Let d be 4/40 - 1476/(-40). Suppose 5*h = 6*t - 3*t - d, -2*t - 4*h - 12 = 0. Do 11/4 and t have the same value?
False
Let m be 1071/217 - (-12)/186. Let w be -3 + ((-12)/(-4) - 2) - -69. Which is bigger: m or w?
w
Let n = -628/3 - -279. Let a = -7681 - -7682. Which is smaller: n or a?
a
Let s = -29.32 - -8.32. Which is smaller: 1.05 or s?
s
Let g = 3.765 + -10.265. Which is smaller: 8 or g?
g
Let k = -1.3 - -0.4. Let p = -8.3 + 58.3. Let b = -50.1 + p. Is b smaller than k?
False
Let v be (-27)/(-58) - 1/2. Let h = 1022 + -1002. Suppose 0 = -11*o + h*o. Do o and v have the same value?
False
Suppose -5116 = -7*r + 1086. Let f = r - 886. Which is smaller: f or 7/17?
f
Let w be (3 - -2)/(2/(-124)). Let i be ((-4)/6)/(-2)*(-465)/w. Let k = -4.11 + 0.11. Is k at least as big as i?
False
Let l(k) = -78*k - 72. Let r(a) = 11*a + 10. Let s(o) = -2*l(o) - 15*r(o). Let z be s(-2). Suppose -11*v = -z*v + 34. Which is smaller: v or 33?
33
Let o = -22674.3 - -22674. Which is greater: o or -1/213?
-1/213
Let c = 41 - 40.25. Let y = -0.39 + c. Let v = y + -0.16. Which is smaller: -14 or v?
-14
Let m = 3973 + -19812. Is m greater than -15839?
False
Let r = 190.63 - 190.208. Which is greater: r or -0.18?
r
Let f be 31/(-14 + 3376/240). Is f at most 467?
True
Let f = -3.08 + -172.92. Let m = 176.186 + f. Which is bigger: m or -0.1?
m
Let t = -1.1 + 17.1. Let d = t + -15. Let g = -0.71 - -28.71. Is d less than g?
True
Let o(l) = l - 5. Let p be o(3). Let t be (0 - 1)*(-127)/(-254). Which is greater: t or p?
t
Let b = 11554.813 - 11555. Which is greater: b or 33?
33
Suppose -5*w = -27 - 18. Let d be (-3 - w/(-6))/((-23)/6). Which is smaller: -1 or d?
-1
Let b(z) = -20*z - 48. Suppose 3*t = 3*d + 6, -36*d + 40*d = -4*t - 16. Let o be b(d). Are -5 and o unequal?
True
Let i = -377 - -761. Let q be (1 - 424/i)/(-5). Which is smaller: -2/5 or q?
-2/5
Let h = -47.46 - -56. Let u = 8.4 - h. Is u at least 1?
False
Let j = -42 - -3. Let m be 1360/9178 + 6/j. Is -1 at least as big as m?
False
Let j = -47.84 - -432.84. Is 1/4 equal to j?
False
Let w be (-10)/6 + (-15)/(-315)*-7. Let i be (-830)/100 - 16/w. Let o = -9/35 + 2/5. Is o at most i?
False
Let y be 8/2 + (7 - (45 + -33)). Let p be 61/20 + -2 - 0. Is p at least y?
True
Let d(n) = n**2 + 12*n + 16. Let k be -1*7 + -3 + -2 + 5. Let a be d(k). Let f = 4 + -24. Which is smaller: a or f?
f
Suppose 7*y + 325 = f + 9*y, 4*f - 1288 = -2*y. Let x = f - 320. Which is greater: x or -243?
x
Let h = 30460 - 30458. Let o = -130 + -54. Which is bigger: h or o?
h
Suppose -12*f = -13*f + 245. Suppose f = -132*h + 139*h. Is 32 greater than h?
False
Let r = -613/10 - -61. Let t be -1*(-2)/(-6)*0/2. Suppose -31*k + 27*k = t. Which is bigger: r or k?
k
Suppose -49*j - 13 = -13. Is j bigger than -3/2144?
True
Suppose 3*v = -n + 21, -n - 2*v + 84 = 2*n. Let t be (-8 - -7)/((-2)/n). Let k be 21/(-28) - (t/(-36))/1. Which is smaller: 2 or k?
k
Suppose 4567836 = -527*a + 198*a. Are a and -13884 unequal?
False
Let d(u) = -u**3 - 12*u**2 + 11*u - 19. Let w be d(-13). Suppose w*b = 52 - 17. Suppose -3*p = 5*j + 13, 2*p + 2*j + b = -1. Which is smaller: -2/7 or p?
p
Let c(n) = 605*n - 585. Let i be c(0). Is i at least as big as -582?
False
Let t be ((-4)/(-6))/((-35308)/(-159237) + 6/(-27)). Is t at least -1361?
True
Let b = -600766 + 7809956/13. Let z = -50 + 27. Which is smaller: z or b?
z
Let m(b) = 21*b - 991. Let h be m(51). Is 72 >= h?
False
Let q = -506.6 - 336.4. Which is greater: q or 2/3?
2/3
Let v = -261.8962 + 46.9872. Let m = v - -215. Let k = m - -0.009. Which is smaller: k or -0.6?
-0.6
Suppose i - 13 = 3*k, 21 = -5*k - 2*i + 3*i. Let h = 41 - 16. Let x be k/10 + 35/h. Which is greater: 0.1 or x?
x
Suppose 5*b - 27 = 2*m, 0 = 3*b + 5*m - 6 - 4. Suppose -3*v = b*k + 14, -2*k + 4*v + 10 = -0. Let n be 1 - 15/(-9)*1. Which is smaller: k or n?
k
Let u = -5983.04 + 5987. Do u and 0.08 have different values?
True
Let w(c) = c + 42. Let r be w(-10). Let a be (-8)/r + (-149)/(-564). Suppose -2*u = -2*p - 10, p - 30 = -5*u - 5. Is p < a?
True
Let u(d) = 94*d**2 + 147*d + 722. Let v be u(-5). Which is smaller: 2339 or v?
v
Let v = -23 - -25. Suppose -v*d + 5*x - 21 - 7 = 0, -d + 4*x = 20. Let q be 12/16*-1 + (-3)/d. Is -1/11 > q?
False
Let k = 297/91451 + -502250141/29173326255. Let g = 2/2363 - k. Let a = -1223/540 + g. Which is smaller: a or -2?
a
Let v = 18590 + -18586. Let d = -5/8 + 1577/2520. Let h = d + 7243/2520. Which is smaller: h or v?
h
Let y = -201 + 192. Let x be 5 - ((-7)/1 + 3). Let l be (-3)/x*y - 4. Which is bigger: -4 or l?
l
Let f = -0.0685 - 224.1315. Let z = 224 + f. Is -8/15 >= z?
False
Let m = -2489 - -2501. Which is smaller: m or 260/23?
260/23
Let f = 67/6 + -1417/126. Let d be (-52)/(-60) - (-8)/60. Is d > f?
True
Let f be 3 + (-18 - -16)/((-2)/41). Let y be 11/((-33)/(-6)) + (1 - -62). Let r = f - y. Which is smaller: r or -22?
-22
Let b = -1.702 + 4.867. Do b and 0.1 have different values?
True
Let i = -359.2 - -338.2. Which is greater: i or -150?
i
Let o be (85/(-68))/(2/(6*-4)). Let d be (10/o)/(-1)*-15. Suppose 0 = -d*s + 4*s - 24. Is -11 greater than s?
False
Let h be 3 - (3 + 0/4). Let z = 714584/181 - 3948. Which is bigger: z or h?
h
Let y be 19 + -35 + (-1 - -18). Is -38/115 bigger than y?
False
Let x(s) = -94*s - 331. Let y be x(-6). Let l be (y - (14 + -4))/(2 - 1). Which is bigger: 225 or l?
225
Suppose 357*w - 367*w = -2040. Is w bigger than 189?
True
Let m = -0.61 + 36.61. Let t = m + -36.05. Let u = -71/3 + 25. Which is smaller: u or t?
t
Let l = 0 - 0. Suppose q = -l*q + 1. Let f be (-9198)/1155 - (-11 - -3). Which is greater: q or f?
q
Let g = -582 + 573. Let d be (0/(-1))/(1*(-10 - g)). Let x = 0.5 - -0.1. Which is bigger: d or x?
x
Suppose 0 = 9*s - 134 