2 + (-440979)/(-390) - (124/40)/31. Is f at most as big as 1134?
True
Let n be (-3)/(-30)*-2 + (-970893)/(-165). Is n greater than or equal to 5884?
True
Let i be (4/(-8) - -1)*8. Let l be 1/4*(-124)/(-6). Which is smaller: l or i?
i
Let v = 3/4 + -41/44. Suppose 7*c = 10*c + 6*c. Suppose c = -21*g + 25*g - 12. Are g and v non-equal?
True
Let j(b) = -440*b**2 + 3*b. Let g be j(1). Let u = -430 - g. Is u <= 51/8?
False
Let x = -3 + 3. Let m be (-15209)/4438 - 19080/(-5565). Which is smaller: m or x?
x
Let n = 22 - -18. Let l be (n/224)/(3/(-164)). Let w = l - -31/3. Is 2 > w?
True
Let y = -1544.239 - -1543. Which is greater: -2 or y?
y
Let a = -0.3016 - 9.6984. Is -117 equal to a?
False
Let d = 3936 - 3936.4. Which is smaller: d or -5/29?
d
Let r(a) = a**3 - 2*a - 3. Let o be r(5). Let c be (-765)/(-1351) - 64/o. Are c and 0 unequal?
True
Let p(q) = -q**2 - 6*q + 2. Suppose -3*i + 5*d - 8 = 0, 3*i - 5*d = -d - 10. Let w be p(i). Let x = 5088.9 - 5089. Is x greater than or equal to w?
False
Let z be (-2*(-3)/15)/(1/5). Suppose -2 + 10 = z*h. Suppose 2*k + 4*v = -3*k - 6, h*v - 4 = 0. Which is bigger: -5/3 or k?
-5/3
Let o(y) = -125*y - 6205. Let c be o(-51). Are 157 and c non-equal?
True
Let i = 743857046/184641 + -4/184641. Which is greater: 4029 or i?
4029
Let l = 106 - 72. Let x = 33 - l. Let p(o) = -2*o**2 + 5*o - 6. Let v be p(5). Is x smaller than v?
False
Let a be (-2993320)/(-199560) - 45/3. Is 1 at least a?
True
Let r be ((-3)/6)/(1/2). Let m = -1951803030753/940151843 - -6/15934777. Let d = m - -2076. Is r < d?
True
Let u(v) = v**2 - 13*v + 23. Let i be u(12). Suppose -7*x = i - 4. Which is bigger: 0 or x?
0
Let o be ((-545)/(-2))/1*(-8)/10. Let c = -249 - o. Which is smaller: -32 or c?
-32
Suppose 7*r = 2*r + 220. Suppose -r = -21*o + 103. Does o = 7?
True
Let w = -426 - -430. Suppose 837 = -w*n - 14*g + 11*g, -4*n = -3*g + 819. Is 1/3 greater than n?
True
Let y = 15.2 + -11. Let w = -3.56 + -0.14. Let n = w + y. Is 0 > n?
False
Let q = -1242.24 - -1275. Let r = q - 0.76. Which is smaller: r or 1/7?
1/7
Let w be ((-2)/(-9))/(3/27). Let s be (-72)/((-4)/8*1). Suppose -2*j + 2*x + s = x, -72 = -j - w*x. Which is smaller: j or 71?
71
Let a(f) = -188*f**3 + f**2 - 2*f. Let q be a(1). Is q > -26?
False
Suppose -4*u - 3*i = -1086, -4*u + 358 = 4*i - 730. Suppose 6*p + 0*p = u. Let o be (1 - 73)*(-15)/p. Is o >= 24?
True
Let c be 603134/(-9324) - 4/36. Let i = -26/37 + c. Which is greater: -66 or i?
i
Let j(b) = -4*b**2 + 32*b - 1. Let a be j(10). Let u = 239/3 + a. Which is bigger: u or -8/11?
-8/11
Let q = -3510 + 7471. Is q >= 0.1?
True
Let d = 1215/7 + -173. Let p = -198 + 354. Let y = p - 155. Which is bigger: y or d?
y
Suppose 2*y = 3*l - 2*l - 10, -4*l - 25 = 5*y. Suppose 5*m + 158 = -j + 2*m, l = -4*j - 5*m - 618. Does -151 = j?
False
Let q be (2/(-5))/(9/(-5)). Let x = 4722 + -4716. Is x bigger than q?
True
Suppose 0 = -5*b + 46 - 31. Suppose 0 = -b*c + 22 + 53. Let p = 22 - c. Is -3 less than p?
False
Let z be 56322/54 + (-2 - 0). Let y = z + -1040. Let k = 44.961 - -0.039. Which is smaller: k or y?
y
Let f be 14*1/2*(-322 - -19). Which is bigger: -2120 or f?
-2120
Let n be 348/630*359 - 10/(-105). Is n equal to 198?
False
Let m(p) = -6*p**2 + 37*p - 6. Let d be m(6). Which is smaller: d or -101/14?
-101/14
Let j = 2042 + -363475/178. Are -1 and j equal?
False
Let n = -8.5 + -13.5. Let x = n + 21. Let z = x - -1.2. Is z at least as big as -0.52?
True
Let h be ((-25)/15 - -2)/((-1)/15). Let s = 9 + h. Suppose -s*g - f + 5 = 0, 7*f + 14 = g + 3*f. Is g at least as big as 16/11?
True
Let j = 2461 - 966. Suppose -j = 7*l - 3539. Which is smaller: 293 or l?
l
Let o be (33 - (57 - 19)) + 250/109. Which is bigger: o or -2?
-2
Let o be (6/(-5))/((-9)/(-120)). Let c = -16815 + 16795. Which is greater: o or c?
o
Suppose 280 = 5*k + 4*g, -5*k + 5*g - 38 = -273. Let j = -363/7 + k. Suppose -2*v - 6 = -4*y, 2*v = 4*y - 7*y + 8. Which is bigger: v or j?
v
Suppose 0 = 2*f - 4*l - 24 - 16, -20 = 5*l. Let q = -246 + 241. Let o = q - f. Are -17 and o equal?
True
Let i = -435.06 + 435. Let d = -2.06 - i. Is -77 less than d?
True
Let x = -2009 - -2007. Let v = -15 + 11. Which is smaller: v or x?
v
Let j = 1761 - 1729. Which is greater: j or 77?
77
Let m = -22341923/1338 - -16698. Is 1 at least m?
True
Let c be (-14)/(-427) + (-1840)/305. Suppose f = u - 0*u - 1, -3*u + 43 = 5*f. Let i = 7 - u. Which is smaller: c or i?
c
Let h be 0 + 0 + -1 - (-374)/646. Let j = -1.0637 + 0.0637. Is h less than or equal to j?
False
Let w be ((6/(-7))/(-2))/(10 - 681208/68120). Is -3648 greater than w?
True
Let h be ((-7)/76)/((-15)/40) - 0. Let f = 104/475 - h. Let r be 20/(-10) - 3*-1. Which is bigger: r or f?
r
Let m = 4.02284 + -0.02284. Is m != -703?
True
Let o be (-1)/3 - 5/(-24). Let b = -51962 - -51962. Is b not equal to o?
True
Let r = -2/2405 + -2401/4810. Which is smaller: -1922 or r?
-1922
Let n = -1.98675 - 0.01325. Which is smaller: -0.0081 or n?
n
Suppose 0 = -5*q + 7 + 3, 5*q + 20 = 5*r. Let f(x) = -4*x + 26. Let j be f(r). Let i be 7/j*(4 - 10). Is -21 < i?
False
Let n(y) = -5*y + 0*y + 1 + 50*y**3 + 1 - 2*y**2 + 4*y. Suppose 0 = -5*w - 3*j - 4, -3*w - 16*j + 15*j = 0. Let i be n(w). Which is greater: i or 48?
i
Let b = 40606 + -40607. Which is smaller: 180/817 or b?
b
Let u(o) = 72*o**2 - 29*o. Let j be u(1). Is j not equal to 394/9?
True
Let m be -3 + 3 - (-2)/4*(-9 + 9). Which is smaller: m or 31/98?
m
Suppose -9*k = 4*w - 5*k, -5*k - 4 = w. Which is smaller: w or 57/356?
57/356
Let o(w) = w**3 - w**2 - 11*w + 5. Let n be o(6). Let q = n - 124. Is -45/7 at most q?
True
Let y = -324 - -329. Let d be y/35 + (68/14)/1. Is 38/7 >= d?
True
Suppose 5*i - 2*h + 98 = 0, -2*i - 3*i - 105 = 5*h. Let t = -3198 + 3217. Let o = i + t. Which is greater: o or -7?
o
Let g = -46.796 - -46.6. Let o = -0.196 - g. Which is greater: o or 4?
4
Let r = 64427/78 - 826. Let d be (-49 - (-11211)/222) + 3/(-2) + 0. Which is smaller: d or r?
r
Let t be -7*1837/(-77) + -10. Are 160 and t nonequal?
True
Let p = 5/6299 + -36715/6576156. Is 0 less than p?
False
Let v be 2/9 - (-19808716)/(-132660). Let w = 19/3015 + v. Let r = w + 149. Is r > -0.1?
True
Suppose -15*m + 12*m - 180 = 0. Let o be (-20)/m + 46/(-48). Does o = 0.4?
False
Let d = -712 + 1432. Let p = d - 1154. Is p less than -435?
False
Suppose 13 = 33*y + 13. Is -67/83 at most as big as y?
True
Let u be 3/7 + (-7)/(245/(-2120)). Let a be (-1 - -2)*(-2 - -61 - 0). Which is smaller: u or a?
a
Let d be (-141)/((-7 - 2263/14) + (-42)/49). Which is greater: 1 or d?
1
Let n = 24922 - 14007. Is n at most as big as 10915?
True
Let y(u) = -94*u - 1362. Let a be y(-12). Is a at most -232?
True
Suppose -23*p + 21*p = 10, 3*w + 4*p = -128. Let v(c) = -c**2 + c + 9. Let q be v(4). Let m be -38 - (-5 + (-12)/q). Which is smaller: m or w?
m
Suppose -15*n + 142 = 151 - 84. Which is smaller: n or 0.117?
0.117
Let s = -3894 - -7729/2. Let t be (-5)/9 - (-8)/24. Which is greater: t or s?
t
Let o be ((-5)/25)/(-8 + 88417/11053). Which is greater: o or 316?
316
Let a(d) = -5*d - 140. Let n be a(-28). Suppose n = 3*u + 5*r + 101, -6*u + u - 4*r - 151 = 0. Which is bigger: u or -19?
-19
Let x be 4/28 - 293708/(-28). Let o = x + -10470. Let h = o + -20. Is h less than 48?
True
Let j = -9.02 - -9. Let i = 98 - 111. Let h be (3 - i/(-4))/(25/40). Which is greater: h or j?
j
Let c = 4 + -2. Let f be c - (-3 - (-7 + 2)). Let k = -40177/49 + 820. Which is smaller: f or k?
f
Let h be 3/4*2*1100/(-825). Suppose -t + 12 = 3*t. Let q be t + (9 + -1)/h. Is q < 0?
True
Let h = -7641/2 + 3537. Do -284 and h have different values?
True
Let r(i) = -i**3 - 5*i**2 + 23*i - 12. Let n be r(-8). Let q be 3 + (-1 - (-1 - n))*12. Are q and -46 equal?
False
Suppose 2*u - 8 = -2*z, z + 2*u = -2 + 6. Suppose 0 = -0*y - z*y + 60. Suppose -y*f + 70 = -20*f. Is f bigger than -14?
False
Let h = 21759 + -21470. Is 291 greater than h?
True
Let x(t) = 289*t + 123. Let j be x(-1). Which is greater: j or -164?
-164
Suppose -17 = 2*h - 27. Suppose c + 10 = -4*c, h*d - 37 = c. Suppose -d*u = 3*u - 100. Do 8 and u have the same value?
False
Let v(a) = 2*a + 24. Let w be (1 - (0 + 1))/(-2). Let y be v(w). Let n be (-10)/22*y/10. Is n not equal to -2?
True
Suppose 6 = -0*z +