e 3*i - 4*c + s = -0*c, -c + 6 = -i. Which is smaller: -39/8 or i?
-39/8
Let y = -1.535 - 22.465. Which is smaller: 5/68 or y?
y
Let z = 60 - 200. Let m = z + 134. Which is greater: 14 or m?
14
Let b = 2841 + -2842. Let s = -3.5 - -7.2. Does s = b?
False
Let z be (-696)/1188 - (-1)/(-22)*-8. Which is smaller: z or 485?
z
Let z = 1714/15 + -2453/30. Let p = -1/9 + 13/36. Which is smaller: p or z?
p
Let t = 73735 - 50950857/691. Which is bigger: 0 or t?
t
Suppose -80473 - 9071 = 58*r + 65316. Which is smaller: -2669 or r?
r
Let o = 55722 + -843185305/15132. Which is greater: 1 or o?
1
Let w = -7 - -4. Let m be 1 + w/3*-1. Suppose 116 = -2200*x + 2142*x. Is x smaller than m?
True
Suppose y + 5*l = l - 20, 4*y - 10 = 2*l. Which is smaller: 35/122 or y?
y
Suppose 5*a + 13 + 7 = 4*x, 3*x = 3*a + 15. Suppose 5*t + y + a*y + 36 = 0, 12 = -t + y. Let k(v) = -v**2 - 4*v + 31. Let q be k(t). Is 13 bigger than q?
True
Suppose 3*g + f + 694 = 0, -3*g = -3*f + 1055 - 341. Let p = -232 - g. Is p greater than -2/131?
True
Let p = 4.29 + 34.71. Let m = 38.97 - p. Which is smaller: -1 or m?
-1
Let t be 7/(-14)*136/3298. Is t greater than 6/55?
False
Let k = -20372 - -17711. Which is greater: k or -2662?
k
Suppose -4*t - 6 = -2*a, -t + 2*a - 3 + 0 = 0. Which is greater: -9/68 or t?
-9/68
Let m(g) = -12*g**3 - 2*g**2 + 2. Let r be m(-2). Suppose -2*x + 137 = -5*x + h, 2*h = 2*x + r. Let q = 73 + x. Which is bigger: 28 or q?
28
Let p be (5/(-35))/((-2)/16 + (-24)/(-448)). Is -1973 less than p?
True
Let i(d) = d + 12. Let g be i(-8). Let n(o) = -19*o - 17. Let p be n(-1). Suppose 3*t - 4*b + p*b = 2, 0 = -g*t + b - 4. Which is smaller: t or -22/9?
-22/9
Suppose z = -5*a, -a = 2*z - 7*z - 26. Let d(k) = -k**2 - 16*k - 66. Let g be d(-7). Which is smaller: z or g?
z
Let b = 10.3 - 67.3. Let n = b - -61.6. Let s = -0.4 - n. Which is bigger: -4 or s?
-4
Let a(i) = i**2 - 9*i - 27. Let v be a(-3). Let f be 3 + 1*129*3/v. Which is smaller: 44 or f?
44
Let p(x) = x**3 - 8*x**2 + 16*x - 1. Let l be p(5). Let u be 1*(-4)/10*(l - -131). Are u and -54 equal?
True
Let k(u) = -2*u**3 + 19*u**2 - 25*u + 54. Let t be k(8). Is t less than 0.05?
False
Let r = -0.2 - -0.1. Let q = 104 + -94. Suppose -32 = -3*x + 4*k, 0 = x + 2*k - 4 - q. Are r and x equal?
False
Suppose 156 = 4*h + 5*b, -3*b + 47 = 5*h - 148. Suppose h = x + 158. Let n = -120 - x. Which is bigger: n or -9?
n
Suppose 1230 = -5*u - 5*w, -67*u - 4*w = -70*u - 766. Which is greater: -237 or u?
-237
Let y = 27 - 70. Let v = y - -45. Let d be (8 - v)/(-6) + 1 + -11. Is -10 smaller than d?
False
Suppose 9*b = -0*b + 378. Suppose -9*m + 15 - b = 0. Which is smaller: m or 0?
m
Let c = 27 - 26. Let k be c/((18/(-3))/6). Which is smaller: 2/63 or k?
k
Let y = -23.149 - -23.549. Which is bigger: -2670 or y?
y
Let r = -1 - -1. Let l = -20/588169 + 17164537067/33525633. Let c = l + -512. Are c and r equal?
False
Suppose -20*l + 23*l = 48. Suppose l*c + 18 = 50. Suppose 0 = 7*p - c*p - 5. Which is smaller: p or -0.34?
-0.34
Let m be 216/6*(-1)/(-2). Let d be 3 - (m/63)/((-8)/(-98)). Is -27 greater than d?
False
Let j = -17.48 + 0.08. Which is bigger: j or -0.8?
-0.8
Let t(d) = d**3 + 20*d**2 + 34*d + 276. Let l be t(-19). Suppose -a - 2*a - 24 = 0. Which is smaller: l or a?
l
Let m = 25263 + -25263. Which is greater: -2/30009 or m?
m
Let v = 117 - 323. Let l = v - -210. Which is bigger: 0.2 or l?
l
Suppose 385 = -16*c + 21*c. Suppose -8*z = -7*z + c. Are z and -80 non-equal?
True
Let c = 906.209 - 906. Which is smaller: -3 or c?
-3
Suppose -506*c = -499*c + 3521. Is c at least -502?
False
Suppose -4*b = -h - 802, 0 = 4*h - 3*b - 2*b + 3153. Let z = -755 - h. Do z and 1 have the same value?
False
Let n be (-109080)/1095446 + 2/34. Does n = 0?
False
Let y = -1321 + 1662. Which is smaller: 348 or y?
y
Let j = 95 + -77. Let o = 0.86 - 0.66. Is o at most as big as j?
True
Let j = -308 - -302. Let f = -5 - -8. Let n be 2*f/j*(-4 - -40). Is -36 smaller than n?
False
Let o be 8 + (19860/(-234))/10. Let f = o + 1010/1833. Is 0 less than f?
True
Suppose h - 7265 = -4*d - 20594, d + 3342 = 3*h. Which is bigger: -3332 or d?
-3332
Let z = 2567 + -5529. Let h be z/2966 + 0 + (-55)/(-55). Which is smaller: h or -1?
-1
Let s(n) = -n**3 - 62*n**2 - 4*n - 133. Let i be s(-62). Is 113 greater than or equal to i?
False
Let i = 451 - 504. Let x = -100 - i. Is x greater than 1/6?
False
Let n = 3364/12133 + -5/1103. Which is bigger: -3 or n?
n
Let p = 5573 - 5584. Let u be 6/(-4) + (-1)/2. Let o(f) = f**3 + 3*f**2 + 3*f + 3. Let k be o(u). Which is bigger: p or k?
k
Let q = -0.488 - -42.488. Let g = -42 + q. Which is smaller: g or -123/2?
-123/2
Let y(p) = -2*p**2 - 40*p - 29. Let l be y(-19). Let b be l - 12 - 9/((-18)/(-40)). Is b equal to -26?
False
Let r be 7/14 + 1360/(-2756). Are r and 1 non-equal?
True
Suppose -5*f + k = -13 + 5, -50*f + 53 = -k. Which is bigger: f or 167/87?
167/87
Let g(z) = -z**2 - 38*z - 333. Let s be g(-18). Suppose 2*m = -u + 58, -u - 92 = m - 4*m. Which is greater: m or s?
m
Suppose -3*m = 2*j + 12, 5*j = 4*j + 3*m + 12. Let a be 140/175*15/21. Is a > j?
True
Let m = 5402 + -5461.98. Let b = -0.02 + m. Let i = b - -59. Which is greater: i or 1?
1
Let p(j) = -3*j - 65. Let x = 8 - 30. Let l be p(x). Is l smaller than 1.11?
True
Let z = 3070 + -5414. Do z and -2344 have different values?
False
Suppose a - 4*w = 9, -5*a - 14 = -3*w - 42. Suppose -7 = a*f - 12. Is -5 < f?
True
Suppose 4*x - 2*f = -0 + 2, 2*x + 9 = 3*f. Suppose 73 = x*i + 5*d, -d = -i + d + 6. Let k be 2/i*-1 + 1560/(-320). Is k > -5?
False
Let z = -3/20 - -509/2860. Is -1 equal to z?
False
Suppose 2*c = -5*t - c + 102, 3*t - 66 = -3*c. Suppose t*a + 60 = 14*a. Let r be 0*5/a*1. Which is greater: 1/8 or r?
1/8
Let s be (-1 + -3*10/45)*-6. Suppose -9*g + z = -5*g - 31, -g + z = -s. Which is greater: g or 11?
11
Let r = 0.09 + -3.09. Suppose -4*v = -4*z - 96, -24*z - 2*v = -23*z + 33. Do r and z have the same value?
False
Let w be -3 - (-267)/12 - 3/(-4). Suppose 18 = -19*z - w. Let y be 3/z + -7 + (-54)/12. Does y = 0.2?
False
Let x(d) = -d**2 + 40*d - 48. Suppose -16 = -5*r - 3*p + 81, 2*p + 102 = 5*r. Let t be x(r). Is 352 > t?
False
Let s = -752993/11 + 804658/11. Let x = -4705 + s. Which is smaller: -8 or x?
x
Let l = -19 + -27. Let o be l/(-2) - (4 + -5). Let t = 848 + -824. Is t at most as big as o?
True
Let d be 36/(-65) + 4/10. Let p = -904804 + 18992632/21. Let v = 393 + p. Is v > d?
True
Let x(s) = 2*s**2 + 122*s - 6847. Let p be x(71). Which is greater: p or 11896?
p
Let y(a) = a**2 + 3*a. Let g be 2/(-14) + (108/28)/(-1). Let b be y(g). Let s be 4/(0 - b) + 0. Is s at most as big as -3/11?
True
Let i = -192 + 123. Let l = i + 41. Are l and -30 equal?
False
Let n(y) = 105*y**2 - 15*y - 21. Let c be n(-2). Is c smaller than 431?
True
Suppose -6*l - 3 + 15 = 0. Let m = -472 + 407. Which is bigger: l or m?
l
Let y = 66.922 + 0.078. Let a = 2138.9 + -2206. Let g = a + y. Which is smaller: 22 or g?
g
Let i = -6.1 - -11.7. Let k = 32.4 + i. Let t = k - 39. Does t = 61?
False
Let d(i) = -2*i**2 + 29*i - 23. Let z(m) = m**2 + 2*m + 1. Let y(q) = d(q) + z(q). Let g be y(20). Does 197 = g?
False
Let v be -6 + (10224/717 - 0)*(-1078)/(-2562). Which is bigger: 1 or v?
1
Let h = 3511 + -3647. Let u be 3*(2 + 140/(-3)). Which is smaller: h or u?
h
Let c be 180/(-54)*18/15. Let q be c/(-22) - 224/22. Are 1/8 and q unequal?
True
Suppose 282*x = 284*x + 6. Let s be 1*(x - 1) - (6 + -17). Which is smaller: s or 94/15?
94/15
Let x = 6 + -4. Let f(m) = -6*m + 10*m - m**x + 6 - 2*m. Let v be f(-3). Is -10 at most v?
True
Suppose -2*z - 8 = w, 2*w = -5*z + 3 - 21. Which is greater: -6/13 or w?
-6/13
Suppose 0 = -u - 2. Suppose 130 = -3*n + 127. Let g be ((-316)/(-364) + n)/(4/28). Do g and u have different values?
True
Let c be (-2 + -4 + 1)/(1/(-4)). Suppose 81 = -c*i + 381. Which is smaller: i or 61/4?
i
Let s be 6/(-9) - (10528/714 + -13). Is s at least -3?
True
Let s(g) = -2*g**2 - 12*g + 12. Let k be s(-8). Suppose -w = -2*t - 0*t - 39, -5*t - 85 = -5*w. Let d be k/(-40) + t/(-4). Is 6 greater than d?
False
Let j = 457 - -77. Let m be ((-1360)/(-2430))/(j/45). Let g = -2/89 + m. Is g less than or equal to -2?
False
Let x = 5084 + -5083. Which is smaller: 0.713 or