nequal?
True
Suppose -1465*y + 8762 = -4423. Let s = 0.2 - 0.1. Which is bigger: s or y?
y
Let a = 1707002.01 - 1718306. Let l = 11254 + a. Let g = 50 + l. Which is greater: 2/3 or g?
2/3
Let p(k) be the second derivative of k**4/6 - 2*k**3/3 - 9*k**2/2 - 3*k - 15. Let w be p(5). Which is smaller: 22 or w?
w
Suppose -42316*w = -42323*w + 1925. Which is smaller: 279 or w?
w
Let p = 6 + -8. Let b(m) be the second derivative of -2*m**3/3 + 12*m**2 + 2*m - 3. Let r be b(7). Is r <= p?
True
Let r = -24453 - -23217. Which is bigger: r or -1231?
-1231
Let k be 13*(-33)/55 + 16/2. Are k and 419 non-equal?
True
Let l = -206 - -286. Which is smaller: l or -1/5?
-1/5
Suppose -3*k + 30 = z + 2*z, z + 4*k = 7. Let n = z + -97/9. Is 3/46 less than n?
True
Let z(s) = s**2 - 7*s + 14. Let m be z(3). Suppose 0*g - m = 3*g - 2*r, -r = -g - 2. Let c be (g/(-6))/((28/12)/(-7)). Which is smaller: c or -1/43?
-1/43
Let s be ((-2)/8)/(4/32*-1). Suppose 2*c - 1 = -3*v - 8, c + s = -v. Let z = v - -21. Is 19 >= z?
True
Let y be 3/(-114)*(-8)/78. Suppose j + 5*g = -1, -3*j - 3*g - 3 = -0*j. Which is smaller: j or y?
j
Suppose 1449 = -26*o + 825. Is 18 smaller than o?
False
Let t = 208 - 145. Suppose -6*y - t = 21. Which is smaller: -0.08 or y?
y
Let k = 142/119 - -286817/476. Which is smaller: 605 or k?
k
Let l be (-5 + (-57)/(-9))*-6. Let r be (-5 + -2)*(2496/28)/l. Is 79 < r?
False
Let t be 48/(-16) + (-4)/(-2). Let v be (-64)/330 + (-60)/(-450). Which is smaller: t or v?
t
Let h be 1320/(-1188) + (-2)/(-18). Which is smaller: h or -3/1274?
h
Let m = -1869/71 + 18830317/715325. Which is bigger: m or 0?
m
Let t = 882/25 - 7051/200. Are -12 and t equal?
False
Let q = -347 + 354. Suppose -q*z = -879 - 150. Which is greater: 148 or z?
148
Suppose -45 = 4*c - 13*c. Let j = 5 - c. Which is bigger: j or -2/83?
j
Let h(w) = -w**3 + 2*w**2. Let f be h(2). Let l = 118850 + -1306414/11. Let n = l + -85. Which is smaller: f or n?
f
Let z = 30.1 - 30. Let q(f) = 4*f - 20. Let u be q(4). Let p = 10 - u. Are p and z equal?
False
Let s(q) = 31*q + 275. Let d be s(-9). Let v be d + 10/10 + 2 + 0. Which is smaller: v or -9/14?
v
Let v be ((-4578)/(-56))/((-54)/8 - -6). Does v = 4?
False
Let y be 7 - (0 - 1063 - (13 - (-95)/(-5))). Is 1064 smaller than y?
False
Let t(h) = -11*h + 16. Let k be t(2). Let b be (4/(8/15))/(k/(-128)). Is 159 less than b?
True
Suppose i - 3*v + 0*v = -8, 12 = -3*i - 3*v. Let m be -1 + (-16)/180*(-72)/16*25. Is i at most m?
True
Suppose -2*m = -5*i + 30 + 27, i = 2*m + 5. Let r be 8 + 0 + (6 - i). Let o = -10 - -5. Is o bigger than r?
False
Let g = 2.544 - -0.056. Suppose -3*n = n - f, 0 = -2*n + 2*f. Let d be (-20)/70*(-1 + n). Are g and d non-equal?
True
Suppose 1394 = 59*x + 6232. Which is smaller: x or 54?
x
Let y(i) = i**3 + 6*i**2 - 7*i - 6. Let u be y(-6). Suppose x + 4*c = 146 - 89, x = -2*c + 45. Is u at least as big as x?
True
Let v = -5319 - -2902. Which is smaller: -2419 or v?
-2419
Suppose 38*u - 994 = -3160. Let q = 53 + u. Which is bigger: -17/4 or q?
q
Let l = 5 + -12. Let r = l + -3. Let h be (-4 + (-45)/r)*38. Is h at least as big as 20?
False
Let h be 4/54 + 10700/1350. Suppose -s = 5*o, -3*o - 11*s + h = -12*s. Let g be (233/231)/1 - 1. Which is greater: g or o?
o
Suppose -2*h - 6 = -h + 3*p, 5*h + 2*p + 4 = 0. Let c be ((2/(-22))/(-1))/(2484/594). Is c at least as big as h?
True
Let m be ((3/(-2))/(-1))/(-204). Suppose -18*p + 59 = 77. Which is greater: m or p?
m
Suppose -45355 - 20755 + 10546 = -29*s. Is s at most 1917?
True
Let k = 4494 - 4482. Is k > 3/5?
True
Suppose 4*i - 4*j - 36 = 0, 2*j - 15 = -j. Suppose 2*t + 16 = i. Let q = -44/3 + 131/9. Is t equal to q?
False
Suppose 0 = -5*c - 9915 + 9925. Let z = -37 - -183/5. Which is smaller: c or z?
z
Let c(q) = 5*q**3 + 7*q**2 - 4*q - 4. Let j be c(1). Let f = -1.44 + 0.34. Is j bigger than f?
True
Let b = 0.33 - 17.43. Let s = b + 17.3. Do s and -6.7 have the same value?
False
Suppose -4*r + 5 = 5*z, 3*z + 2*r + 1 = 4*z. Let d be 5 + (-1 - -2)/z. Let x(m) = 5*m**2 - 6*m + 6. Let p be x(1). Are d and p non-equal?
True
Suppose 2*n - q - 15 = 0, 2*n - 41*q = -44*q + 11. Is 13 greater than n?
True
Suppose 4*h = -3*i - 16, -2*h + i + 5 = -3*h. Let n = 14/1711 + -4331/1156636. Let o = -309/676 - n. Which is greater: o or h?
o
Let y = 281754 + -281754.1. Let d = 182.3 + -31.3. Which is greater: y or d?
d
Let g = 377 - 20733/55. Let m be (2/(-8)*2)/((-120)/18 - -7). Is g less than or equal to m?
False
Let z be (72/27)/((-84)/9). Which is bigger: z or -280?
z
Let q be (3 + 709)/(31 + -32). Is 2/9 > q?
True
Suppose -130*w = -357*w - 213*w. Is w at least as big as 87/95?
False
Let y(r) = 13*r - 99. Let m be y(8). Suppose 3*q = m*q - 17*q. Which is smaller: q or 16/65?
q
Let a be 6636/168 + 3/(-2). Which is bigger: a or 568/15?
a
Suppose 88*a - 113*a = 132*a - 95770. Which is bigger: a or 604?
a
Let d = 0.7148 + 12.2852. Are -581 and d nonequal?
True
Let w be (-342)/66 + 4/22. Let u(t) = -t**3 + 12*t**2 - 28*t + 11. Let k be u(9). Let g be (k - 3)*5 + 3. Which is greater: w or g?
g
Let d(q) = -3*q**3 - 28*q**2 + 140*q - 1. Let p be d(4). Which is bigger: p or -75?
-75
Let u be (9 - (-456)/16)/(5 - -19). Which is smaller: u or 1?
1
Suppose 4*a + w - 54511 = 21498, -3*a - 5*w + 56994 = 0. Which is bigger: a or 19002?
a
Let i be (26 + 1512/(-60))*(-10)/(-4). Let x be (-32)/(-26) - (0 + 0). Which is smaller: i or x?
x
Let k be (1/(-1))/((6 - -4)/10). Which is smaller: -78/283 or k?
k
Suppose -307 = -9*j + 11348. Do 1297 and j have the same value?
False
Let f = 205 - 150. Let p = 271 - 269. Is p less than f?
True
Let x be (-6*4/108064)/((-6)/48). Which is greater: x or 1?
1
Suppose 0 = -2*s - 10, -23*d + 22*d - 191 = -5*s. Let u be 4/18 - (-264)/d. Are u and -1/186 nonequal?
True
Let i(v) = -11*v + 50. Let y be i(10). Let m be 16/(-4) + y/(-9). Let u be 2 + 1/(-2)*5. Which is greater: m or u?
m
Let g(z) = 976*z + 5854. Let c be g(-6). Which is smaller: 0.369 or c?
c
Let k(z) = -3*z**3 + 40*z**2 - 121*z - 11. Let l be k(8). Which is smaller: l or 228/5?
l
Let t = 8/79 + 1777/395. Let z = -79 + 82. Suppose 0 = -2*o + 3*u - z, -o - 2*u - 20 = -6*o. Are o and t equal?
False
Suppose 5*o - 10 = -j, 3*j + 6 = -5*o + 56. Suppose 0 = -2*d + 2, -380*m + 5*d = -384*m + 21. Is m smaller than j?
True
Let k(t) = -20*t - 66. Let q be 2/(-1) - (7 + 12/(-6)). Let y be k(q). Which is greater: y or 72?
y
Let x = -9347.9882 - -9348. Which is smaller: -3/7 or x?
-3/7
Let v be ((-146528)/(-4820))/(-1*1/5). Which is smaller: v or -754/5?
v
Let v = 2399 + -2401. Let m = 53.02 - 55. Let w = m - 0.02. Is v smaller than w?
False
Suppose 25402 = 11*f + 2*f. Suppose 29*i + 2048 = -f. Does i = -138?
True
Let n(j) = -10*j**2 - 149*j + 2. Let s be n(-15). Are s and 156 unequal?
True
Let t = -68.3 - -60. Let a = t + 90.3. Let r = a - 82. Which is smaller: r or -2/7?
-2/7
Suppose 6*x - 3*x - 4*x = 10*x. Is 2/29445 > x?
True
Let t = -0.002 + -0.041. Let v = t - 3.257. Let s = v - -3.4. Is s bigger than -7?
True
Let p = -6715 - -6716. Is p equal to 10.918?
False
Let t = -4 + 3.966. Let r = -0.144 - t. Let v = -7.11 - r. Is -1/6 not equal to v?
True
Suppose 0 = -31*k - 712 - 10417. Do -344 and k have the same value?
False
Let j(d) = -1291*d - 4712. Let f be j(-7). Is 4322 greater than f?
False
Let x be 1161/2 - (-1 + 4/8). Suppose 5*f = -x - 39. Let q = f - -155. Which is greater: 30 or q?
q
Suppose 39 = c - 3*c + 3*p, -3*c + 2*p - 61 = 0. Let l be 12/(4 + 536/(-128)). Let g = -83 - l. Which is smaller: c or g?
c
Let g be (3 + -3)/4 - 15. Let z = 23 - g. Which is greater: z or 2/7?
z
Suppose -17 = -4*o - 149. Let h be ((-16)/(-5))/((-1)/(-10)). Let g = o + h. Is g not equal to -4/13?
True
Let p = -79 - -78.85. Let a be ((-8)/(-6))/(50/525). Suppose -5*k + 9 = a. Which is bigger: p or k?
p
Let i(s) = 1547*s - 6010. Let t be i(4). Which is bigger: t or 180?
180
Suppose s - 8*s + 56 = 0. Suppose 24 = 27*b - 30*b. Let p be (0 - 12/b)*6. Is s < p?
True
Suppose 4*k = o - 29, -o + 2*k + 17 = -6. Suppose -4*z - 2*g - 44 = 0, -z - 2*g + 12 = o. Is -0.03 != z?
True
Let y = -143 + 147. Is y equal to 37/12?
False
Let y = -121/3010 - -1/35. Let m be ((-21)/(-105))/((-2)/(-10)). Is m <= y?
False
Suppose -103 - 47 = 3*f. Which is smaller: f or 8?
f