 and j equal?
False
Let q = 2.1 + -2. Let l be (-2)/(-12) + (-1)/(-4)*2. Is q at least l?
False
Suppose -12 = a + 3*z - z, -2*z - 20 = 5*a. Suppose -i - 4*i = -35. Suppose -2*v + 5 = 3*g, 2*g - v = -g - i. Are a and g equal?
False
Suppose 3*z + 5*p + 19 = 6*z, 2*p + 7 = z. Suppose -6 = 5*m - 4*r, z*r = 4*m + 1 + 3. Let s be (-1)/((1 + 1)/m). Which is bigger: -2/19 or s?
-2/19
Suppose 1 = -2*g + 11. Suppose f = -g*f. Is f greater than -14?
True
Let s(u) = u + 2. Let m be s(7). Suppose -34 = -2*a - 2*i, -4*i + 0 = -2*a + 10. Suppose 3*d + 9 = 3*l, 0 = 2*l + 5*d + m + a. Which is bigger: 2/7 or l?
2/7
Let k = 71 + -71. Is k bigger than 3/7?
False
Let a(s) be the third derivative of 0*s + 1/24*s**4 + 1/3*s**3 - 8*s**2 + 0. Let n be a(-4). Which is smaller: 0 or n?
n
Suppose -4*g - 190 = 3*u - 61, 5*u = 4*g - 183. Is u less than -40?
False
Let s = 10.569 + -11.27. Let d = s + 0.8. Which is greater: d or 1?
1
Let t = 0 + 6. Let g be ((-32)/(-12) + -2)*t. Suppose s + 0*s - g = 0. Is s greater than 4?
False
Let f(g) = 2*g + 2. Let p be f(-1). Suppose p = -j + 2*j. Is -1/37 less than j?
True
Let t = -18836/57 - -998/3. Which is smaller: 1 or t?
1
Let m be (-1*1)/(-2 - -3). Let x be m/16*6/(-2). Which is bigger: x or -1?
x
Let k be (4/(-10) - 76/(-80))/1. Let d = k - 4/5. Which is smaller: d or 0.6?
d
Let y be 342/2 - (1 - -2). Let c be y/32 + (-1)/4. Suppose -c*z = -4*z + 9. Is z >= -9?
True
Let v be 2/(76/36 - 2). Let q be -2 + 5 + v/(-4). Let a = q + -1/6. Which is smaller: -2 or a?
-2
Let r = 13 - 11. Let h = -122 - -122.01. Which is smaller: h or r?
h
Let f = 0.6 + -0.68. Let m = f + 0.08. Let q = m - -2. Is q equal to 5?
False
Suppose 3570 = 189*q - 199*q. Are -358 and q nonequal?
True
Let n = -1486 - -289772/195. Is n equal to 0?
False
Let k = -2/141 - -3715/141. Which is smaller: k or 25?
25
Suppose 2*z - 13 = -3*s, -5*s - 2*z = -1538 + 1519. Let p(l) = l**3 - 2*l**2 + 2*l. Let a be (1 - -1) + 0/1. Let w be p(a). Which is greater: w or s?
w
Let p be (-62)/(-16)*(-12)/2. Let k = p + 481/20. Suppose -r + 1 = -0, -4*r - 1 = -5*o. Which is smaller: k or o?
k
Suppose 24*i + 5 = 19*i. Let p be -219*(i/3 - (0 + 0)). Which is smaller: 72 or p?
72
Let d(a) = 2*a**3 + 69*a**2 + 54*a + 673. Let g be d(-34). Let p = -7 + 1. Which is smaller: g or p?
g
Let u(d) = -d**2 + 6*d + 2. Let h be u(6). Let w be h/(-1) - (-4008)/108. Let m = 3548/99 - w. Does m = 1?
False
Let p be ((-150)/20900)/((-6)/8). Which is smaller: 1 or p?
p
Let u be 1/(-3)*(-24 + 3). Suppose 3 = 5*f - u. Let q be 66/135 - f/(-5). Which is bigger: 0 or q?
q
Let i = 35 + -54. Let z = -9 - i. Is 10 >= z?
True
Let t be ((-1 - -4) + -2)*-5. Let u(z) = -2*z - 10. Let f be u(t). Let i be (51/18 - 2) + f. Which is greater: i or 1?
1
Suppose 0 = 2*v + 5*s + 30 - 4, -4*s = -8. Let c = v - -22. Suppose 2*l - 4*f + 8 = -14, c*l + 4*f = 16. Which is greater: l or -8/7?
l
Suppose 16 = 17*k - 35. Does k = -3/137?
False
Let i be -38*(-5 + 4 + 45/6). Which is smaller: -495/2 or i?
-495/2
Let b(a) = a + 12. Let y be b(-6). Suppose 2*z - 5*z + y = 0. Let g be (z/3)/(10/15). Is g at least as big as 10/7?
False
Suppose 0 = 3*x + 2*b, 0*x - 4*x = 2*b. Suppose 0 = 10*l - 7*l + 36. Let v be ((-3)/(-2))/(-2 - 4 - l). Is v less than x?
False
Let u(n) = -2*n - 3. Let s = 64 + -65. Let k be u(s). Do k and -0.3 have the same value?
False
Let s = -23 + 26. Suppose 3 = s*y + 30. Which is smaller: y or -8?
y
Let u be (76/20 + -5)*10/3. Let m be 9/(-4)*(u + -4). Which is smaller: 16 or m?
16
Let m be -3*1/(-60) + 0. Let c = -51/20 + m. Are 0.3 and c equal?
False
Let m = 10 - 5. Suppose -3*s + 57 = -m*o, s - 3 - 19 = 2*o. Let r(j) = -j - 4. Let b be r(o). Which is smaller: b or 3?
3
Let l be 24/(-22)*(-572)/104 + -5. Is l greater than or equal to -120?
True
Suppose x - 5*z + 11 = 0, 2 - 12 = 4*x - 3*z. Let h = -60 + 42. Let n be 3/((-1296)/69) + (-4)/h. Is x greater than n?
False
Suppose -y - u = 2 + 7, y - 6 = 2*u. Let f be (2 - 11)/((-6)/y). Suppose 0*h - h - 5*n - 7 = 0, 4*n + 28 = -4*h. Is f greater than or equal to h?
True
Let i = 48.2 - 48.3. Let r be 0/2 + 4/(-4). Let z be -1 - r/15*13. Which is smaller: i or z?
z
Suppose 2*a - 5 = -a - q, -3 = 3*a - 3*q. Is a at most as big as -2/97?
False
Let s = -1.69 + 2.93. Is s less than or equal to 0.2?
False
Suppose -5*f + 1 = -3*w, 5*f + w - 20 = -7. Suppose 2*q = q + f. Let k(l) = -l + 1. Let a be k(0). Is q != a?
True
Let v be -7 + (-1398)/(-222)*1. Are -1 and v non-equal?
True
Suppose f - 5 = -3. Let l be (f + -6)/((-4)/6). Let j = 356 - 349. Which is greater: j or l?
j
Let k(n) = n + 188. Let o be k(0). Let y be 432/o + -1 + -1. Let s = 607/329 + y. Which is greater: s or 1?
s
Let j = -1/14074 + -56093/2857022. Does j = -1?
False
Suppose 32 = p + 2. Suppose 4*v = v + p. Suppose -6 = 4*f - v. Do 5 and f have different values?
True
Let x = 171.68 + -172. Is 2/3 at most as big as x?
False
Suppose 8*l = -4*l - 384. Suppose -4*m = -5*w + 133, w + w = -m - 30. Is m less than l?
False
Let y = -0.1 + -1.9. Let p = -882074/16539 + -2/5513. Let k = -54 - p. Which is smaller: y or k?
y
Let h = 1832 + -1832. Is -11/102 > h?
False
Let h be (-180)/72*8/50. Which is bigger: 3/80 or h?
3/80
Let i = -12193 + 11180979/917. Which is bigger: 0 or i?
0
Let y = 41 - 31. Suppose 3*r - 4*w = r - 22, 5*r + 3*w = y. Is -0.07 > r?
True
Let q be 20/30 + (-1 - (-14)/(-12)). Let a(u) be the third derivative of -u**6/120 - 7*u**5/60 - u**3/6 + 4*u**2. Let y be a(-7). Which is greater: q or y?
y
Let q be (12/(-16))/((-306)/16). Let l(b) = -b**2 - 8*b - 7. Let f be l(-7). Suppose -7*h + 2*h = f. Which is smaller: q or h?
h
Let q be (5/2)/(8/16). Suppose 3 = s + s - l, 0 = 5*l - q. Let a be ((-16)/10 - -1)*-1. Is a != s?
True
Let y be ((-6)/(-12))/(1/4). Suppose 9 = y*q + 37. Is -12 greater than or equal to q?
True
Suppose -2*d + 0*d - 4 = 2*x, -2*d - 1 = -x. Is d at most as big as -6?
False
Let l = -15782/525 + 792/25. Which is greater: l or 1?
l
Let i(z) = -z**3 - 12*z**2 - z - 13. Let k be i(-12). Let j = 221/6 - 37. Which is smaller: k or j?
k
Suppose -5 + 1 = -2*f. Suppose 4*d = -w + 19, 5 + 0 = 5*w + f*d. Do w and -2/43 have the same value?
False
Let x(f) = -6*f - 4. Let o(c) = -13*c - 9. Let p(n) = -4*o(n) + 9*x(n). Let j be p(1). Is j equal to -1/2?
False
Let o = 1029 - 1028. Let c = 11 - -11. Which is smaller: o or c?
o
Let l be 2/5 + 90/25. Suppose -l*o + g - 21 - 3 = 0, 5*o - 5*g + 15 = 0. Which is smaller: -9 or o?
-9
Let x = -2 - -4. Let p = 14 - 17. Let b = -1 - p. Is b less than x?
False
Let b(a) = a**3 + 3*a**2 + 4*a + 3. Let z be b(-2). Let s be 108/(-273)*1/(-14). Let v = -24/49 + s. Is z less than v?
True
Let i(g) = 7*g**2 - 3*g - 4. Let f be i(-1). Suppose 3*j - 2*m = -10, 3*j - m - 1 = -f. Are j and 2/325 unequal?
True
Let n = -11909/4 + 345001/116. Are n and -2 non-equal?
True
Let j = -79.98 - -80. Let x = j - -5.98. Is x at most as big as -3/4?
False
Let h be 3/(-15)*280/(-42). Is -6 >= h?
False
Let r(z) = -z**2 + 5. Let v be r(0). Suppose 2 = -2*c - 5*u, -3*u - 1 = v*c + 4. Which is bigger: c or -1/20?
-1/20
Let m = -92 - -373/4. Suppose r - 2*l = 2*r - 4, -5*l = 5*r - 30. Suppose 52*x - r = 48*x. Is x smaller than m?
False
Let v be 2/(-15)*(-5)/3. Let f(w) = -w**3 + 2*w**2 - w. Let g be f(3). Let t = g - -11. Are v and t equal?
False
Let w = 210 - 194. Is w bigger than 20?
False
Let k = -45 + 45.1. Let q = 8 - 5. Which is smaller: q or k?
k
Let l(u) = -11*u**2 + 6*u - 2. Let z be l(5). Let a = 4941/20 + z. Suppose -3 + 0 = -3*v. Which is greater: v or a?
v
Suppose 187 = -u + 998. Which is bigger: 810 or u?
u
Let y be 2/6 + (-160)/210. Let o = -55 - -54.73. Let d = o + 0.07. Is y greater than d?
False
Let p = 116 + -116. Do 12 and p have the same value?
False
Let v = -1679 + 1691. Is v bigger than 6?
True
Suppose 0 = -17*m + 183 - 1135. Is m at most -58?
False
Let b = -0.0611 + -8.4389. Which is greater: -0.3 or b?
-0.3
Suppose 0 = 2*p - 10, -3*p + 1892 = 4*g + p. Let z be 4*3/g - 0. Suppose -6*j + 1 + 5 = 0. Which is greater: z or j?
j
Let x be ((-5665)/(-44) + -6)*-4. Are -492 and x non-equal?
True
Let l = 79.77 - -18.23. Which is smaller: l or -1?
-1
Let b be (4/5)/((-3)/15). Suppose 0 = 3*c + 2 - 26. Suppose c = -2*d + 3*d - 2*f, -4*d = 4*f + 28. Is b not equal to d?
True
