st -1?
True
Let y be 24/(-120)*1*6/194. Is 1/2 != y?
True
Let l be 693/308 + 27/(-12). Let y be 1 + (-1 - 4/50). Is l less than or equal to y?
False
Let q(c) = c + 4. Let l be q(-4). Let n be (-77)/286 - (-18)/12. Which is greater: l or n?
n
Suppose 2 - 56 = -18*g. Suppose 3*a + 3*k - 6 = 0, -2*k - 3*k = -a + 20. Is g smaller than a?
True
Let b(f) = 45*f**2 + 5*f + 5. Let l be b(-2). Let v = -311 + l. Let h = 3670/27 + v. Is 0 at least h?
True
Let l = -238 - -238. Is l greater than 10/11?
False
Let n be ((-1)/(1*9))/(56/(-252)). Is n > -2/103?
True
Let b = 1.42 + -0.02. Let d = -1.7 + b. Let u = 0 - d. Is u < -3?
False
Let b = 1.19 + -0.19. Let w = -134 - -144.8. Let m = 0.8 - w. Do b and m have the same value?
False
Let p(b) = -b**3 + 2*b**2 + 4*b + 1. Let y be p(-1). Is 4/239 != y?
True
Let w = -185/6 + 2363/78. Which is greater: w or -1?
w
Suppose 57*w = 56*w + 107. Suppose -w - 33 = -2*z. Which is smaller: 71 or z?
z
Let b be ((-113)/(-3))/(3/(-9)). Let f be (1134/(-20))/((-3)/6). Let x = f + b. Is -3 bigger than x?
False
Let z = -9.992 + -0.008. Is z greater than -2/9?
False
Suppose -3*u + 4*i = -99, 0*u + 2*i + 33 = u. Let k be (-2 - 0)/((-6)/u). Which is smaller: 9 or k?
9
Let s(a) = a**3 + a**2 + 1. Let m be s(-2). Let w be 55/4 - 13 - (2 - 2/8). Which is greater: m or w?
w
Let t = 0.23 - 5.03. Let s = t + -0.2. Let x = 5.1 + s. Which is smaller: 10 or x?
x
Let i be (-2)/6 + 284420/(-660). Let q = -431 - i. Which is smaller: q or 1?
q
Let b be 228*2*3/12. Let q = -346/3 + b. Let u = 188 + -189. Do u and q have different values?
True
Suppose -4*v + 7 + 1 = 0. Let f be 5/144*799/(-85). Let i = 23/16 + f. Which is bigger: v or i?
v
Suppose -14*m + 8*m + 132 = 0. Let p be (-1 + 0)*2/m. Which is smaller: p or 0?
p
Suppose -12 = 2*q - 3*w, 5*q - 293 + 313 = 5*w. Which is bigger: 3/113 or q?
3/113
Suppose -69 = -3*n + 27. Suppose 97 - n = -5*t. Let q = t - -12. Does q = -0.02?
False
Let q = -2909 + 2278. Which is greater: -634 or q?
q
Suppose 25 = -5*c + k, -5*c - k = -2*c + 23. Let x be ((-10)/(-30))/(2/c). Is x smaller than 1?
True
Let o = -128.4 + 130.4. Is -5 less than o?
True
Let y be (-30)/(-8) - 3/4. Suppose 27 - 9 = y*w. Let p be w/(-15)*15/(-6). Which is bigger: p or 0?
p
Let x be (88/46)/1 + -2. Let y be -2 - -8*2/4. Suppose -6*v + y*v = -3*v. Is v less than x?
False
Suppose 2*d - 94 = -2*p + 7*p, -5*p + 4*d - 108 = 0. Suppose r = -1 - 11. Which is greater: p or r?
r
Let b = 32 + -17. Let a be b/27*4/10. Let r = -33 - -65/2. Are r and a nonequal?
True
Suppose -5*y - 5500 = -6*h + 11*h, 6 = 2*y. Let n be 3914*(2 - 251/110). Let l = n - h. Is -1 smaller than l?
True
Let w be (-12568)/(-183918) - (-30)/(-435). Is w less than or equal to -1?
False
Let j be ((-138)/(-18))/((-6)/36). Is j smaller than -55?
False
Suppose 4*d + 35 = -d. Let t = -19371 + 19368. Which is smaller: t or d?
d
Let h = 63 - 88. Let u(f) = f + 3. Let n be u(-7). Let w be n/(-6)*(-15)/h. Which is smaller: w or 1?
w
Let h be 4/10*(-3)/348. Let n = h + 893/6670. Let d(c) = c - 5. Let z be d(5). Which is smaller: z or n?
z
Let a = -2 - -4. Suppose o - 2 + 6 = 4*s, a*s + o = 2. Is 16/7 bigger than s?
True
Let m = 5 - 2. Let w = m - 4. Let k be 0 + (-2 - 16/(-7)). Which is bigger: k or w?
k
Suppose -3*m + j = -208, -j = -7*m + 3*m + 278. Suppose -4*k = -6*k - m. Is -35 != k?
False
Suppose -g - 2 = -8. Let f be g/33 - (-445)/275. Which is smaller: f or 1?
1
Let r = 104 - 4771/46. Is -1 less than or equal to r?
True
Let w be -6 + ((-36)/90 - (-66)/15). Let t be (-2)/3 - 4/(-6). Which is greater: w or t?
t
Let a be (-3 + 12/4)/1. Which is greater: -3/673 or a?
a
Let h be ((-1)/(-2))/(10/12). Let s be ((-8)/7)/(36/(-126)). Suppose -4 + 0 = -s*k, -5*w + 12 = 2*k. Is h < w?
True
Suppose -5 = 2*m - 3. Let s = 13866.9 - 13868. Is m at least s?
True
Let v be (-4)/30 - 244/(-30). Let y be 2/3 + v/(-12). Let t be (-16 - y)*4/(-56). Which is smaller: t or -0.1?
-0.1
Let a = 146 - 222. Let s = a + 76.02. Which is smaller: 2/7 or s?
s
Let m = -85 - -54. Let t = -24 - m. Which is smaller: t or 4?
4
Let w be 1*0/3 - -5. Which is greater: w or 35/9?
w
Suppose -61*z = -60*z - 4. Let v be 3/2*-6 + 2. Let r = -3 - v. Does r = z?
True
Let d(t) = 6*t + 18. Let f be d(-8). Let l be 1/(-3) - 280/f. Which is bigger: 6 or l?
l
Let c = 12/11 + -14/11. Let x be (-22)/99 + (-2 - (-654)/297). Is x at most c?
False
Let a = -3/7834 + -140577/1135930. Which is greater: a or 0?
0
Suppose 0 = 8*i + 2*i. Let j(z) be the third derivative of -z**6/120 + z**5/60 - z**3/2 - z**2. Let q be j(i). Which is bigger: q or -1?
-1
Suppose -4*h = -4808 - 448. Suppose -21*t + h = 411. Which is smaller: 44 or t?
t
Let q be (-2742)/(-336) - (-8)/(-28). Let j = -53/8 + q. Let w(n) = -2*n - 4. Let m be w(-3). Which is bigger: m or j?
m
Let z = -470 + 480. Is 1/15 less than or equal to z?
True
Suppose 2*d - 3 = 3*y, 5*y + 14 - 9 = -d. Which is smaller: 1/232 or y?
y
Let p = -1.5524 - 0.0476. Let a = -181/3 + 61. Do a and p have the same value?
False
Suppose -5*m + 6*n - 9*n + 569 = 0, 4*m - n - 445 = 0. Which is smaller: 111 or m?
111
Let q be 1/(-2) + (-17 - -4 - -13). Let s = 0.25 - 0.11. Which is bigger: q or s?
s
Let q(x) = x**2 + 8*x - 27. Let v be q(-11). Suppose v*t = 9*t - 126. Is t not equal to 42?
False
Let z = -11 + 10.93. Let b be 1/6 - (-4 - (-2 + 0)). Let l = b - 103/42. Is l > z?
False
Suppose o = g + 4, 4*o + 5 = -3*g - 7. Let w = -140 + 1681/12. Are o and w equal?
False
Suppose 0 = 10*l - 11*l + 8. Let i = l - -28. Let y = -22 + i. Is 13 less than y?
True
Let y(d) be the first derivative of -d**4/4 + 2*d**3/3 - d**2/2 + 5. Let r be y(1). Suppose p - 4*p - k = 0, 4*p + 4*k = r. Is p at most 2/7?
True
Let v be (-1)/((-2)/(3 + 4 - -3)). Suppose 2*d + 25 = 2*u + 7*d, 0 = v*u - 4*d + 20. Let h = -40 + 118/3. Is u != h?
True
Let f(h) = h**2 - 2*h - 2. Suppose 4*u - 5 = -3*v, 0 = -2*v + 3*v - 3*u - 6. Let t be f(v). Which is greater: 2/77 or t?
t
Let z = -65 - -65.76. Let d = -1.24 - z. Let x = -45/2 - -22. Which is smaller: x or d?
d
Suppose -9 = 3*y + 2*u, 0*y - 5*y - u - 8 = 0. Suppose -2*q = -4*i - 90, -2*i - 92 = 2*i - 4*q. Let p = -24 - i. Which is smaller: y or p?
p
Let f be (-5)/(-21)*114/15 - 2. Let y = -37/84 - f. Is y less than 0.1?
True
Suppose -3*p = 12*p - 585. Is p less than or equal to 0.1?
False
Suppose -2*w = 15 - 3. Let r(y) = y**3 - 7*y**2 - 6*y - 11. Let p be r(8). Suppose 5*o + 30 = -5*s, -3*s - p*o = 19 + 5. Which is smaller: w or s?
w
Let r(n) = -n**2 + 20*n + 44. Let y be r(22). Is y bigger than -1/78?
True
Suppose 15 = -17*l - 36. Which is bigger: l or -25/6?
l
Let o be 3/(-13)*70/315. Let t be 2732/1482 + 4/(-2). Let b = t - o. Is 0 greater than b?
True
Let c = 891.1 - 890.9. Let s be (2*2)/(2 - -3). Is c at most s?
True
Let i = 77 - 75. Let a be 1 - -1 - 10/i - 1. Which is greater: 0 or a?
0
Let v be (-4)/84*44754/8. Let t = -1049/4 - v. Which is smaller: t or 4?
4
Let p = 28/17 + -174/85. Let q = 75 + -75.2. Is p greater than q?
False
Let v = 224 + -223. Are 2.21 and v equal?
False
Suppose 45 = -y + 6*y. Suppose -y*d = -5*d. Which is smaller: -2 or d?
-2
Let c = -2891.966 + 2895. Let m = 0.034 - c. Let o = 0.06 - -5.94. Does m = o?
False
Let r = -97/44 - -27/11. Suppose 0*s = -s + 3*o + 18, -3*o = 5*s. Let q = 2 - s. Which is smaller: q or r?
q
Let i be (-7 - -1) + ((-2370)/130 - 3). Which is smaller: i or -26?
i
Suppose -2*i + 6 = -0*i. Suppose 3*w = -y - 2*w + 10, 0 = 3*y + i*w - 6. Suppose 0 = -3*m - y*m - 9. Which is bigger: m or -2?
-2
Let w = 0.03531 - 3.03531. Let m = 0.08 + 2.92. Let a = m - 2.8. Is a greater than w?
True
Suppose 9 = 2*j - 3. Suppose 1 = -7*k - j. Is -2/73 less than or equal to k?
False
Let x(n) = -10*n - 2. Let o(b) = -39*b - 9. Let y(k) = -2*o(k) + 9*x(k). Let q be y(1). Let t be 2/(-12) - 2/q. Is t greater than or equal to 2/7?
False
Let a = 1/21 - -13/21. Is a greater than 11/7?
False
Let n = -0.773 + 0.883. Are n and 2/7 non-equal?
True
Suppose 0 = -5*p + 4*x - 559, -329 = 6*p - 3*p + 4*x. Which is greater: -113 or p?
p
Let h = -0.422 + 1.422. Let w be 76/2 - (1 - 3). Let o be ((-4)/(-10))/(1/w). Which is bigger: o or h?
o
Suppose c = 5*t - 252, 0 = -5*t - 5*c + 105 + 165. Let x = t - 50. Let s = 5041/41 - 123. Which is greater: s or x?
x
Let m(g) = -3