ler: r or -6?
-6
Let i be (-3 + (-5)/(-2))*25/((-650)/(-52)). Let s = -0.11 + -3.39. Are s and i unequal?
True
Suppose 3*c + 14 + 13 = 0. Let d = -572/61 - 213/244. Which is bigger: d or c?
c
Let g be 83893/172 + 49/(-28) + 0. Which is smaller: g or 491?
g
Suppose 2*z + 0 - 8 = 0. Suppose 5*s = -1286 + 1371. Suppose 5*l = z*k - 21, 0*k - 4*k = -l - s. Which is smaller: l or 1/126?
l
Suppose 2*s + 2 - 4 = c, -4 = 3*s - 5*c. Let r be (15/5 + -5)*s. Let z be (4 + (-81)/20)/((-2)/r). Is z equal to -1?
False
Let o be 382992/(-151110) - (1 + -3). Let x be 10078/(-3358) + (-13 + -2)/(-5). Let v = o - x. Is -2 != v?
True
Let p = 1627/2 - 3329/4. Which is bigger: 1/6 or p?
1/6
Let p = -10.244 + 10.2. Let b = -0.726 + p. Let l = b - -13.77. Is 2/9 bigger than l?
False
Suppose 186 = -3*j + 162, -3*j + 132 = -m. Which is smaller: m or -2012/13?
m
Let z be (-992)/168 + 4/6. Let w = 9292 + -9297. Which is greater: z or w?
w
Let g = 8737 + -8737. Is -1395 less than g?
True
Let a(p) = 2*p + p**2 - 2*p**2 + 5975 - 3*p**3 - 5967. Let z be a(5). Do z and -383 have the same value?
False
Suppose 75 = -16*s + 11*s. Let c be (1 + 0)/((-5)/s*-2121). Is 1 at most c?
False
Let s = -2952 - -3136. Do 733/4 and s have the same value?
False
Let w = -4662 - -4130. Which is bigger: 14 or w?
14
Suppose 9*t = 2611 - 2602. Let s = 32 - 51. Let f be 2 + -3 - 23/s. Which is greater: f or t?
t
Let g = -3928.138 + 3928. Is g at most as big as 32?
True
Let o(a) = -9*a**2 - 467*a + 53. Let m be o(-52). Does m = 88/241?
False
Let j be (-1)/(-5 + 445/(-4)). Let t = j + 1538/1395. Is t equal to 2?
False
Let w(o) = -222*o - 25. Let q be w(7). Let m = q + 2529. Let y be (80/m)/(2/(-5)). Is y less than or equal to 0?
True
Let r(j) = -6*j**3 + 2*j**2 - 4*j + 3. Let d be r(2). Let p(o) = -2*o**2 - 45*o - 262. Let n be (91/(-39) - -2)*(-42)/(-2). Let u be p(n). Is d smaller than u?
False
Let f = -2029/9 + 677/3. Let p = 11.5 - 9. Let d = p - 0.5. Is f != d?
True
Let x = 13530 + -148835/11. Let g(v) = v + 2. Let u be g(-3). Which is greater: u or x?
x
Let x be (-1)/(-18)*(-120)/156. Suppose -a + 29*a = -18*a + 5*a. Which is smaller: x or a?
x
Let r = 22561/12 - 1878. Let m(t) = -t**3 + 8*t**2 - t - 41. Let z be m(7). Which is smaller: z or r?
z
Let h be 13224/152082 + (-4)/42. Which is bigger: -1 or h?
h
Suppose 0 = 442*o - 92731 - 7161. Which is greater: o or 222?
o
Suppose -n + 31 = -g - 49, 0 = 4*g + 16. Let s be 3 + 5/((-140)/n). Let i = -341.2 - -341. Which is smaller: s or i?
i
Let g = -0.52225 - 0.07775. Is 286 at most g?
False
Let a be (-5 + 2617)*(-216)/96. Is -5877 smaller than a?
False
Let p = 197819/64 - 3091. Let b be 30/285 + (-4)/38. Is b bigger than p?
True
Suppose -5*n + 603 = 5*g - 132, 4*n = -2*g + 294. Is g not equal to 155?
True
Suppose z - 27 = 6*z + 4*n, -2*n - 9 = z. Let u be 24/(-8) - ((-85)/15 - z). Is -2 < u?
True
Suppose -2*f = -4*f, -3*f = 3*v + 165. Let w be 1539/38*(-4)/3. Is w greater than v?
True
Suppose 0 = -5*u - 3*y - 1785, -3*y + 106 - 1171 = 3*u. Let o = -375 - u. Suppose -41 = 3*c - 0*c - 2*m, -77 = 5*c + m. Is c less than or equal to o?
True
Let l be (-4)/16 + (-86)/8 + 1. Let g(h) = -h**2 - 23*h + 10. Let f be g(l). Suppose 9*y + 401 = f. Is y greater than or equal to -30?
True
Let g(x) = 7*x**2 + 293*x + 2046. Let r be g(-33). Let i be 0 + (-3)/(189/69). Which is smaller: r or i?
i
Let l = 3.3 + -3. Let c = 209.94 - 211. Let m = c + 0.06. Which is bigger: m or l?
l
Let i be 2/2 - (0 + 0). Let y(f) = -6*f + 2*f**2 - f**2 + 4*f - 4 - 2 + f. Let q be y(3). Do i and q have the same value?
False
Let s be (575/3)/1*(-39)/(208/16). Which is bigger: s or -580?
s
Let c be (2 - -9) + 54/486*31*-3. Let s = 1729/16 - 108. Which is smaller: c or s?
s
Let f = -31999 - -1567957/49. Let t = 4.9 - -2. Let x = t + -7. Is f at least as big as x?
True
Let o(a) = -18*a + 15. Let l = -113 + 110. Let r be o(l). Suppose -5*p = -10*p + 345. Are p and r non-equal?
False
Let l(s) = -s**3 - 4*s**2 + 28*s + 5. Let k be l(-10). Let m = -560 + k. Which is smaller: -236 or m?
-236
Let b be 920/(-105) + (-5 + 7 - -2). Let o = b + 29/6. Which is smaller: o or -4?
-4
Suppose -21835 + 90643 = -34*q - 13*q. Is -13186/9 < q?
True
Let x = 1/2 - 1. Let c(y) = 346*y + 2218. Let a be c(-6). Is a greater than x?
True
Let k = 175 - 172. Let x = -66 - -38. Which is bigger: x or k?
k
Let r = 16478 + -82388/5. Is 0.827 not equal to r?
True
Let k(f) = -9*f**2 + 5*f + 780. Let w be k(-37). Which is smaller: w or -11727?
-11727
Suppose -18*z + l = -13*z, z = -l. Let a be z + 294/15 - (-162)/(-270). Which is smaller: 11 or a?
11
Let z(p) = -6*p + 33. Let x be z(6). Let b be x + -2 + (30/9 - -2). Which is bigger: b or -273?
b
Let q be (-322)/(-140) - 5/2. Is q greater than -2/7?
True
Let w = -5/10728 - -11886679/118008. Is w greater than or equal to 100?
True
Let j = -38/47 - -7907/9024. Is 1 < j?
False
Let z = -116 + 130. Suppose -z*x + 210 = -20*x. Let h be 84/(-9) + x/21. Is h >= 4?
False
Let o = -34 + 36. Suppose -93 = -w - o*w. Suppose -5*a - 23 = -z, -z = -4*a + 10 - w. Which is bigger: 15 or z?
15
Let p be 6/4*(12928/(-2152) + 6). Let l = p - -1091/1345. Let b = 53 - 51. Is l at most b?
True
Let m(b) = b**2 - 4*b + 3. Let f be m(0). Suppose 0 = -x + 5*c - 16, 220 = -5*x - 0*c - f*c. Let l be (0 - (1 - 2))*-42. Which is bigger: l or x?
x
Let t = 832.1454 - 0.1454. Let g = -834 + t. Is 59 not equal to g?
True
Let m = 149.084479 + -0.175479. Let l = -149 + m. Let x = l - 0.309. Is x != -14?
True
Let d(o) = -o**2 + 6*o + 8. Let l be d(7). Suppose 3*b + 11 = 50. Suppose -6*j - b = -31. Is j < l?
False
Let i be 1 - 1 - 399/7. Let c = i - -61. Suppose -2*q = 6 - c. Is q < -7/10?
True
Let t = -57/35 + 6/5. Suppose -5*p + f - 38 = -3*f, -p + f - 7 = 0. Let z be (-5)/p*(-10)/(-8). Which is smaller: t or z?
t
Let u = 1 - -4. Suppose -y - 2*n = -9, -3*y = -3*n - 2 - 7. Suppose 7 = -4*r + y*j - 8, 0 = -3*r + u*j - 15. Is 2/51 != r?
True
Let y = 1516 - 1864. Which is greater: y or 2?
2
Let z = 35488 - 35489. Which is smaller: z or -1809?
-1809
Let z(v) = v - 4. Let o be z(4). Let p be 5/9 + ((-980)/1890 - 4/(-54)). Which is greater: p or o?
p
Let b be (9 - 733)*(-9)/18. Is b bigger than -3?
True
Let p be ((-4)/6)/((-93)/10602). Is 75 equal to p?
False
Let z(p) = -64*p + 3053. Let v be z(137). Is 0.2 greater than or equal to v?
True
Let s = -8551/11476 + 5/604. Suppose 14 = -90*v + 83*v. Which is greater: s or v?
s
Suppose 0 = -5*d - 2*i + 306, -4*d + 93 = -5*i - 165. Suppose 3*p + d + 484 = 0. Is -181 != p?
True
Let r = 843587/224 - 3766. Let l be 2/28*-4 - 8/(-28). Is l at most as big as r?
True
Let t = 21229/100 - 637/3. Is t smaller than 0?
True
Let t = 212 - 89. Suppose -3*v + 2*v + 111 = 3*i, -i + 488 = 4*v. Do v and t have different values?
False
Let x = 37161 + -37169. Is 1901 at least x?
True
Let w(x) = 10*x**2 - 729*x + 6507. Let o be w(62). Suppose 81 = -3*y - 669. Which is smaller: o or y?
o
Suppose 127*u - 8 = 125*u. Suppose t + 3 = 0, -u*k + 5*t = 72 + 53. Which is bigger: -1 or k?
-1
Let q(y) = -11*y + 8. Let p be q(14). Let o = p + 49. Is -97 less than o?
False
Let k be 1*(135/105 + 2/(-7)). Let r be (-6 + 11 + -5)*k. Is 1/306 equal to r?
False
Suppose -22*q + 7154 = 2656 - 12750. Which is smaller: 783 or q?
783
Let n = -45.6 + -98.2. Let f = n - -145. Let z = f + 1.8. Is z at least -14?
True
Let c be (-2 - -4)/(-1*(-8)/(-948)). Let m(f) = f + 4. Let s be m(-5). Let g be 3 - s/(78/c). Does -1 = g?
False
Let v = -26 + 26. Suppose 4*i - 7 - 5 = v. Let m be (-1)/i*(-45)/(-480). Is m at most 1?
True
Let j = 1.106 + 0.484. Let c = j - 0.28. Which is greater: c or -1?
c
Let w be (-2 - (-3)/2)*8. Let d(x) = x**3 + 5*x**2 - 2*x. Let h be d(w). Let v be 17 + 1 + (-108)/(-18). Is v bigger than h?
False
Suppose -7 = -5*f + 8. Let d be 287/(-7) - f/(-1). Let k = -40 - d. Which is greater: k or -3?
k
Let i(q) = q**3 - 10*q**2 + 287*q - 2164. Let b be i(8). Let w = 0.41 - -0.27. Let v = w - 0.08. Which is bigger: v or b?
b
Let u be 1 - (-2 + -1 + 3). Let b be 1/(0 - u/2). Let q(i) = i**3 - 13*i**2 + 12*i + 2. Let w be q(12). Is b not equal to w?
True
Let n(q) = -q**3 + 8*q**2 + 102*q + 44. Let k be n(15). Let j be (-4 + 2)*1/316. Which is bigger: j or k?
j
Let f = -32579 + 32686. Which is greater: f or -