nequal?
True
Let h be (3/(-12))/(3/(-684)). Are h and 60 non-equal?
True
Let z be 3*(-6)/(-9) - (-245)/(-147). Is z less than or equal to 567?
True
Suppose 158*b - 46 = 160*b. Is -23 > b?
False
Let a = -0.93 + -0.07. Is -93 at least as big as a?
False
Let m(k) = k + 23. Let f be m(-22). Is -3/5 >= f?
False
Suppose 27*s + 4904 - 1151 = 0. Which is greater: s or -559/4?
s
Let b = 396 - 406. Which is bigger: b or 30?
30
Let j = -1128 + 1108. Which is bigger: 7/3 or j?
7/3
Suppose -80 = 5*u + 55. Suppose 31*j + 317 = -551. Do u and j have the same value?
False
Let v = -4.5 - -35.5. Let s = -44 + v. Let c = 13.2 + s. Which is smaller: c or 0.02?
0.02
Let u = -18.43 - -0.43. Let h = u + 20. Which is smaller: -9 or h?
-9
Let r be (4 - 715)/(20/24). Let k be 2/8 - (-6850)/(-8). Let y = r - k. Which is bigger: 4 or y?
4
Let b be (-93)/(-91) + -1*1. Let j(z) be the second derivative of z**4/4 - 7*z**3/3 - 5*z**2/2 + 8*z - 2. Let i be j(5). Which is smaller: i or b?
i
Let y be (-171)/87 - (0 + -2). Suppose 4*k - 9 - 3 = 0. Suppose 5*a = k*a. Is a greater than or equal to y?
False
Let y = -49 + 55. Let t = -1 + -1. Let r be y + -7 + t/(-2). Is -1/3 greater than or equal to r?
False
Suppose 23*s + 413 - 7658 = 0. Is 315 > s?
False
Let u = 153 - 613/4. Is u >= -15/4?
True
Suppose -i + g + 29 = 0, 0 = -5*i - 4*g + 163. Suppose 0 = -5*q - 14 - i. Do q and -23/3 have different values?
True
Let x = -11.1322 - -0.0222. Let u = -17.1 - x. Let l = u - 0.01. Is -1 equal to l?
False
Let n = -1066 - -1049. Which is greater: -2.2 or n?
-2.2
Let j = 3103/3 - 1035. Are j and 0.048 non-equal?
True
Let z = 0.8 + 2.2. Let j = z - 3.15. Let h = j - -11.15. Is h greater than or equal to -2/5?
True
Suppose 0 = 5*u + 3*t + 2*t, 3*u - t = 0. Suppose u = 3*a + 2*a - 60. Let q = a - 12. Are 6/11 and q non-equal?
True
Let b(l) = l**3 + 3*l**2 - 2*l + 9. Let n be b(-4). Are -6/221 and n nonequal?
True
Suppose -4*g + 15 = -a, 7 = 2*g - 4*a + 3. Let j be (-1*(2 - g))/7. Let q(o) = 2*o - 5. Let i be q(2). Which is greater: j or i?
j
Suppose 0 = -104*l + 89*l. Which is greater: l or -4?
l
Let t = -2.92 + 104.92. Does t = -0.1?
False
Let m(p) = 10*p - 21. Let y be m(2). Is 2/2081 >= y?
True
Let y = 157 - 102. Let k = -21 + y. Which is greater: k or 33?
k
Let d be ((-2)/1*(-7 + 6))/(-57). Is 0 > d?
True
Let m = -25 + 56. Let f = 45 - m. Let s be f/(-21)*(-6)/(-130). Which is smaller: -1 or s?
-1
Let j(g) = -2*g - 21. Let p be j(0). Is p bigger than -21?
False
Suppose -f - 2*s = 23, 4*f + 46 = 5*s - 7. Is -21 equal to f?
False
Let g be (-1 + 2 - 0)*2. Let r be ((-77)/231)/((-32)/27 + 1). Which is bigger: g or r?
g
Let m = -6 - -8. Let u be (m/6 - 0)/1. Let z(k) = 2*k - 13. Let x be z(7). Is x > u?
True
Suppose 4*y = 5*y. Let c(v) = -35*v - 7. Let q be c(-3). Let k be 8/40 - q/390. Which is smaller: y or k?
k
Let s = -27 - -33. Let j = -6.17 + s. Are j and -1 equal?
False
Let g = 2.1 - 2. Let n = 1002 + -9016/9. Which is smaller: n or g?
g
Let j = -23 + 535/23. Suppose b - 5*b = 0. Are j and b equal?
False
Let a = 1 - 0.9. Let g = -10 - -8. Let m be (1 - -1)*(-7)/g. Is m > a?
True
Let z = -17.3 + -3.2. Let b = -22 - z. Which is greater: 1 or b?
1
Let w be (-23 + -3 + 2)*(-1 + 0). Suppose 0 = t + 3*o - 12, -4*t + 2*t = 5*o - 28. Is w less than or equal to t?
True
Let r = -729/8 + 91. Let t = -393 + 392. Which is smaller: r or t?
t
Let b(i) = i**2 - 3. Let o be b(2). Let n = -2581/26848 + 2/839. Let m = n + 7/32. Is o smaller than m?
False
Let x = -709 - -746. Is x at most 27?
False
Let c = 13 - -8. Suppose 0 = -a - 17 + 16. Let y be a*((0 + 0)/(-1))/2. Is y at least as big as c?
False
Let a = -223/37 + 6. Which is smaller: -1 or a?
-1
Let i = -118 + 117. Is 2/575 less than or equal to i?
False
Suppose -44*h + 45*h + 22 = 0. Which is bigger: -23 or h?
h
Let l = -10 - -12. Suppose 0 = -l*f - 5*a + 8, -f - 3*a = -2*f - 7. Is f at least 2?
False
Let b = 3 + -7. Let q = 4 + b. Is 2/51 < q?
False
Let t be 2342/120 + (-10)/15. Let c = t - 71/4. Is c > 2?
False
Let n be (-3)/6 + 9/6 + 3. Suppose n*x = -87 - 33. Are x and -29 nonequal?
True
Suppose -38 + 185 = 7*w. Let r be (-32)/(-6) + (-7)/w. Is -5 >= r?
False
Let a be 4 - 5 - (3 - 2). Is a less than 7?
True
Let u = -0.073 + 1.073. Let k = -3 - -8. Suppose -k*t + t = 4. Which is smaller: t or u?
t
Let u be 2*2 + 28 + -33. Is -3 greater than u?
False
Suppose 0*u - 6 = -2*u. Suppose -13 = u*c + 14. Let r be 65/c + (-2)/(-9). Which is bigger: -5 or r?
-5
Let o(f) = 5*f**2 - 2*f - 2. Let i be o(-1). Suppose g = 2*j + 1 + 2, 3*j = -3*g + 27. Is i <= g?
True
Let i be 18/(-2)*3/6*-2. Which is greater: i or 12?
12
Let i = 182 - 178. Are i and 39/11 nonequal?
True
Let c = 257.281 - 257. Let k = 0.081 - c. Which is smaller: k or 28?
k
Suppose -16 = -61*j + 57*j. Suppose 0 - 52 = j*b. Is b at most -15?
False
Suppose -3*t = -0*t - 6. Suppose t*w = 3*w + 8. Let h be (-22)/w - (-12)/(-4). Is h not equal to 0?
True
Let q = -2785/506 + 1/253. Let j be (-6 + 0)*(0 + 1). Let s = j - q. Which is bigger: s or -1?
s
Let c(n) = -6*n - 16. Let w be c(-4). Suppose -u = 3*u - w. Which is bigger: u or 0?
u
Let x = 13161/148 + -357/4. Let q = 206/407 + x. Is q <= -1?
False
Suppose -7*p + 140 = -3*p. Are 35 and p equal?
True
Suppose -21 = -5*a - 1, a - 6 = 2*w. Which is bigger: 5/56 or w?
5/56
Let z be 4 - (-15)/(-3) - (-1)/1. Suppose z*u = -5*u + 4*i - 2, 2*u - 3*i + 5 = 0. Which is smaller: 12/17 or u?
12/17
Let l be (-3)/(-4) + (-148)/(-16). Suppose 8*a - 2 = l*a. Let c be (3 + a)*1/6. Is c greater than 2/11?
True
Let q = -50.1 + 50.3. Which is smaller: 3/5 or q?
q
Let j = -12/127 - -3334/37973. Let t = -231/10166 + j. Suppose -4*l = -4, -5*l + 67 = -m + 62. Which is smaller: t or m?
t
Let k be 5 - (-30)/(-35) - 4. Suppose -2*y = 5*x + 8, -2*x - 24 = 5*y - 4. Suppose r - 2*s = x, 3*r - 3*s + s = 0. Which is smaller: r or k?
r
Suppose -3*g + 0*g = 5*h - 11, -2*h = -3*g + 4. Suppose -4*n + h = 9. Let j be 3 + n - (-5)/(-3). Is -1 at least as big as j?
False
Let c = -597 - -597. Is -25/23 at most c?
True
Suppose 433*o = 440*o + 511. Does -77 = o?
False
Suppose -5*j = 5*t + 5, 6*t = -4*j + 10*t + 4. Let h be 2/(16/(-471))*-1. Let u = -59 + h. Is j less than u?
False
Suppose -9 + 0 = -3*z. Suppose -3*c - 3*g = -6 + 3, 2*c - z*g = 7. Suppose c*x = -r - 2*r - 9, 5*x - r = 3. Is x equal to -2/7?
False
Suppose -3*b = 5*h - 5, 5*h - 1 + 11 = 0. Suppose 0 = -b*v - 0*v - 15. Let q be 4/v + (-1)/(-3). Which is greater: q or -1/14?
-1/14
Let m = 158 + -153. Which is greater: 1/4 or m?
m
Let s = -9 - -21.4. Let v = s - 11. Let k = v - 3.4. Is k greater than or equal to -2?
True
Let x be 5 + ((-2)/6)/((-5)/(-60)). Are x and -2/4207 equal?
False
Suppose 715 = -39*h + 52*h. Which is greater: h or 52?
h
Let b = 105 - 421/4. Let y(r) = -r**2 - 6*r + 9. Let q be y(-7). Which is greater: q or b?
q
Suppose 3*i - 19 - 32 = 0. Suppose 0 = -3*w + 2*u - 21, 5*u + 21 = 3*w - 6*w. Let y = 24 + w. Is y greater than or equal to i?
True
Let f(o) = -o**2 + 12*o + 4. Let g be f(12). Suppose 0*u + 2*u + 3*z = 16, 2*u - g*z + 12 = 0. Which is smaller: 2/3 or u?
2/3
Let k be 4/(4/(3/(-3)*2)). Let a(l) be the third derivative of -l**6/120 - l**5/20 - l**4/6 - 5*l**3/6 - 3*l**2. Let s be a(k). Is -8 less than s?
True
Let v = -12.32 + 8.32. Let s = 8 - 14. Is s greater than v?
False
Let z = -151 - -147. Is z >= -32?
True
Let o = -279 - -163. Which is smaller: -117 or o?
-117
Let w(j) = -j**3 - 5*j**2 + j + 5. Let m be w(-5). Let s be ((-4)/170)/(3/(-15)). Are s and m nonequal?
True
Let g = 79.4 - 531.4. Which is smaller: 1 or g?
g
Let k be 2370/(-24) + 2/(-8) - -2. Let o = k - -96. Which is greater: o or -12/13?
-12/13
Suppose 19*i - 24*i + 8 = 3*d, -4*d + 4 = 0. Which is bigger: i or 3/1189?
i
Let s = -2.6 - -12.6. Let w = 9.98 - s. Is w at most 2?
True
Let q = 3.17 + -3. Let l = -0.07 + q. Which is smaller: -17 or l?
-17
Let z = 2 + -4. Suppose -5*n = -1081 + 31. Let i be 2/5 - 49/n. Which is bigger: z or i?
i
Let v be (4/12)/((-638)/198). Which is bigger: v or -1?
v
Suppose -2*s - 3*s - 10 = 0. Let h be (s + 1)*(-14)/14. Suppose -y + 9 = z - 4*z, -y - 2*z = h. Is y > 4?
False
Let i be (-115)/2 - 4/(-8). Let j = i + 58. Which is greater: j or -3/62?
j
Let w = -16 - -13. Let k be 1/w*-9 + -4 + 1. Let o = 