-10)). Is j bigger than 0?
False
Let v = 2 + 0. Suppose -v*j + 10 = 4. Let q be -2 - (-4 - 0/j). Is q != 3?
True
Let g be 11/(-55)*15/6. Which is greater: 2 or g?
2
Let k(v) = -v. Let p be k(-1). Let u(b) = -p - 5*b**3 + 2*b + 0*b**3 + 6*b**3. Let i be u(2). Is 10 at least i?
False
Suppose -2*k - 10 = -4. Let f be -1 + -36 + k + 2. Let u be (f/(-8))/(3/12). Which is bigger: u or 20?
20
Suppose -41 = -46*l + 45*l. Suppose 0 = -2*i + 119 - l. Which is greater: -0.2 or i?
i
Let x = 4 - 3. Let d = 63147/260 + -3262/13. Let p = 37/4 + d. Which is smaller: p or x?
x
Let n be 4/(-50)*(-23572)/24. Let g = n + -393/5. Which is smaller: g or 1?
g
Let t = -0.1243 + 1.1243. Which is smaller: t or -3/10?
-3/10
Let y = 20 - 17. Suppose k + y*k - 2*v = -20, -4*k - 2*v = 12. Let a be (-115)/(-35) + k/14. Which is bigger: a or 5/2?
a
Let c be (-12)/(-2) - -10*(-1)/2. Is -1/22 smaller than c?
True
Let r(t) = -t**3 + 9*t**2 + 3*t - 7. Let c be r(9). Suppose 3*k + 20 = -5*w + k, 5*w + 5*k = -c. Suppose 0 = 9*n - 10*n. Which is smaller: n or w?
w
Let u = 9240448 - 22565173583/2442. Let c = 1/222 + u. Let f = 1 + -1. Do f and c have different values?
True
Let s = -86 - -601/7. Let h(o) = -6 - 6 + 2*o + 5*o - 6*o. Let g be h(12). Is s less than or equal to g?
True
Suppose 2*t + 2*t - 3*x = -44, 5*x + 62 = -3*t. Let l = 14 + t. Does l = 2/11?
False
Let m = -1.8 + 2. Suppose 0*l - 2*l - 3*l = 0. Suppose -4*k - 5 + 33 = -2*y, 2*y + 8 = l. Which is smaller: k or m?
m
Let q = 272 - 269. Let y = 17 + -32. Let s be 10/8*q/y. Which is smaller: s or 0?
s
Let o(i) = -27*i + 162. Let w be o(6). Is w bigger than -10/27?
True
Let q be 1/(4 - (-9)/(-2)). Let x = 3 + -31/7. Are q and x equal?
False
Let z = 67535/9426 - -3/1571. Which is greater: 8 or z?
8
Let r(t) = 8*t**2 - 3*t - 2. Let w be r(-1). Let h be 11/9 - 2/w. Suppose n + 0*n - h = -4*s, 3*s = 0. Which is bigger: 0 or n?
n
Suppose -371*c = -375*c. Which is greater: c or -1/20?
c
Let k = -193 + 202. Which is smaller: k or 5?
5
Suppose -30 = 5*k + 5. Suppose 5*i - 15 = -2*x - 0*x, 0 = 5*i + 3*x - 10. Let u = k + i. Which is smaller: -4/3 or u?
u
Suppose 36*d + 501 = -22*d + 95. Let c = -1583 + 7886/5. Is c less than d?
False
Suppose 6*j = 3*j. Let a = -32 - -73. Let q = 39 - a. Is j less than q?
False
Suppose -15 = -2*l - 2*g - g, -15 = -3*l - 3*g. Let y = -1/174 - -311/3654. Let k = y - 2/9. Which is greater: k or l?
l
Let n be (-1727)/(-44) - 1/(-4). Let i = 39 - n. Is -1 at most i?
True
Let b(d) = d**3 + d**2 + d + 4. Let t be 1*(0 - -3 - 3). Let n be b(t). Let r = -13 + n. Is r smaller than -9?
False
Let t(v) = 3*v + 8*v + v**2 + v + 7 - 5*v. Let w be t(-4). Which is smaller: w or -1?
w
Let g = -197 - -789/4. Are g and -1.8 non-equal?
True
Let u be (-14)/(-63) - ((-2265)/378 + 5). Is 2 not equal to u?
True
Suppose 5*h - 20 = 4*y, -6*h + 16 = -2*h + y. Let i = 4 + -2. Which is smaller: h or i?
i
Let o be (14/50)/(156/65). Do -1 and o have different values?
True
Let p = 48 - 42. Suppose -3 = 3*f - p. Which is smaller: f or 15?
f
Let w = -235.3 - -222. Which is smaller: 0.1 or w?
w
Suppose -4*r - 2*u = 12, -2*r = 3*r + u + 15. Let c be (0*(-2 - -1))/((-11)/11). Which is greater: c or r?
c
Let n be (1241/(-365))/((-2)/(-10)). Which is greater: n or -3/25?
-3/25
Let u(t) = 8 - 2*t + 7 + 0. Let q be u(8). Let m be 48/(-190) - 4/(-20). Are m and q unequal?
True
Let l = 32 + -30. Suppose -l*z - 10 = -2*s, z - 11 = -4*z - 4*s. Is -4/15 equal to z?
False
Let j be (-111283)/38*(-1)/12. Let f = 244 - j. Let x = -2 + 1. Which is greater: f or x?
f
Let a = -489 - -300. Is a less than or equal to -187?
True
Let o(m) = -2*m**2 - 30*m - 197. Let x be o(-15). Is -197 smaller than x?
False
Let r = -1551 - -2067. Do r and -2 have the same value?
False
Let f(u) = -u**2 - u - 1. Let p(n) = 16*n**2 - 5*n - 3. Let h(r) = -3*f(r) + p(r). Let j be h(-1). Suppose 4*l = -3*l - j. Which is greater: l or -15/7?
-15/7
Let c = 10.2 - 10.1. Let o = -23 - -35. Which is bigger: c or o?
o
Let j be 4/(-20) + 1/((-680)/(-126)). Let c = j + 13/17. Are c and 3 non-equal?
True
Let s(p) = 14*p**2 - 3*p - 4. Let u be s(-1). Suppose 2*y - 4*y = 3*k - u, -3*y = -2*k. Is y > -1/4?
True
Let q = 0.0585 + 1.9415. Is 15 less than q?
False
Let y(t) = -84*t - 582. Let i be y(-7). Is -1/32 greater than or equal to i?
False
Suppose -a - 13 = -3*z, a - 16 = 3*a - 4*z. Suppose 5*l + 5 = 0, 0*o + a*l + 21 = -o. Is o less than -21?
False
Let v be (-3 - (-36)/16)*-4. Let h be (-27)/(v + 9/(-2)). Suppose -3*m - 2*l - h = -7, 0 = 4*m + 5*l + 17. Do -4 and m have the same value?
False
Suppose -5*v + 9 = -f - 7, 0 = -3*v + 5*f + 14. Let q be v + -8 + (5 - 1). Which is bigger: q or 4/15?
4/15
Let p = -49 - -40. Let o be (-1)/(-8) + p/(-24). Suppose -2*n + 2 = -2. Is o < n?
True
Let k be 14*(-2)/(-16) + 20/80. Suppose k*r = 3*o - 14 - 13, -18 = -2*o - 4*r. Which is greater: o or 11?
11
Let g be (-105)/(-245) - (276/7 - 2). Is g != -33?
True
Suppose -4*x - 3 = -x. Let n be x + -1 + 5 + 126/(-33). Which is smaller: n or -1?
-1
Suppose 13*m - 966 = 1114. Let l = m + -111. Is 1/4 at least l?
False
Let o be (-2)/(-6) + (44/36)/(-1). Which is smaller: o or 0?
o
Let n = 353 - 341. Which is greater: n or 9/5?
n
Suppose -3*b - 3 = -2*i, -b + 0 = -1. Which is bigger: i or 40/23?
i
Let v = 15352/76137 - 25/123. Which is smaller: v or 1?
v
Let j(s) = 7*s**3 - 44*s**2 + 11*s + 3. Let d be j(6). Which is bigger: 1/2 or d?
1/2
Suppose d + 19 = 2*u, -3*d - 33 = -4*u - 6*d. Which is smaller: u or 76/9?
76/9
Let x(t) = t**2 - 10*t + 8. Let o be x(6). Let j(g) = g**2 + 18*g + 25. Let k be j(o). Let q(n) = -7*n**2 + n. Let w be q(-1). Which is smaller: w or k?
w
Let v = -3 + 3.06. Let c = 259 - 262. Which is smaller: c or v?
c
Suppose 0 = j - 27 + 28, -70 = 5*p + 5*j. Let q(o) = -o**3 + 10*o**2 - o - 2. Suppose 3*z - 34 = -4. Let w be q(z). Which is smaller: p or w?
p
Let s = 2385 + -1602. Which is smaller: s or 782?
782
Let k(r) = r**2 - 2*r + 48. Let q be k(0). Let c = 47 - q. Which is bigger: c or 3/8?
3/8
Let h = 1233 - 1249. Which is smaller: -21 or h?
-21
Let v = -2 + 80. Suppose -2*p = p + v. Let d be 1056/(-40) - -3*(-4)/(-30). Is d >= p?
True
Let n = 2 - 2. Let t = 100/17 + -2534/425. Which is smaller: n or t?
t
Let b be (-740)/75 + 4/(-30). Is b <= -10?
True
Let p = -4/45 + 61/180. Is p at most as big as 29?
True
Let w(c) = -70*c - 301. Let k be w(-8). Is k greater than 260?
False
Let n be (15 - 90)/15 + (-166)/(-34). Suppose 0 = -2*h - 11 - 1. Let w(k) = -k**2 - 7*k - 6. Let f be w(h). Which is smaller: f or n?
n
Suppose -5*m = -41 + 1. Let d be (7/(2205/(-14)))/(m/(-10)). Which is greater: d or 0?
d
Let h(p) = 25*p**2 - 4*p - 10*p**2 - 14 - 14*p**2. Let i be h(6). Let x(f) = -f**2 + 5*f - 3. Let y be x(3). Which is bigger: y or i?
y
Let p = 1771/8 - 221. Suppose -3*c = -5*a + 84, -21 = 4*c + 4*a + 91. Let k = c - -30. Is k smaller than p?
False
Let o = -563 - -564. Which is bigger: o or 40/21?
40/21
Let u be (14/(-10))/(4/(-20)). Let r be 0 + u/((-21)/18). Let f be 18/(-8) - r/8. Is f > -1?
False
Suppose -u - 2*h + 12 = -14, 2*u - 3*h - 31 = 0. Let a be (u/(-210))/((-1)/39). Is a greater than or equal to 5?
False
Let r = 313 - 380. Which is smaller: r or -72?
-72
Let f be 12/(-42) - (-191)/7. Let x be ((-1)/(-2) - f/18) + -1. Is -28/11 at most as big as x?
True
Let p(a) = 2*a - 3. Let k be p(3). Suppose 5*o + u = -4, o + 5*u - u - k = 0. Let r be ((-6)/(-2) - 3) + o. Is -1 <= r?
True
Suppose 2*c + 15*f - 17*f + 16 = 0, -3*c + 1 = 2*f. Let s = 1 + -2. Which is smaller: c or s?
c
Let g = 7.6 + -23.4. Let i = -0.025 - 1.775. Let l = i - g. Which is bigger: 1 or l?
l
Let h be 5/((-4)/(-12)*3). Suppose h*s = 7*s + 12. Let a = 2 - s. Is a != 8?
False
Let c be 3 - (-4)/(-4) - -61. Suppose c + 45 = -9*u. Is -11 equal to u?
False
Let x = -126 + 3905/31. Suppose -2*g + 3*j - 3 = 5, 0 = -4*j + 8. Which is smaller: x or g?
g
Suppose -5*y - 3*z = 45, 7 - 23 = 3*y + 4*z. Let c be ((-6)/4)/(-2*1/y). Do -12 and c have the same value?
False
Let y = -140.2 - -140. Which is smaller: y or -10?
-10
Let m be 2/6 + 120/18. Let k be ((-48)/(-28) + -2)/m. Is k at most as big as -1?
False
Let c(f) = 4*f**3 - f**2. Let y be c(1). Let h = 0 + y. Let v(s) = 2*s - 6. Let j be v(5). Is h bigger than j?
False
Let z b