e
Let c = 10.79 - -34.91. Let d = c - 36.7. Which is smaller: d or -1?
-1
Let p = 488 + -326. Suppose -5*f + f - 2*c = 128, -p = 5*f + 3*c. Which is smaller: f or -32?
-32
Let d(s) = -s**3 + 3*s**2 - 5*s - 18. Suppose -4*z - 66 = -15*z. Let h be d(z). Let y be h/980 - 3/(-15). Are y and -1 nonequal?
True
Let k be 13990/14 - (-6435)/429. Which is bigger: 1013 or k?
k
Let w = 2862 - 3402. Which is smaller: 2 or w?
w
Let y = 816 - 822.37. Let f = 3.63 - y. Which is bigger: f or -1/7?
f
Let a = -207 - -207.39. Let n = -2.39 + a. Which is smaller: n or -42?
-42
Let o be (2/2)/(((-6)/45)/(-2)). Let d be -102*(60/8)/o. Let f be -1 - -49*(1 + -2). Is f <= d?
False
Suppose 2*m + 5*a = -99, m = 2*m - 2*a + 36. Let q = -60 - m. Let o(c) = c**3 + 17*c**2 - 18*c - 1. Let h be o(q). Is -3/53 at least h?
True
Let k be (-6)/(-26) - (-945675)/(-4110600). Which is greater: k or 1?
1
Let r = -191568 - -740985017/3868. Let m = -138667/321044 + r. Let d = 2338/415 + m. Which is smaller: 5 or d?
5
Let r = 109.924 - -1.976. Let g = r - 108. Let k = 0 - g. Which is smaller: -2 or k?
k
Let t be 0 - ((-602)/74 - -8). Which is bigger: 3 or t?
3
Let g = -103.632 + 104. Let h be 16/(-70)*(1395/(-180) + 6). Which is smaller: h or g?
g
Let g be 1/(-2) - (-321)/(-6). Let c = g + 35. Is -20 at least c?
False
Suppose -2*m = -2*c - 118, -12*m + 16*m = 15*c + 940. Is c at most as big as 0?
True
Let b = 42686/15 + -2844. Let g = -1192/705 + b. Let c = 37/235 + g. Is c bigger than -0.3?
True
Let x(p) be the first derivative of -p**4/4 + 4*p**3/3 - p**2/2 + 11*p - 24. Let l be x(5). Let f = 23 + l. Which is greater: f or 5?
5
Let u be (7 - (-15)/(-2))*(-2)/(-3079). Is -1 at most u?
True
Suppose i + 3 + 6 = 0. Let a be 4/(-18) + 3/i. Is -1 at least a?
False
Let i be 2*4*5/((-60)/66). Let x be i/(-374) - (-11)/51. Let z = -33 + 19. Is x at least z?
True
Let m(z) = -z**3 + 10*z**2 + 16*z - 49. Let n be m(11). Suppose n = -20*c + 14*c. Is c > 1?
False
Suppose -z - 9 = -5*o, 3*o + 5*z + 9 = -8. Let p(f) = 2*f + 3. Let c be p(o). Let a be -1 - ((-5)/c - 0). Is a equal to 1.2?
False
Let x = 15408 + -107854/7. Which is greater: x or -0.537?
x
Let k be (36923/987)/((-4)/(-948)). Let u = -8866 + k. Which is smaller: 0 or u?
0
Let h(i) = 1575*i - 6259. Let w be h(4). Which is smaller: w or 1200/29?
w
Suppose -38*o = 4*s - 42*o - 29712, -10*s = 4*o - 74308. Which is smaller: s or 7428?
7428
Let s = -14586 - -14349. Let b be (-9)/2*(-158)/(-3). Are b and s nonequal?
False
Suppose -584*x + 1 = -5*d - 585*x, 0 = -5*d - 3*x - 13. Let y = 0.191 + 128.809. Is y less than d?
False
Let q(z) = 24*z + 141. Let w be q(-8). Let m be (119 - -1)*17/w. Let j(x) = -15*x + 4. Let f be j(3). Which is bigger: f or m?
m
Let l = -1 + 2. Let t = -4276.823 + 4277. Which is smaller: t or l?
t
Let l = -14210 + 14191. Let o be (-65)/25 - (-6 - -3). Which is smaller: l or o?
l
Let d(b) = -951*b**2 - 1. Let s be d(1). Let r = -27614680/28951 - -3738/1703. Let m = s - r. Which is greater: m or -0.2?
-0.2
Let y = 4505/37 - 69697003/572427. Do y and 1 have different values?
True
Suppose 5*t - 2*c = 5, -17*t - 28 = -14*t + 5*c. Which is greater: t or 16/879?
16/879
Let v be 18/30 - (-2)/5. Let h = -176 - -170. Let t be (h/9)/((-74)/(-3)). Which is bigger: v or t?
v
Suppose 0 = -3*m + 2180 - 797. Let l = m - 264. Suppose -10*q = -293 - l. Is 47 != q?
True
Let w = 1127 - 771. Let y = -333 + w. Which is smaller: 0 or y?
0
Suppose -4071*o + 279 = -4080*o. Which is smaller: o or -50?
-50
Suppose 17*f + 162 = -64*f. Do -641 and f have the same value?
False
Suppose 251 - 266 = -5*o. Let w be (-5)/(-60)*6 - o/14. Which is greater: w or -81?
w
Let b(a) = a**2 + 8*a + 20. Suppose 0 = -n - n + i - 6, 2*n = -4*i - 26. Let r be b(n). Suppose -5*w - 10 + r = 0. Is w smaller than 0?
True
Let o = 9137 + -6343. Let b = o + -131312/47. Suppose 0 = 5*g + 5*j, 5*j = -g - 5 + 1. Is g at most b?
False
Let z be 2 - 3 - 75/3. Let j be (-1 + -451)*z/104. Is j smaller than 114?
True
Let z = 152604 + -13276402/87. Do 2 and z have different values?
True
Let a = 9240 + -9239.66. Is -164 smaller than a?
True
Suppose 5*r + 13 = 2*i, -3*i - 19*r = -14*r - 7. Suppose -10*z + 6*z + i = 0, -2*q + 4*z = -8. Which is smaller: q or -62?
-62
Let g = -81 - -91. Suppose -g = -9*u - 10. Let p be 4*-1 - (-100)/36. Which is smaller: u or p?
p
Let p = 19591 + -19591. Is -28/43 < p?
True
Let i be -4 + 2004/(-6072)*-12. Which is greater: 1 or i?
1
Suppose -3*u - 47 = j, j + u - 6*u = -31. Suppose -44*z - 61*z - 19*z - 5084 = 0. Are z and j unequal?
False
Let z be (-36)/220 + (-5)/(-25). Let i = z + 49/165. Let f be ((-868)/(-72))/(-7) + (-6)/(-4). Which is smaller: f or i?
f
Suppose 9 = -3*h, -3*k - 2*h - h - 15 = 0. Suppose 3*s - 55 = -a, -188 = -a - 3*a + 4*s. Let l = a - k. Is l >= 50?
True
Suppose -286*l + 283*l - 3699 = 3*i, 2*l + 2463 = i. Are l and -1231 nonequal?
True
Let i(r) = r**2 - 25*r + 39. Let f be i(23). Which is greater: f or -119?
f
Let z = 1139812 + -14729296. Let u = 964826027/71 + z. Let h = u - -385. Do 1 and h have different values?
True
Let n(c) = 195*c - 1474. Let v be n(19). Which is smaller: v or 2232?
v
Let u(g) = -g**3 + g**2 + g. Let o be u(-1). Let z be (-850103)/561798 + (-56)/(-36). Is z <= o?
True
Let z = 228203/429266350 + -4/67601. Which is bigger: -1 or z?
z
Let c be ((-2)/(-24))/((-1294)/1228653). Are c and -79 equal?
False
Let t be (-2)/8 + (-2235)/20 - (-462)/154. Let v = 31 - 31.1. Is v greater than or equal to t?
True
Suppose 0*b - 11 = b - 5*t, -2*b + 4*t = 4. Let k be 2*7/(-8)*(b + 4). Let g be 2/k + 272/(-56). Is g smaller than -3?
True
Let g = -1472993/23 - -64021. Is -21 < g?
False
Suppose 625 = 14*b + 37. Suppose b*t - 10340 = -5*t. Is 220 less than or equal to t?
True
Let p(n) = -114*n + 1619. Let q be p(56). Is -4764 at least as big as q?
True
Let f be (99/5)/(-21 + 530/25). Which is smaller: 94 or f?
94
Suppose 0 = -2*y + 12 + 3202. Is y at least 1607?
True
Let g(r) = -17*r + 3. Let f be g(2). Let u be (-44)/(-154) + 844/(-14). Let k be -3*-4*155/u. Do f and k have different values?
False
Let o(u) = -7*u + 226. Let p be o(32). Let k be 34 - 40 - (p + -7). Is k smaller than 0.103?
True
Let g = 254021/12 + -60734/3. Which is greater: 925 or g?
925
Let l(w) = -w**3 + 10*w**2 - 4*w + 5. Let g be l(8). Let v = -81 - g. Let f be (-2)/v*-138 - (-2)/7. Is f at least as big as 0?
False
Let v = 0.43 + -0.4066. Let h = v - -79.5766. Let z = -80 + h. Which is smaller: -0.3 or z?
z
Let b = 2435.213 - 2501.2. Let h = b - 0.013. Which is smaller: 2 or h?
h
Suppose -3*m = 3*p + 2448, -1501 + 1481 = 5*m. Is -809 less than p?
False
Suppose 0 = -24*y + 56 + 352. Suppose -4*n - 14 - 3 = -r, -3*r - 5*n = y. Which is greater: -2/119 or r?
r
Suppose -5*d = -2*k + 6, -k = -d - 0*d. Let z be (d/(-4))/((-300)/16). Let c(b) = b**2 - 1. Let s be c(0). Is s <= z?
True
Let r = 21.6369 + -1.6369. Is 0.23 at least r?
False
Suppose -w - 4*w + 40 = 0. Suppose -w*h - 45 = 83. Is -17 smaller than h?
True
Let s be (-523)/15 - (-172)/(-1290). Suppose 0 = 2*a - 4*a - 42. Let l = a - s. Is l equal to 27/2?
False
Let n(b) = -13*b + 87. Let l be n(9). Let d be 2 + (2 - (-69)/l). Is -1/2 greater than d?
False
Suppose -4*m = 2*w + 4 + 4, -2*w = m - 4. Let i(l) = 17*l + 21. Let p(a) = 62*a + 85. Let d(h) = 11*i(h) - 3*p(h). Let n be d(w). Which is greater: n or -19?
-19
Suppose r - y = 116, -2*r + 3*r - 104 = 5*y. Let c = r + -59. Let i be (-3)/(-6) + (-54)/c. Is 6 at least as big as i?
True
Let d(v) = -2*v + 3*v + 84 - 83. Let i be d(0). Let k(q) = -12*q**2 - 2. Let x be k(i). Which is greater: x or -12?
-12
Let d = 255.5 + -328. Let h = d - -34.6. Is h greater than 0?
False
Suppose -2*b - 2*v = -2386, -5*b + 5*v + 751 = -5184. Let w = b - 3497/3. Which is greater: w or 25?
25
Suppose -c = 5*v - 89, 3*c - 4*v - 118 = 244. Let d be 0 + 2/(-16) - 165/(-40). Suppose -10*r + c = -d*r. Is r < 20?
True
Let i be (3/6)/((-2)/(-220)). Let m be 15016/9385 + 539/10. Is m at least i?
True
Let i(s) = -s**2 - 7*s - 6. Let v be i(-5). Let o = -461 - -466. Suppose o*a + v*a = 9. Is a != 1?
False
Let a be (0/2 - 12)/(-1). Let v(t) = 5*t - 119. Let k(y) = 5*y - 107. Let s(l) = 5*k(l) - 4*v(l). Let c be s(a). Is -3/10 at least as big as c?
False
Suppose -f = 3*p - 22, -p + 4*f 